💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·7h
🎯Gradual Typing
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·10h
🦀Rust Verification
Python Fundamentals: build
dev.to·12h·
Discuss: DEV
🔄Reproducible Builds
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·10h·
Discuss: Hacker News
🔐CBOR
A distributed systems reliability glossary
antithesis.com·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
A Rust Shaped Hole
mnvr.in·13h·
Discuss: Hacker News
🦀Rust Macros
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
The C3 Programming Language
c3-lang.org·38m·
Discuss: Hacker News
🔗Concatenative Programming
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·9h
🔗Hash Chains
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·9h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Students, here are 5 key things to know when learning how to train large language models
techradar.com·7h
💻Local LLMs
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
The FIPS 140-3 Go Cryptographic Module
go.dev·1d·
Discuss: Hacker News, r/programming
🌊Stream Ciphers