Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·9h
functional programming
Self-Hosted HDD Health Alerts using n8n and ntfy
noted.lol·11h
Live Programming
It's Almost Time for Python 3.14 and Other Python News
realpython.com·16h
💬Interactive REPLs
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·23h
🚪Function Prologues
New Claude Sonnet 4.5:
robotwritersai.com·1d
📝Rope Editors
Four years, Five failures, One compiler
daymare.net·1d·
🌱Minimal Languages
Simple hash map in C, for learning purpose
reddit.com·19h·
🏷️Symbol Interning
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🔍ML Language
Advanced RAG: Comparing GraphRAG, Corrective RAG, and Self-RAG
pub.towardsai.net·1d
🌊Streaming Lexers
Homerow Mods at 100+ WPM
reddit.com·1d·
💻Terminal Emulators
MedReflect: Teaching Medical LLMs to Self-Improve via Reflective Correction
arxiv.org·2h
🏗️MLIR
HOFLON: Hybrid Offline Learning and Online Optimization for Process Start-Up and Grade-Transition Control
arxiv.org·2h
📡Async Channels
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.to·1d·
Discuss: DEV
🧠Semantic Parsing
Adaptively Sampling-Reusing-Mixing Decomposed Gradients to Speed Up Sharpness Aware Minimization
arxiv.org·2h
🔄Loop Optimization
How to implement unique word generation via token graph traversal with local LLMs?
reddit.com·1d·
Discuss: r/LocalLLaMA
🔍Tokenizers
How Confident are Video Models? Empowering Video Models to Express their Uncertainty
arxiv.org·1d
Effect Inference
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·2h
🗺️Region Inference
Beyond Outcome Reward: Decoupling Search and Answering Improves LLM Agents
arxiv.org·2h
💬Interactive REPLs