💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Fabric8Labs ECAM Enabled Thermal Solutions at Hot Chips 2025
servethehome.com·8h·
Discuss: r/hardware
🖥️Modern Terminals
Three Cheers for XProc 3 Running XSpec Tests
medium.com·4h
🔄Language Evolution
Local LLMs and Ollama
groveronline.com·20h
🕸️WASM Archives
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
I built a tool to benchmark tokenizers across 100+ languages and found some wild disparities [R]
reddit.com·11h·
Discuss: r/MachineLearning
⚙️Compression Benchmarking
Why did dlclose not unload the library?
kishoreganesh.com·3h·
Discuss: Hacker News
🦀Rust Verification
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·2d·
Discuss: Hacker News
🔗Concatenative Languages
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·14h·
Discuss: Substack
⚙️Batch Processing
Programmable k-local Ising Machines and all-optical Kolmogorov-Arnold Networks on Photonic Platforms
arxiv.org·1d
🕸️Tensor Networks
Looking back at "legacy" HTML practices
nooshu.com·7h·
Discuss: Hacker News
🏺Format Archaeology
The Compass Pattern: How smart documentation architecture saves $0.63M annually
wyrd-technology.com·15h·
Discuss: Hacker News
📚MARC Evolution
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·1d
🧠Machine Learning
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·1d·
Discuss: Hacker News
🤖AI Curation
🚀 Learning Update
dev.to·17h·
Discuss: DEV
🌳Incremental Parsing
A Bitcoin Core Code Analysis
binaryigor.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·11h·
Discuss: DEV
🧩SQLite Extensions
Show HN: Web2mcp – Auto-generate an MCP for any web app
github.com·1h·
Discuss: Hacker News
⚡gRPC
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·1d
⚡Incremental Computation