💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

What Is FIPS 140-3 and Why Does It Matter for Security Compliance?
securityscorecard.com·19h
🌳Archive Merkle Trees
[$] Libxml2's "no security embargoes" policy
lwn.net·18h
🔓Free and open source
Cactus Language • Syntax 12
inquiryintoinquiry.com·18h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
The Complexity Fetish: Why Are We Overengineering the Simple?
medium.com·1d·
Discuss: Hacker News
🔩Systems Programming
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·2d
🔍FPGA Verification
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·27m·
Discuss: DEV
✅Format Verification
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Schemars v1 is now released
reddit.com·16h·
Discuss: r/rust
🦀Rust Macros
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·6h
✅Format Verification
Using PhantomData and Zero-Sized Types
dev.to·19h·
Discuss: DEV
🔒Type Safety
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·6h
⚙️Compression Benchmarking
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Just some example work notes
dev.to·3d·
Discuss: DEV
🌀Brotli Internals