💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Solving `UK Passport Application` with Haskell
jameshaydon.github.io·16h·
Discuss: Lobsters, Hacker News, r/programming
✅Document Verification
A Technical Dive into ODF
blog.documentfoundation.org·21h·
Discuss: Hacker News
📋Document Standards
The time is right for a DOM templating API
justinfagnani.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🌐Web Standards
A brief introduction to MCP server performance optimization
catchmetrics.io·1d·
Discuss: Hacker News
👁️Observatory Systems
How do you handle production webhook delivery reliability in your apps?
news.ycombinator.com·20h·
Discuss: Hacker News
🌊Streaming Systems
VxKex-NEXT: Windows 7 API Extensions
github.com·1d·
Discuss: Hacker News
🕸️WASM Archives
AI agents get office tasks wrong around 70% of the time, and a lot of them aren't AI at all
theregister.com·3h·
Discuss: Hacker News
⚡Proof Automation
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·5d
⚖️Hoare Logic
🚀 Automating Weekly SLA Reports — A No-Code, Practical Framework
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·4d·
Discuss: DEV
⚡Performance Tools
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·2d
🌳Context free grammars
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·2d·
Discuss: DEV
🌊Streaming Compression
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·4d·
Discuss: DEV
📏Code Metrics
Cursor BugBot vs Entelligence
dev.to·1d·
Discuss: DEV
📏Code Metrics
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·5d
💻Programming languages
Understanding the System 3: Databases
dev.to·2d·
Discuss: DEV
🗄️Database Internals
Unveiling Causal Reasoning in Large Language Models: Reality or Mirage?
arxiv.org·2d
🎯Dependent Parsing
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·4d·
Discuss: DEV
λLambda Formalization
Machine Learning Fundamentals: adam optimizer
dev.to·3d·
Discuss: DEV
📊Quantization
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·2d·
Discuss: DEV
👁️Observatory Systems