💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Cactus Language • Syntax 12
inquiryintoinquiry.com·1d
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1h·
Discuss: Hacker News
🧭Content Discovery
Simplicity, Agility, and Agency
articles.pragdave.me·8h·
Discuss: Hacker News
⬜Minimalism
LLMs bring new nature of abstraction
martinfowler.com·2d·
Discuss: Hacker News
💻Programming languages
What Inflection AI Learned Porting Its LLM Inference Stack from NVIDIA to Intel Gaudi
thenewstack.io·1d
🧮Compute Optimization
1Password
corrode.dev·19h
🦀Rust Borrowing
The Complexity Fetish: Why Are We Overengineering the Simple?
medium.com·2d·
Discuss: Hacker News
🔩Systems Programming
Using PhantomData and Zero-Sized Types
dev.to·1d·
Discuss: DEV
🔒Type Safety
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·1d·
Discuss: Hacker News
🕸️WebP Analysis
Machine Learning Fundamentals: accuracy project
dev.to·3d·
Discuss: DEV
✅Archive Validation
Traditional curve
dev.to·3h·
Discuss: DEV
📐Mathematical Art
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·15h
⚙️Compression Benchmarking
Just some example work notes
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·7h·
Discuss: DEV
🔄Reproducible Builds
AI Agents Can Now Pay Autonomously Thanks to x402 and HTTP 402
hackernoon.com·11h
🔌Interface Evolution
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics