💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Must Have Emacs Packages In 2025
irreal.org·3d
🔄Language Evolution
Creating a Talos Linux Cluster on AWS with Pulumi, 2025 Edition
blog.scottlowe.org·2d
🤝Consensus Protocols
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·1d·
Discuss: Hacker News
🌈Spectroscopy
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·11h·
Discuss: Hacker News
🔤EBCDIC Privacy
How to make graphical Python apps the EasyGUI way
tomshardware.com·13h
🪟Awesome windows command-line
Everything Wrong with Material 3 Expressive
xylight.dev·9h·
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·15h
🔌Operating system internals
Nimalyzer – Static code analyzer for Nim
github.com·2d·
Discuss: Hacker News
📊Static Analysis
gogen - a CLI for bootstrapping fullstack Go apps
reddit.com·2d·
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·17h·
Discuss: DEV
🤖Archive Automation
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·11h·
Discuss: DEV
📄Text Mining
CSV Injection - silverstripecmsv6.0.0
seclists.org·2d
📡RSS Extensions
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·1d
🌍Cultural Algorithms
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.org·2d
🧠Intelligence Compression