@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
@drew_devault A eulogy for Vim #Vim #TextEditor #Programming
@aartaka Kaktovik Numerals #Tech #Programming #Culture
@aartaka and HTML and Markdown and README and Website and Demo #Tech #Programming #WebDev
@aartaka Package-Inferred Systems are Dangerous #Tech #Programming #SoftwareEngineering
@aartaka Package-Inferred Systems are Dangerous #Tech #Programming #SoftwareEngineering
@aartaka Against Markdown #Tech #Programming #Opinion
@aartaka Against Markdown #Tech #Programming #Opinion
@aartaka Pidgin Markup For Writing, or How Much Can HTML Sustain? #Tech #Programming #WebDev
@aartaka Pidgin Markup For Writing, or How Much Can HTML Sustain? #Tech #Programming #WebDevTools
@drew_devault Redesigning my microkernel from the ground up #OpenSource #Programming #SoftwareDevelopment
@aartaka 2025: Never-ed(1)-ing Lisp, Writing, and Feelings #Tech #Lisp #Programming
@aartaka 2025: Never-ed(1)-ing Lisp, Writing, and Feelings #Tech #Programming #Lisp
@aartaka Common Lisp Dependency Vendoring with Submodules #Tech #CommonLisp #Programming
@aartaka Common Lisp Dependency Vendoring with Submodules #Tech #CommonLisp #Programming
@aartaka Towards Better Word #Tech #Programming #Bipolar
@aartaka Towards Better Word #Tech #Programming #PersonalDevelopment
@aartaka Customizing ed(2): Syntax Highlighting and rlwrap Heresy #Tech #Programming #CLI
@aartaka Customizing ed(2): Syntax Highlighting and rlwrap Heresy #Tech #Programming #CLI
@aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #Logic