🦞🌯 Lobster Roll

Stories by vitalnodo

Why is Zig so cool? (nilostolte.github.io)
Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
libwifi: an 802.11 frame parsing and generation library written in C (2023) (libwifi.so)
Binary Formats Gallery (formats.kaitai.io)
Indices, not Pointers (joegm.github.io)
Librarians tired of being accused of hiding secret books that were made up by AI (gizmodo.com)
Learning the soroban as an adult (2022) (github.com)
Salmon Recipe (waveinscriber.com)
Interrupts – The Heartbeat of a Unix Kernel (leftasexercise.com)
When functions dissolve (2020) (rubber-duck-typing.com)
Graphing Calculator Drawing Exercises [pdf] (justinmath.com)
Why does native UI still matter? (zen1th.me)
A curated list of awesome explorable explanations (github.com)
Why to use vector graphics everywhere? (nilostolte.github.io)
Memory Allocation in Zig. Working with Netlink (blog.0x1b.me)
Alternatives to bloatware (github.com)
Flat Assembler (publish.obsidian.md)
Building an epaper laptop: the monitor (peterme.net)
Exokernels: Making the operating system just another application library (1998) (pdos.csail.mit.edu)
Programming with circles (2014) (cargowire.net)
So you want to get into electronics? (dmytroengineering.com)
Facing the Paradox of Software Visualization (dundalek.com)
Intro to Telegraphy (phreaknet.org)
An introduction to computer algebra (2018) (corywalker.me)
C language programmer's instant reference card (1985) [pdf] (12000.org)
Thinking of an Animal: the classic guessing game (thepottshouse.org)
Tool for live presentations using manim (github.com)
Keep Effects at the Edges (agentultra.com)
When functions dissolve (rubber-duck-typing.com)