First IC :),
Sam Zeloof: “I present the first home(garage)made
lithographically-fabricated integrated circuit – the ‘Z1’ PMOS dual
differential amplifier chip.”
Chemists make first-ever ring of pure carbon
Arend is a theorem prover based on Homotopy Type Theory. It natively
supports higher inductive types and a version of cubical syntax.
distri, a Linux distribution to research fast package management.
By Michael Stapelberg.
The USBGuard software framework helps to protect your computer
against rogue USB devices by implementing basic
whitelisting and blacklisting capabilities based on device attributes.
Learn Go with Tests, by Chris James.
QuickJS ❤ libuv
Wren is a small, fast, class-based concurrent scripting language.
Algo VPN is a set of Ansible scripts that simplify the setup of a
personal IPSEC and Wireguard VPN.
Patch Workflow With Mutt - 2019, how Greg Kroah-Hartman uses mutt.
PacVim is a game that teaches you vim commands.
The history of Tetris randomizers