@lobsters Illegal vs Unwanted States #Programming #SoftwareEngineering #FormalMethods
@lobsters Unison: a new distributed programming language #Programming #Distributed #Language
@hackernews Show HN: I wrote a DOOM clone in my own programming language #HackerNews #Tech #Programming
@lobsters jjj #Tech #Programming #OpenSource
@hackernews GTFOBins #HackerNews #Tech #Programming
@hackernews Consequences of passing too few register parameters to a C function #HackerNews #Tech #Programming
@lobsters How Rust Compiles (2025) #Rust #Programming #Compilers
@lobsters "Why not just use Lean?" #FormalMethods #Programming #SoftwareEngineering
@lobsters HTML written only using the C preprocessor #Programming #WebDev #CCpp
@hackernews "Why not just use Lean?" #HackerNews #Tech #Programming
@lobsters Abject v0.3.9 #Software #OpenSource #Programming
@hackaday Trying Pair Programming With an LLM Chatbot #AI #Programming #LLM
@lobsters GUI C++ programming for Windows 3.11 / 95 / cross-platform in 2023 #Cpp #RetroTech #Programming
@lobsters What are you doing this week? #Community #Discussion #Programming
@lobsters TurboQuant: A First-Principles Walkthrough #AI #Programming #Tech
@lobsters How I Built AriaType Without Writing Any Code #NoCode #DevTools #Programming
@lobsters The gold standard of optimization: A look under the hood of RollerCoaster Tycoon #Programming #Games #Optimization
@lobsters Wasm is not quite a stack machine #Wasm #Programming #Tech
@lobsters Let's Build the Terminal Pt. 1 #Programming #Terminal #SoftwareDevelopment
@hackernews Patch applies fake diffs from commit messages #HackerNews #Tech #Programming
@hackernews TurboQuant: A First-Principles Walkthrough #HackerNews #Tech #Programming
@purplesyringa Wasm is not quite a stack machine #Wasm #WebAssembly #Programming
@lobsters Lua can be a really cool HTML templating engine #Lua #WebDev #Programming
@lobsters Swissing a table #GoLang #Programming #SoftwareDev
@lobsters Things C++26 define_static_array can't do #Cpp #Programming #SoftwareDevelopment
@hackernews The Secret Life of NaN #HackerNews #Tech #Programming
@lobsters Event Sourcing Explained using Football - YouTube #Programming #EventSourcing #Tech
@hackernews APL is more French than English #HackerNews #Tech #Programming
@hackernews The Knight Programming Language #HackerNews #Tech #Programming
@hackernews Exposing Floating Point - Bartosz Ciechanowski #HackerNews #Tech #Programming
@hackernews Self-updating screenshots #HackerNews #Tech #Programming
@lobsters I have officially retired from Emacs #Emacs #Programming #OpenSource
@lobsters A breakthrough in C/C++ dependency management #Cpp #Programming #OpenSource
@lobsters Lute: a standalone runtime for Luau #Lua #Programming #OpenSource
@lobsters It's OK To Use Floating Point for Money #Programming #Finance #Satire
@hackernews Mo RAM, Mo Problems #HackerNews #Tech #Programming
@lobsters Removing the AUICGP instruction #Security #Assembly #Programming
@lobsters What are you doing this weekend? #Community #Discussion #Programming
@lobsters Basic Type System Terminology #Programming #TypeSystem #ComputerScience
@lobsters Why I'm Done Making Desktop Applications (2009) #Programming #Software #WebDev