💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
The collective waste caused by poor documentation
shanrauf.com·17h·
Discuss: Hacker News
📦Deflate
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·14h
🔍Concolic Testing
Using PhantomData and Zero-Sized Types
dev.to·3h·
Discuss: DEV
🔒Type Safety
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·22h·
Discuss: DEV
🔗Concatenative Programming
What Is "Modern" Programming?
lemire.me·6h·
Discuss: Hacker News
🔗Concatenative Programming
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
BNFGen: A random text generator based on context-free grammars
baturin.org·55m·
Discuss: Hacker News
🌳Context free grammars
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3h·
Discuss: DEV
✓Automated Theorem Proving
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·22h·
Discuss: Hacker News
🕸️WebP Analysis
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·11h·
Discuss: DEV
λLambda Formalization