💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Must Have Emacs Packages In 2025
irreal.org·3d
🔄Language Evolution
How to make graphical Python apps the EasyGUI way
tomshardware.com·10h
🪟Awesome windows command-line
So you want ACP (Agent Client Protocol) for Emacs?
xenodium.com·1d
📟Terminals
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·8h·
Discuss: Hacker News
🔤EBCDIC Privacy
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·5d·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Everything Wrong with Material 3 Expressive
xylight.dev·6h·
Discuss: Hacker News
🎯Emulator Accuracy
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Nontransitive comparison functions lead to out-of-bounds read and write in glibc
qualys.com·3d·
Discuss: Hacker News
🧠Separation Logic
Building a Multilingual Blog with FastHTML
simn.fr·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🔓Open Source Software
The Beauty of Space-Filling Curves: Understanding the Hilbert Curve
towardsdatascience.com·3d
💎Information Crystallography
KDE Linux and FreeBSD hit alpha and – surprise – fan fave Pop_OS nearly at beta
theregister.com·12h
🔌Operating system internals
Can AI code? Study maps the roadblocks to autonomous software engineering
csail.mit.edu·2d·
Discuss: Hacker News
📏Code Metrics
How to Install & Run EmbeddingGemma-300m Locally?
dev.to·2d·
Discuss: DEV
🌀Brotli Dictionary
gogen - a CLI for bootstrapping fullstack Go apps
reddit.com·1d·
Discuss: r/golang
📦Git LFS
How to Build an AI Email Agent with n8n (Step-by-Step Advanced Guide Using Free & Open-Source Tools)
dev.to·14h·
Discuss: DEV
🤖Archive Automation
Journey into Collaborative Innovation
dev.to·1d·
Discuss: DEV
🔓Open Source Software
JFrog Continues Leaping at SwampUP
devops.com·1d
🔓Open Source Software
Algorithmic Anomaly Detection in Social Movement Framing Strategies: A Quantified Resilience Analysis
dev.to·8h·
Discuss: DEV
📄Text Mining
CSV Injection - silverstripecmsv6.0.0
seclists.org·1d
📡RSS Extensions