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. By JetBrains(!).
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.
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.