Posts

• You should not be using AWS. Probably (comments)

• hack.css, new.css, Water.css, sakura, Pico themes for my static site generator (mkws) (comments)

• Yes, Lisp is useful for DevOps and automation (comments)

• Make your QEMU 10 times faster with this one weird trick (comments)

• What are you doing this weekend? (comments)

• A Rust library to manage emails (comments)

• Voodoo2: 3dfx’s final dedicated 3d gaming card (comments)

• A Database Without Dynamic Memory Allocation (comments)

• Go’s several function argument passing modes (comments)

• Zero Feet: a proposal for a systems-free Lisp (comments)

• Make your QEMU 10 times faster with this one weird trick (comments)

• A Database Without Dynamic Memory Allocation (comments)

• PostgreSQL 15 Released (comments)

• Matrix protocol added to ejabberd (comments)

• Hello World under the microscope (comments)

• The Missing Prelude to The Little Typer’s Trickiest Chapter (comments)

• We are stuck with egrep and fgrep (unless you like beating people) (comments)

• Is this a parable about software development? (comments)

• RacketCon tickets on sale now (comments)

• Gibbon: a compiler for operating on serialized trees (comments)

• Python dependency management difficulty is an unhelpful meme (comments)

• Monads are everywhere… Maybe that’s bad? (comments)

• std: The Nix Flakes framework for perfectionists with deadlines (comments)

• Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann (comments)

• MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types (comments)

• Emacs: macOS sharing (DWIM style) (comments)

• Reverse Engineering a GPU from 2009 (comments)

• katara: Synthesize CRDTs from classic data types with verified lifting (comments)

• Simplifying the Craigslist Gallery (comments)

• I wish my web server were in the corner of my room (comments)

• Elm at a Billion Dollar Company with Vendr CTO Aaron White (comments)

• How Wine works 101 (comments)

• 12 Factor App Revisited (comments)

• Simplifying the Craigslist Gallery (comments)

• A deeper look into the GCC Rust front-end (comments)

• Wayland Support on Linux for Blender (comments)

• Let’s Encrypt Wildcard Certificates Made Easy with Agnos (comments)

• Protect your privacy and your phone number with Firefox Relay (comments)

• Improving Firefox responsiveness on macOS (comments)

• My Future with Elixir: set-theoretic types (comments)

• The 4th year of SerenityOS (comments)

• Back to Android (for the time being) (comments)

• Mike Acton’s Expectations of Professional Software Engineers (comments)

• I have come to bury the BIOS, not to open it (comments)

• What are you doing this week? (comments)

• When to Use Memory Safe Languages (comments)

• How Wine works 101 (comments)

• Ads blocking with OpenBSD unbound(8) (comments)

• Hyperproperties and why they’re hard (comments)

• passing command line arguments to nix flakes (comments)

• DIY out of band management: remote power button (comments)

• Zig-style generics are not well-suited for most languages (comments)

• What sql database isolation level do you run at? (comments)

• Going where BeOS NetPositive hasn’t gone before: NetPositive+ (comments)

• Know your carrying capacity (comments)

• Python Preloaded: Bundle Python executable with preloaded modules (comments)

• How old various Unix signals are (comments)

• Emacs: Reveal in macOS Finder (DWIM style) (comments)

• Untangling Lifetimes: The Arena Allocator (comments)

• Tonic: A low profile component framework (comments)

• Why is it hard to learn another programming language? (comments)

• Introducing pgproxy (comments)

• My class is bigger than your class • (metaclass tomfoolery) (comments)

• 4x4 ASCII Font (comments)

• travisgoodspeed/maskromtool: A tool for extracting bits from Mask ROM photographs (comments)

• Smaller debug info with constructor type homing (2021) (comments)

• Hacker’s Guide to UART Root Shells (comments)

• Moving files in ZSH - The wonderful world of zmv (comments)

• It’s time to to thank UVM and say goodbye (comments)

• LeanQt - official release of the core and xml modules (comments)

• Moving files in ZSH - The wonderful world of zmv (comments)

• What are you doing this weekend? (comments)

• A Game Engine in the Elm Style (comments)

• The Future of the Web is on the Edge (comments)

• I’ve been playing with OS/2 again – more on that soon – but it was doomed from a young age (comments)

• Hard Mode Rust (comments)

• How to tell a mainframe from a minicomputer from a microcomputer (comments)

• lambda-8cc: An x86 C compiler written in untyped lambda calculus (comments)

• mastodon.technology Shutdown (comments)

• Lánczos interpolation explained (comments)

• WebVM: Linux Virtualization in WebAssembly with Full Networking via Tailscale (comments)

• Hard Mode Rust (comments)

• I’ve been playing with OS/2 again – more on that soon – but it was doomed from a young age (comments)

• Apple AirPods Pro Are As Unrepairable As Ever (comments)

• BBSing at 300 Bits Per Second (comments)

• Why We Use CUE (and Not Helm) (comments)

• The struggles of building a Feed Reader (comments)

• Unix, Plan 9 and the Lurking Smalltalk (comments)

• Rust’s Result Type is Cool (comments)

• Programming is Greek to me… Literally (comments)

• Rust’s Result Type is Cool (comments)

• Practical OCaml, Multicore Edition (comments)

• Just commit more (comments)

• Memories: Edinburgh ML to Standard ML (comments)

• Just, Nix Shell and Podman are a Killer Combo (comments)

• That Time We Burned Down Players’ Houses in Ultima Online (comments)

• Postgres: a better message queue than Kafka? (comments)

• Is the AI spell-casting metaphor harmful or helpful? (comments)

• Unsafe Rust is not C (comments)

• shmoji - a little shell-based emoji picker (comments)