@hackernews The Unix Executable as a Smalltalk Method [video] #HackerNews #Tech #Programming
@lobsters EsoNatLangs Bring the Complexity of Natural Language into Code #Programming #LanguageDesign #Research
@lobsters Compiling to Java as a target language #Compilers #Java #Programming
@lobsters Many-Step Sequences in Go #GoLang #Programming #SoftwareDevelopment
@lobsters Too much Discussion of the XOR swap trick #Programming #ComputerScience #SoftwareDevelopment
@lobsters Switching higher-order streams to first-order streams #Programming #Rust #Software
@lobsters Simdutf Can Now Be Used Without libc++ or libc++abi #Cpp #Programming #OpenSource
@lobsters Zero-Copy Pages in Rust: Or How I Learned To Stop Worrying And Love Lifetimes #Rust #Programming #Databases
@lobsters C++26: Structured bindings in conditions #Cpp #Programming #SoftwareDevelopment
@lobsters Arguing With Agents #AI #Agents #Programming
@hackernews I Made a Terminal Pager #HackerNews #Tech #Programming
@hackernews One Interface, Every Protocol #HackerNews #Tech #Programming
@hackernews Coq theorem prover is now called Rocq #HackerNews #Tech #Programming
@lobsters A sufficiently comprehensive spec is not (necessarily) code #SoftwareDevelopment #Programming #Tech
@hackernews Minimal Viable Programs (2014) #HackerNews #Tech #Programming
@lobsters SDL3 - Add DOS platform support #Programming #Retrocomputing #Games
@lobsters Rewriting Every Syscall in a Linux Binary at Load Time #Linux #Syscalls #Programming
@lobsters Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region #Swift #Programming #OpenSource
@hackernews It's OK to compare floating-points for equality #HackerNews #Tech #Programming
@hackernews Show HN: Remoroo. trying to fix memory in long-running coding agents #HackerNews #Tech #Programming
@hackernews A Dumb Introduction to Z3 #HackerNews #Tech #Programming
@hackernews Brunost: The Nynorsk Programming Language #HackerNews #Tech #Programming
@hackernews Average Is All You Need #HackerNews #Tech #Programming
@hackernews Circuit Transformations, Loop Fusion, and Inductive Proof #HackerNews #Tech #Programming
@lobsters Configuration flags are where software goes to rot #programming
@lobsters Apps and programming: two accidental tyrannies #programming #transcript
@lobsters What are you doing this week? #programming #ask
@hackernews Too much discussion of the XOR swap trick #HackerNews #Tech #Programming
@hackernews Six Characters #HackerNews #Tech #Programming
@lobsters I want a better [build] action graph serialization #programming
@hackernews Why "200 OK" does not mean your system worked #HackerNews #Tech #Programming
@hackernews FIXAPL #HackerNews #Tech #Programming
@lobsters High-Level Rust: Getting 80% of the Benefits with 20% of the Pain #programming #rust
@lobsters Git Repositories as a Module System #devops #programming
@lobsters Favorite programmer website? #programming
@lobsters What are you doing this weekend? #programming #ask
@hackernews Show HN: GNU Grep as a PHP Extension #HackerNews #Tech #Programming
@lobsters What are your pgoramming "hunches" you haven't yet investigated? #programming #ask
@aartaka Binary Lambda Calculus is Hard #Tech #Programming #ComputerScience
@aartaka Binary Lambda Calculus is Hard #Tech #Programming #Logic