Bob Wallet is a GUI for DNS Record Management and Name Auctions on Handshake. It includes an integrated full node: hsd - kyokan/bob-wallet

This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts…

Some of our greatest cultural and technological achievements took place between 1945 and 1971. Why has progress stalled?

Quibble - the custom Windows bootloader. Contribute to maharmstone/quibble development by creating an account on GitHub.

Clojure in Common Lisp. Contribute to ruricolist/cloture development by creating an account on GitHub.

I've been receiving a lot of feedback since writing the original piece in October 2019, and… it's not good.

You can support this channel on Patreon! Link below

This video discusses the color brown. Seriously.

That Aging Wheels playlist:
https://www.youtube.com/playlist?list=PLmBDJoIaNRGiK2BgCwz2ALDnNanKBSOgO

And, of course, the Weird World in RGB for those…

Winamp is is a well-known media player compatible with Windows, Android, Linux, and MacOS. Back in the year 2001, the Winamp player had over 30 million users.

Trying to sum up what a programming language and software authoring system like Delphi represents, spanning 25 years no less, is almost insurmountable. Where should I begin? Groundbreaking object orientation? Event driven architecture? A thriving com...

Open source Uber PoC #deleteuber. Contribute to ro31337/libretaxi2 development by creating an account on GitHub.

<p>Unlike his friends Russell and Wittgenstein who focused on the vastness and the unknowability of the world, Ramsey believed it was more important to concentrate on what is admirable and conducive to living a good life. </p>