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 tools.

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.