💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Cloud lobby warns EU: Clamp down on water rules and we'll evaporate
theregister.com·29m
🌊Stream Processing
Brent Yorgey: Competitive programming in Haskell: prefix sums
byorgey.github.io·3d
🔤Type Theory
Integrating Container-Use in WSL for Agentic Development
blog.techdecline.dev·3d·
Discuss: Lobsters, Hacker News
🌐WASI
Why Dyad?: A Perspective for Modelica Users
juliahub.com·4d·
Discuss: Hacker News
⚡Effectful Programming
EmacsConf 2025 Call for Participation
emacsconf.org·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Help me find a motherboard/CPU for a new Docker server build
reddit.com·3h·
Discuss: r/homelab
🖥️Modern CPU
Scaling Redis at 7shifts (2023)
medium.com·7h·
Discuss: Hacker News
⚡Redis Internals
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Data Types, Data Structures, and Abstract Data Types – What’s the Difference
dev.to·3d·
Discuss: DEV
🧮Algebraic Datatypes
CVE-2025–49144: Notepad++ vulnerability allows full system compromise
infosecwriteups.com·2h
💣ZIP Vulnerabilities
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·3d·
Discuss: DEV
🌊Stream Ciphers
TIM: A Large-Scale Dataset and large Timeline Intelligence Model for Open-domain Timeline Summarization
arxiv.org·6h
⚖️Feed Ranking
Programming Entry Level: cheat sheet github
dev.to·1d·
Discuss: DEV
🌿git
A full circle moment
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Can Peter Pan Survive MT? A Stylometric Study of LLMs, NMTs, and HTs in Children's Literature Translation
arxiv.org·6h
🔤Character Classification
I implemented database in Go - learned some hard lessons about transparency along the way
reddit.com·2d·
Discuss: r/golang
🗄️Database Internals
How Startups Harness Google TPUs for Scalable AI Innovation
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
How to Create Secure AI Applications
dev.to·3d·
Discuss: DEV
🔒Language-based security
Interactive Multi-Objective Probabilistic Preference Learning with Soft and Hard Bounds
arxiv.org·6h
🎛️Feed Filtering