🔍 Abstract Interpretation - jamii · Scour

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing ↔️Bidirectional Typing

arxiv.org·4d

the value of a performance oracle ⚙️Compilers

wingolog.org·2d·Lobsters, Hacker News

Sysbench vs MySQL on a small server: n 🔍Query Engines

smalldatum.blogspot.com·11h·smalldatum.blogspot.com

DYNOMIGHT λPLT

dynomight.net·17h

An API for handling arithmetic overflow ♻️Incremental Computation

lwn.net

·1d

1SubML: Plan vs Reality λPLT

blog.polybdenum.com·5d·Lobsters, Hacker News

In praise of delusional positivity about your partners λPLT

ariababu.co.uk·19h·Substack

Learned Static Function Data Structures ♻️Incremental Computation

vldb.org·1d

Wasmtime’s April 9, 2026 Security Advisories 🛡️Memory Safety

bytecodealliance.org·1d·Lobsters, Hacker News, r/rust

Automated Expected Cost Analysis for Quantum Programs 🌀Effect Systems

arxiv.org·3d

Spec Driven Development isn't Waterfall 🔬Program Analysis

brooker.co.za·1d·Hacker News

Borrow-checking surprises 🛡️Memory Safety

scattered-thoughts.net·3d·Lobsters, Hacker News

What's going on in computational neuroscience nowadays? (part 1) ♻️Incremental Computation

ccli.substack.com·1d·Substack

OSTEP Chapter 14: Interlude -- Memory API 🛡️Memory Safety

muratbuffalo.blogspot.com·6d·Blogger

Wastrel milestone: full hoot support, with generational gc as a treat ⚙️Compilers

wingolog.org·17h·Lobsters, Hacker News

NSA and IETF, part 7 ↔️Bidirectional Typing

blog.cr.yp.to·4d·Hacker News

Security updates for Thursday [LWN.net] 👤End-User Programming

lwn.net·18h

The Future of Everything is Lies, I Guess: Dynamics 🌀Effect Systems

aphyr.com·3d

Pervasive Annotation Errors Break Text-to-SQL Benchmarks and Leaderboards 📊Columnar Storage

vldb.org·1d

Floyd's Sampling Algorithm ♻️Incremental Computation

NULL BITMAP by Justin Jaffray via buttondown.com·3d·Hacker News

Loading more...