🚫 Branch-Free Programming - kqr · Scour

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution 🔮Lisp Macros

Show HN: A self-balancing skip-list (a.k.a. "splay-list") library in C 🔬BPF

codeberg.org·1d·Lobsters, Hacker News

SBCL: the ultimate assembly code breadboard 🌿Branch Tables

pvk.ca·9h·Hacker News

An Experiment in Formal Verification with Claude 🎲Property-Based Testing

blog.succinct.xyz·6h

samth/gradual-typing-bib: A bibliography on Gradual Typing 🔮Lisp Macros

github.com·1d·Lobsters

Pipelining might be my favorite programming language feature 🐚Shell Scripting

news.ycombinator.com·4d·Hacker News

Compiling Ruby. Part 2: RiteVM 🔮Lisp Macros

lowlevelbits.org·11h

Proofs for programs, programs for proofs (bobkonf2026) 🎓Scheme

cdn.media.ccc.de·1d

Toward Interoperability of Minimal Programs 🌲Persistent Data Structures

lesswrong.com·6h

Async in Rust, A Beginner’s Perspective 🎓Scheme

·2d

Speeding up the JavaScript ecosystem ⚙️Performance Profiling

marvinh.dev·4d

Neoclassical C++: segmented iterators revisited (1) 😴Lazy Evaluation

boostedcpp.net·2d·Hacker News

I Wrote a Compiler 🔮Lisp Macros

funcall.blogspot.com·3d·Blogger

TL;DC v0.1.0-rc is out! First LLM-native language 🔮Lisp Macros

cdbnk.github.io·3d·r/vibecoding

CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs 🔮Lisp Macros

Loop Fission and Fusion 🧩Memory Pooling

en.wikipedia.org·4d·Hacker News

The Uselessness of "Fast" and "Slow" in Programming ⚙️Performance Profiling

Untangling 40-Year-Old COBOL Monoliths with Gemma 4 (Yes, Completely Offline) 🐛Fuzzing

·2d·DEV

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction 😴Lazy Evaluation

Fast B-Trees 🧩Memory Pooling

news.ycombinator.com·5d·Hacker News

Log in to enable infinite scrolling