💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Researchers push back on Apple study: LRMs can handle complex tasks with the right tools
the-decoder.com·17h
🧮SMT Solvers
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·3d·
Discuss: Hacker News
📟Terminal Typography
MCP: An (Accidentally) Universal Plugin System
worksonmymachine.substack.com·13h·
Discuss: Substack
🏠Homelab Archaeology
AI Manager - The Future of Management
aimanagers.app·12h·
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·3d·
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·6h·
Discuss: DEV
🔬Academic Search
Wine 10.11 Released with NTSync Prep and Fixes for Over 25 Bugs
linuxiac.com·1d
🔓Open Source Software
PEGTL -- Parsing Expression Grammar Template Library
github.com·4d·
Discuss: Hacker News
🔗Parser Combinators
Machine Learning Fundamentals: accuracy project
dev.to·5d·
Discuss: DEV
✅Archive Validation
Day 6/100: Numbers, Arithmetic, and Type Conversion
dev.to·1d·
Discuss: DEV
🧮Algebraic Datatypes
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3d
✅Format 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
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
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds