💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

DIY NTP message extensions
blog.meinbergglobal.com·1h
📻Homebrew Protocols
Show, don’t tell: ChatGPT 5 marginalizing Gelman’s measurment error model in Stan
statmodeling.stat.columbia.edu·4h
🧮Kolmogorov Bounds
AI is not another abstraction because god plays dice
rakhim.exotext.com·1d
⚖️Hoare Logic
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
🔗Monadic Parsing
wolfgangw commented on an issue in omarchy
github.com·4h
🎯Emulator Accuracy
NVIDIA Rubin CPX is an AI GPU for Next-Gen NVIDIA AI GPUs
servethehome.com·5h
🖥️Modern Terminals
Category Theory is Being Co-opted
estebanandthecollective.substack.com·1d·
Discuss: Substack
🔀Category Theory
Ultra Ethernet: Fabric Setup
nwktimes.blogspot.com·2d·
Discuss: Hacker News
🤖Network Automation
We Badly Need Frameworks
koolcodez.com·3d·
Discuss: Hacker News
🌳Incremental Parsing
Why Rewriting Emacs Is Hard
kyo.iroiro.party·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Concrete Syntax
Show HN: Bootstrapped Terraform Orchestration in OCaml
news.ycombinator.com·12h·
Discuss: Hacker News
🧊Arctic Storage
Hilbert space: treating functions as vectors
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News
📐Linear Algebra
🔗 I've got your shovelware right here
justin.searls.co·1d·
Discuss: Substack, Hacker News
🚀Indie Hacking
Rust Coreutils 0.2.2 Released With Faster base64: Outperforming GNU's base64
phoronix.com·3h
🦀Rust Borrowing
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·19h
🎯Arithmetic Coding Theory
Can AI Make Energy Retrofit Decisions? An Evaluation of Large Language Models
arxiv.org·19h
💻Local LLMs
Teaching AI Stepwise Diagnostic Reasoning with Report-Guided Chain-of-Thought Learning
arxiv.org·19h
🧠Machine Learning
Data-morph: Morph a dataset into select shapes, while preserving the statistics
github.com·7h·
Discuss: Hacker News
🦋Format Metamorphosis
Easy to use server for the KiCad Plugin and Content Manager
github.com·15h·
Discuss: Hacker News
📦METS Containers
Building Scalable Multi-Modal AI Agents with Strands Agents and Amazon S3 Vectors
dev.to·1d·
Discuss: DEV
🔄Sync Engine