💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·4d
λLambda Encodings
Internationalization-check: Validating your Next.js internationalization
lingual.dev·2h·
Discuss: Hacker News
✅Format Verification
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·6h·
Discuss: Hacker News
🧭Content Discovery
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·1d
🦀Rust Borrowing
Simplicity, Agility, and Agency
articles.pragdave.me·12h·
Discuss: Hacker News
⬜Minimalism
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·2d·
Discuss: Hacker News
🕸️WebP Analysis
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·20h
⚙️Compression Benchmarking
Just some example work notes
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·11h·
Discuss: DEV
🔄Reproducible Builds
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
🔁 Throwback Thursday: That Time I Thought I Understood Microservices
dev.to·14h·
Discuss: DEV
🌊Streaming Systems
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
AI Agents Can Now Pay Autonomously Thanks to x402 and HTTP 402
hackernoon.com·16h
🔌Interface Evolution
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·2d
💻Local LLMs
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·2d
🎯Performance Proofs