💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·2d
🔬Binary Analysis
Researchers push back on Apple study: LRMs can handle complex tasks with the right tools
the-decoder.com·12h
🧮SMT Solvers
My AI Workflow for Understanding Any Codebase
steipete.me·3d
⚡Proof Automation
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·2d·
Discuss: Hacker News
📟Terminal Typography
MCP: An (Accidentally) Universal Plugin System
worksonmymachine.substack.com·8h·
Discuss: Substack
🏠Homelab Archaeology
Matrix v1.15 release
matrix.org·2d·
Discuss: Lobsters, Hacker News
📋PREMIS Events
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·3d·
Discuss: Hacker News
🧩WASM Modules
Wine 10.11 Released with NTSync Prep and Fixes for Over 25 Bugs
linuxiac.com·1d
🔓Open Source Software
Using PhantomData and Zero-Sized Types
dev.to·3d·
Discuss: DEV
🔒Type Safety
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·2d
⚙️Compression Benchmarking
Improving Stochastic Cubic Newton with Momentum
arxiv.org·1d
🧠Machine Learning
Testing in Production
blog.scottlogic.com·2d
👁️System Observability
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·4d·
Discuss: r/rust
🦀Rust Verification
Heartbeat of Modern Web Real Time Patterns User Design（1751006826448300）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
[rant] Rust: The Safety Language That Still Isn’t Safe Enough
dev.to·1d·
Discuss: DEV
🦀Embedded Rust
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·3d·
Discuss: DEV
🤖Lisp Machines
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Open-Source & Cyber Resilience Act - Differing opinions aside
dev.to·2d·
Discuss: DEV
🔐Capability Systems
Just some example work notes
dev.to·6d·
Discuss: DEV
🌀Brotli Internals