🦞🌯 Lobster Roll

Stories by meithecatte

They're putting blue food coloring in everything (blog.foxtrotluna.social)
Bitwarden version 2024.10.0 is no longer free software (github.com)
rtc: rk808: Compensate for Rockchip calendar deviation on November 31st (2015) (github.com)
What exactly was the point of [ “x$var” = “xval” ]? (vidarholen.net)
My thoughts on writing a Minecraft server from scratch (in Bash) (sdomi.pl)
Working Lego Turing Machine (ideas.lego.com)
Compiling Rust is NP-hard (niedzejkob.p4.team)
Compiler Optimizations Are Hard Because They Forget (faultlore.com)
EBCDIC is incompatible with GDPR (shkspr.mobi)
GNU Taler v1.0 released (taler.net)
How I accidentally took down GitHub Actions (2019) (blog.teddykatz.com)
Trusting clients is probably a security flaw (liberda.nl)
Glasgow Interface Explorer Code of Conduct (glasgow-embedded.org)
Inline In Rust (matklad.github.io)
A sudoku game where you have to prove that your deductions are valid (github.com)
Pwning a Brother labelmaker, for fun and interop (sdomi.pl)
BB(3, 3) is Hard (sligocki.com)
Sierpiński triangle? In my bitwise AND? (lcamtuf.substack.com)
Project SERVFAIL: one year in (sdomi.pl)
A simple ray tracer written in the meson.build language (github.com)
bashfuck: Write any bash with only the punctuation characters (github.com)
When JPEGs compress worse than PNGs (twitter.com)
Domain Theory Lecture Notes (liamoc.net)
No branches? No problem — a Forth assembler (niedzejkob.p4.team)
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR (blog.llvm.org)
The wonders of Prehistorik Man on the GB (eldred.fr)
100 years of Zermelo’s axiom of choice: What was the problem with it? (research.mietek.io)
This is a recent Agda formalization of a 2006 paper by Martin-Löf.
SQLite on macOS: Not ACID compliant with the bundled version (2022) (bonsaidb.io)
Solving (Some) Formal Math Olympiad Problems (openai.com)
Super Mario Bros is (Computationally) Hard (youtube.com)
[or in the jargon: NP-hard]