💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·12h·
Discuss: Hacker News, r/programming
🔗Lisp
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·12h
🔓Open Source Software
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·16h
📝Concrete Syntax
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·16h·
Discuss: DEV
λLambda Formalization
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·15h
⬆️Lambda Lifting
My AI Workflow for Understanding Any Codebase
steipete.me·12h
⚡Proof Automation
The Guide to the Foundation Models Framework
azamsharp.com·9h·
Discuss: Hacker News
λLambda Formalization
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·5h
🔒Linear Types
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Why Dyad?: A Perspective for Modelica Users
juliahub.com·8h·
Discuss: Hacker News
⚡Effectful Programming
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·11h·
Discuss: Hacker News
🔗Constraint Handling
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·1h·
Discuss: DEV
🦀Rust Borrowing