♻️ Incremental Computation - jamii · Scour

Learned Static Function Data Structures ↔️Bidirectional Typing

vldb.org·1d

Trace-Guided Synthesis of Effectful Test Generators 🌀Effect Systems

arxiv.org·3d

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

wingolog.org·16h·Lobsters, Hacker News

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

smalldatum.blogspot.com·10h·smalldatum.blogspot.com

An API for handling arithmetic overflow 🛡️Memory Safety

lwn.net

·1d

Floyd's Sampling Algorithm λPLT

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

What's going on in computational neuroscience nowadays? (part 1) 🌀Effect Systems

ccli.substack.com·1d·Substack

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

muratbuffalo.blogspot.com·6d·Blogger

Spec Driven Development isn't Waterfall 🔬Program Analysis

brooker.co.za·1d·Hacker News

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

aphyr.com·3d

Borrow-checking surprises 🛡️Memory Safety

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

1SubML: Plan vs Reality λPLT

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

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design ⚙️Compilers

arxiv.org·2d

The uphill climb of making diff lines performant ⚙️Runtime Systems

github.blog·6d·Hacker News

SHARP: Shared State Reduction for Efficient Matching of Sequential Patterns ↔️Bidirectional Typing

vldb.org·1d

A Cryptography Engineer’s Perspective on Quantum Computing Timelines 🌀Effect Systems

words.filippo.io·3d·Lobsters, Hacker News, r/crypto

the value of a performance oracle ⚙️Compilers

wingolog.org·2d·Lobsters, Hacker News

Linkpost for April 🌀Effect Systems

thingofthings.substack.com

A Gradual Probabilistic Lambda Calculus ↔️Bidirectional Typing

arxiv.org·2d

The Future of Everything is Lies, I Guess λPLT

aphyr.com·3d·Lobsters, Hacker News, Hacker News

Loading more...