Turn a Cat5 patch cable into an 8-turn loop antenna, nifty little board
by Henning Paul, DC4HP.
Mizar proof checker written in Rust! By Mario Carneiro.
Mizar is now publicly available under GPLv3.
The CIRCT project is an (experimental!) effort looking to apply MLIR
and the LLVM development methodology to the domain of hardware design
No more DSLs: Implement and deploy a distributed system with a single
program (2021), a.k.a. Caternetes.
How the 8086 processor determines the length of an instruction,
by Ken Shirriff.
Handwaving, Comics about mathematics, science, and the student life.