💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

87% of GenAI Failures Were Preventable: This MLOps Framework Shows How
blog.devops.dev·17h
📏Code Metrics
AI Manager - The Future of Management
aimanagers.app·18h·
Discuss: Lobsters, Hacker News
💾Persistence Strategies
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·4d·
Discuss: Hacker News
💻Local LLMs
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·4d·
Discuss: Hacker News
🧩WASM Modules
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
PaperSense: Semantic arXiv Search & Chat Built with MindsDB
dev.to·12h·
Discuss: DEV
🔬Academic Search
Turnkey Openframe Design with RK-Android-A64-11 + 7” TFT-LCD
hackster.io·1d
🎯Emulator Accuracy
PEGTL -- Parsing Expression Grammar Template Library
github.com·4d·
Discuss: Hacker News
🔗Parser Combinators
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·3d·
Discuss: DEV
✓Automated Theorem Proving
Machine Learning Fundamentals: accuracy project
dev.to·5d·
Discuss: DEV
✅Archive Validation
Using PhantomData and Zero-Sized Types
dev.to·3d·
Discuss: DEV
🔒Type Safety
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·3d
⚙️Compression Benchmarking
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·5d·
Discuss: r/rust
🦀Rust Verification
Heartbeat of Modern Web Real Time Patterns User Design（1751006826448300）
dev.to·2d·
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·2d·
Discuss: DEV
🔄Reproducible Builds
Open-Source & Cyber Resilience Act - Differing opinions aside
dev.to·2d·
Discuss: DEV
🔐Capability Systems