A mundane use of dependent types... I just tried to add an environment variable to Idris 2, and it wouldn't compile because I forgot to add it to the --help output. *offers compiler a jelly baby*

Flowchart Fun is the fastest free online text to flowchart generator. Easily convert text to flowcharts, mind maps, and process diagrams with our text-based editor.

The SolidRun HoneyComb LX2 Server fits two 16-core Arm-based nodes into a 1U chassis providing a bridge between high and low-end alternatives

Tesla is voiding your warranty if you try to power your home with your electric car battery pack – something that more people have been looking into following power outages in some areas in the US. While Tesla vehicles are not equipped with bidirectional…

Writers may be self-censoring because they don't want to be "cancelled", author Kazuo Ishiguro says.

oneAPI is a cross-industry, open, standards-based unified programming model that delivers a common developer experience across accelerator architectures—for faster application performance, more productivity, and greater innovation. The oneAPI industry initiative…

It’s a story that’s becoming more and more common. You’re smack dab in the middle of harvest and an error code appears on your combine’s monitor. A call

On February 5 this year, one week after an article about me appeared in the Daily Beast, The New York Times announced that I would be…

You don't need passion to be a programmer. Go get them paychecks!

Xiaomi browsers collect not merely your browsing history but also searches, downloads, YouTube videos watched and much more.

I forgot to update my Apple Card autopay info and discovered this crazy fact: if you manage to miss an Apple Card payment, Apple will disable your Apple ID, iCloud, and App Store accounts as hostage. Re-enabling them takes 3-5+ business days. I’m surprised…

Parser combinators aresets of functions for building parsers in a composable fashion. Haskell’sParsec library and OCaml’sAngstrom are two examples.Both of th...

Highly-available Distributed Fault-tolerant Runtime - bastion/README.md at master · bastion-rs/bastion

GitHub Gist: instantly share code, notes, and snippets.

You can’t force yourself to think faster. If you try, you’re likely to end up making much worse decisions. Here’s how to improve the actual quality of your decisions instead of chasing hacks to speed them up.