🔗 Dependent Types - merp · Scour

Syntax and Semantics of Linear Dependent Types 📏Linear Types

Semantics of pattern unification 🔍Type Inference

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 💎Refinement Types

types.pl·2d·Lobsters

Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality 💎Refinement Types

blog.zksecurity.xyz·3d·Hacker News

Mizar: the first usable proof assistant for mathematics 💎Refinement Types

lawrencecpaulson.github.io·1d·Hacker News

I built a minimal asyncpg wrapper that gives you Pydantic type safety without the ORM overhead. You write raw SQL, you get typed models back. 📋Dhall

github.com·6d·r/PostgreSQL

At GQ’s Met Gala After-Party, Chase Infiniti, Damson Idris, Lisa, and Paul Anthony Kelly Hosted an A+ Crowd ✨Gleam

The moment I knew: ‘We didn’t speak the same language but somehow we understood each other’ 📜rescript

theguardian.com·5d

Using Rust typestates for BCF writing 🦀Rust programming language

deterministic.space·15h

What’s New To Streaming: April 30, 2026 🌳Elm

crimereads.com·6d

Applying formal grammars in a custom programming language 🌲Tree-sitter

youtu.be·21h·r/programming

Predicate pushdown, a planner perspective 📏Linear Types

floedb.ai·2h·Hacker News

The Amazing Compile-Time Metaprogramming State Machine 📋Dhall

blog.dlang.org·7h·r/programming

A Categorical Semantics for Linear Logical Frameworks 📏Linear Types

Forget the leaks about Sony's new high-end 'WH-1000XX ColleXion' headphones — the company is straight-up teasing us now, highlighting high-res photos of a mystery pair being worn by 'F1: The Movie' star Damson Idris 🔗HTMX

·3d

Announcing Ventana: A modular, iterator-based windowing library 🌲Tree-sitter

gtlugo.com·17h·r/rust

Sony WH-1000XX headphones spotted in the wild ahead of its official launch 🔗HTMX

digitaltrends.com·3d

Speed-Optimized Python 3.14t on Debian Forky: A Clang-19 Build Guide (Assisted by Google AI) 🌲Tree-sitter

dbaxps.blogspot.com·20h

What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style 💫Effect Systems

link.springer.com·1d·Hacker News

Apple exec expects F1 movie sequel to happen ⚛React Native

awfulannouncing.com·5d

Log in to enable infinite scrolling