technical.cx Sources

Lobsters

sp.h is the standard library that C deserves

Over the past year, I’ve been working on fixing C by giving it a high quality, ultra portable standard library. It is not a simple wrapper on top of libc; it doesn’t depend on libc except when required to by the platform. To my knowledge, there is nothing...

Lobsters

Comparing an LZ4 Decompressor on Four Legacy CPUs

A few years ago, I needed to save some cartridge space in a SNES project, and I did so by compressing that data with the LZ4 compression algorithm from 2012. I found that working within the constraints of the SNES allowed me to take some convenient...

Lobsters

Announcing Isabelle support for SAW

We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.

Lobsters

mikas blog » Blog Archive » The mysterious XF86AudioPlay issue

I was getting “ is undefined” in the status bar of Emacs displayed every 2-3 seconds. Nowhere else I noticed any misbehavior or problems, and also couldn’t find any related log entries. It didn’t stop, though didn’t want to reboot my system to see whether...

Lobsters

Tritium | Noroboto: Lying Fonts and Mitigation in Rust

Modern legal tech stacks in 2026 are Rube Goldberg machines of open-source and proprietary products from Word to LibreOffice, to python-docx and PDFium, to tesseract, node.js and dozens of UI libraries like SuperDoc, PDF.js and Office.js. Through those...

Lobsters

End-to-End Procedural Generation in Caves of Qud (2019)

In this 2019 GDC Math for Game Developers session, Freehold Games' Brian Bucklew & Jason Grinblat do an end-to-end walk-through of the systems used to generate villages in Caves of Qud, which include their own histories, cultures, architectural styles,...