💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Fedify
fedify.dev·3d
📋Format Specification
The Evolution of Logical Replication in PostgreSQL
enterprisedb.com·21h·
Discuss: Lobsters, Hacker News, Hacker News
🤝Distributed Consensus
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·11h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Do Startups Dream of Electric Robots
partenit.io·3h·
Discuss: Hacker News
🖥️Modern Terminals
Fenwick layout for interval trees
purplesyringa.moe·2d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Trees
Atom-thin crystals provide new way to power the future of computer memory
phys.org·1h
⏰Time Crystals
AI as teleportation
geoffreylitt.com·1d·
Discuss: Hacker News
🔲Cellular Automata
How to use the GitHub and JFrog integration for secure, traceable builds from commit to production
github.blog·2d
🔄Reproducible Builds
When should you use an actor?
massicotte.org·5d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
🚀 Day 12 of My Python Learning Journey
dev.to·1d·
Discuss: DEV
🗂Data structures
Show HN: D-Tale, easy to use GUI for Pandas data structures
github.com·4d·
Discuss: Hacker News
🦀Rust Macros
We got a look at 'Project Maverick,' Dell's top-secret plan to overhaul its systems for the AI future
businessinsider.com·1h
🖥️Terminal Renaissance
Taming Chaos with Antifragile GenAI Architecture
oreilly.com·1d
🔲Cellular Automata
Writing Code Is Easy. Reading It Isn't
idiallo.com·4d·
Discuss: Hacker News, r/programming
📏Code Metrics
Mechanistic Learning with Guided Diffusion Models to Predict Spatio-Temporal Brain Tumor Growth
arxiv.org·10h
🔲Cellular Automata
These Days, Coding Feels Heavy
dev.to·1d·
Discuss: DEV
📏Code Metrics
From PDFs to Palaces: Inside the AI That Turns Knowledge into Memory Architecture
dev.to·1d·
Discuss: DEV
🏠Homelab Archaeology
Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
arxiv.org·3d
🧮Kolmogorov Bounds
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·5d·
Discuss: Hacker News
🔄Lens Laws
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·2d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing