@lobsters Mechanized type inference for record concatenation #Programming #TypeInference #Haskell
@hackernews Show HN: Phobos - A tiny scale-free kernel language with tile-DAG support #HackerNews #Tech #Programming
@lobsters The Popup That Says the Quiet Part Out Loud #ios #development #programming
@lobsters Finding a needle in a 4 GB haystack: from 0.75 GB/s to 49 GB/s in Go #GoLang #Programming #Performance
@lobsters Signed Integers By Default #Programming #Software #Development
@lobsters Together for a healthier Clippy #Rust #Programming #OpenSource
@lobsters Why false sharing alignment should be 128 bytes on x64 #Performance #Programming #Tech
@lobsters Eliminating Go bound checks with unsafe #Go #Programming #Performance
@lobsters Odin 1.0 Announcement #Programming #OpenSource #Tech
@lobsters A Rust-to-Lean verification pipeline with AI provers: An experience report #Rust #AI #Programming
@hackernews The Art of Computer Programming by Donald E. Knuth #HackerNews #Tech #Programming
@lobsters Compiling a Go program into a native binary for Nintendo Switch #Go #Programming #Gaming
@lobsters Seventy Years of Parsing: Theoretical and Practical Consequences #ComputerScience #Parsing #Programming
@hackernews Show HN: I Built LangGraph for Swift #HackerNews #Tech #Programming
@lobsters The (Petty) Reason We Didn't End Up Using jj #Programming #Java #SoftwareDevelopment
@hackernews NoiseLang: Where N = 5 is a Dirac delta #HackerNews #Tech #Programming
@hackernews Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability #HackerNews #Tech #Programming
@hackernews C programmers commit fresh crimes against readability #HackerNews #Tech #Programming
@lobsters Faster Builds with Elm 0.19.2 #Elm #Programming #DevNews
@lobsters How One Pull Request Took App::HTTPThis to Version 1.0 #Perl #Programming #OpenSource
@lobsters Jam Programming Language #Programming #Rust #NewLanguage
@lobsters What are you doing this week? #Programming #Community #Discussion
@lobsters Forlorn Hope of Fortran Modernisation #Fortran #Programming #OpenSource
@lobsters A Novel Look at Error Handling in Rust #Rust #Programming #Tech
@lobsters Dependencies should be fetched directly from VCS #Programming #SoftwareDevelopment #OpenSource
@hackernews Prism: An Impure Functional Language With Typed Effects #HackerNews #Tech #Programming
@hackernews Had an idea for a Rust editor with simple Vim mode for learning #HackerNews #Tech #Programming
@hackernews Dependencies should be fetched directly from VCS #HackerNews #Tech #Programming
@lobsters Embedding information in disorder #Programming #Information #Tech
@hackernews The first programmer I know who was murdered in a targeted strike was Haitham #HackerNews #Tech #Programming
@lobsters Work In Progress Rust #Rust #Programming #Dev
@hackernews Returning to Zig after losing trust in Rust's governance #HackerNews #Tech #Programming
@lobsters ABI vs. API (2004) #Programming #Tech #OpenSource
@lobsters How is Zig working out after 3 years and 100k lines of game code? #Programming #ZigLang #GameDev
@lobsters If you're a button, you have one job #Programming #SoftwareDevelopment #WebDevelopment
@hackernews Reducing Assumptions, Exploding Your Code #HackerNews #Tech #Programming
@lobsters PEP 814: Add frozendict built-in type #Python #Programming #OpenSource
@hackernews Binary Coverage the Wrong Way #HackerNews #Tech #Programming
@lobsters Scheme is a Hoot #Scheme #Programming #Lisp
@lobsters How to call Linux code from a Wine process #Linux #Programming #OpenSource