💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Explainer: Preferences
eclecticlight.co·14h
💾Memory Mapping
Flag this post
Meta's Free Transformer introduces a new approach to LLM decision-making
the-decoder.com·10h
📄Document AI
Flag this post
Computing High-Frequency Factors in Real Time for Quantitative Models
medium.com·2d·
Discuss: Hacker News
🌊Streaming Databases
Flag this post
30 Years of Code, 25 Years of Tests
phpunit.expert·46m·
Discuss: Hacker News
🔄Language Evolution
Flag this post
WisprFlow Became the Highest-Leverage Upgrade to My Dev Workflow
zackproser.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
to transaction or not to transaction
reddit.com·2h·
Discuss: r/golang
💾Persistence Strategies
Flag this post
Where to Buy or Rent GPUs for LLM Inference: The 2026 GPU Procurement Guide
bentoml.com·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
How are you handling identities for AI agents?
news.ycombinator.com·8h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Torchforge – a PyTorch native library for scalable RL post-training
pytorch.org·2d·
Discuss: Hacker News
🖥️Game Emulation
Flag this post
Modern Perfect Hashing
blog.sesse.net·5d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
The Machine Learning Projects Employers Want to See
towardsdatascience.com·1d
🎵Audio ML
Flag this post
Go vs Kotlin: Server throughput
reddit.com·1d·
Discuss: r/golang
⚡Redis Internals
Flag this post
Stop Typing That Image Text: PaddleOCR Makes AI-Powered Text Extraction Effortless
dev.to·8h·
Discuss: DEV
👁️OCR Verification
Flag this post
Automated Peptide-Mimetic Design via Constraint-Based Generative Networks
dev.to·11h·
Discuss: DEV
🔍Vector Forensics
Flag this post
Neural Networks in Coding: A Deep Dive into the AI Coding Paradigm
dev.to·15h·
Discuss: DEV
🧠Learned Codecs
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·1d·
Discuss: DEV
🤖Advanced OCR
Flag this post
Semantic search with embeddings in PHP: a hands-on guide using Neuron AI and Ollama
dev.to·25m·
Discuss: DEV
🧮Vector Embeddings
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·1d·
Discuss: Hacker News
🔐CBOR
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·1d
✨Effect Handlers
Flag this post
Enhancing ECG Classification Robustness with Lightweight Unsupervised Anomaly Detection Filters
arxiv.org·1d
🧠Machine Learning
Flag this post