λ PLT - jamii · Scour

A Gradual Probabilistic Lambda Calculus ↔️Bidirectional Typing

arxiv.org·2d

1SubML: Plan vs Reality ↔️Bidirectional Typing

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

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

wingolog.org·14h·Lobsters, Hacker News

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

aphyr.com·16h·Hacker News

Learned Static Function Data Structures ♻️Incremental Computation

vldb.org·1d

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

muratbuffalo.blogspot.com·6d·Blogger

In praise of delusional positivity about your partners ↔️Bidirectional Typing

ariababu.co.uk·16h·Substack

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications ↔️Bidirectional Typing

arxiv.org·1d

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

lwn.net·14h

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

ccli.substack.com·1d·Substack

Floyd's Sampling Algorithm ♻️Incremental Computation

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

DYNOMIGHT 🌀Effect Systems

dynomight.net·14h

Spec Driven Development isn't Waterfall 🔬Program Analysis

brooker.co.za·1d·Hacker News

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

smalldatum.blogspot.com·8h·smalldatum.blogspot.com

Borrow-checking surprises 🛡️Memory Safety

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

Determinacy with Priorities up to Clocks 🔬Program Analysis

arxiv.org·1d

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

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

NSA and IETF, part 7 ↔️Bidirectional Typing

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

Open Thread 428.5 + Zagreb Update 🕸️WebAssembly

astralcodexten.com

·1d

Linkpost for April 🌀Effect Systems

thingofthings.substack.com

Loading more...