🗂️ Data Structures - nioobers · Scour

On the Complexity of Checking Soundness of Natural Reductions (Extended Version) λPL Theory

Prompts are technical debt too 📝Technical Writing

seangoedecke.com·23h·Lobsters, Hacker News

Can the ‘steroid Olympics’ show the sporting community how to support athletes better? 🎮Gaming

My Thoughts on Bun's Rust Rewrite ⚙️Compilers

en.liujiacai.net·4d·Lobsters, Hacker News, Hacker News

Even More Tagged Union Subsets with Comptime 📐Type Systems

sinclairtarget.com·1d·Lobsters, Hacker News

5× faster fast_blur in image-rs 📐Computational Geometry

apas.tel·6d·Lobsters, Hacker News, r/programming, r/rust

Erasing Existentials 📐Type Systems

wolfgirl.dev·9h·Lobsters, Hacker News

The CTF scene is dead ♟️Chess

kabir.au·4d·Lobsters, Hacker News

The Enhanced Games miss the point: science can clean up sport ♟️Chess

Beyond survival: Redefining successful aging in the era of medical complexity 🧬Neuroscience

journals.plos.org·6d

Why Ruby Still Feels Like Home After All These Years ⚙️Compilers

caio.ca·19h·Lobsters

Type out the code> 💻Programming

haskellforall.com·1d·Lobsters, Hacker News, r/programming

Golfing Zig ELF Binaries (2025) 🔧Systems Programming

ctf.gg·9h·Lobsters, Hacker News

The just-say-no engineer was a ZIRP phenomenon 📼Tech History

seangoedecke.com·2d·Lobsters, Hacker News, Hacker News, r/programming

LLemdashes 🔍Tech Criticism

wil.to·11h·Lobsters

Notes on I2C 🔧Systems Programming

rana-emaan.com·4h·Lobsters

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction 🔍Reverse Engineering

China moves AI brain implants from trials towards real-world use 🧬Neuroscience

Why does the arrow (->) operator in C exist? 💻Programming

stackoverflow.com·3h·Lobsters

tracefinity/tracefinity: Generate custom gridfinity bins with AI, from photos of your tools 📐Computational Geometry

github.com·17m

Log in to enable infinite scrolling