Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
Tunable spintronic devices with different switching mechanisms for probabilistic and stochastic computing
journals.aps.org·13h
⚡Control Synthesis
Claude Sonnet 4.5's Most Impressive New Tool That Noone Is Talking About
youtu.be·6h·
Discuss: r/ClaudeAI, r/LLM
💬Interactive REPLs
A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
Four years, Five failures, One compiler
daymare.net·2d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·3d·
Discuss: Hacker News
🔍ML Language
Homerow Mods at 100+ WPM
reddit.com·2d·
Discuss: r/ErgoMechKeyboards
💻Terminal Emulators
Academic-Scheduler.com: Revolutionary School Management System - Transform Your Institution Today!
dev.to·4h·
Discuss: DEV
🎓Educational Databases
Advanced RAG: Comparing GraphRAG, Corrective RAG, and Self-RAG
pub.towardsai.net·2d
🌊Streaming Lexers
Automating Text-to-Video Pipelines with Sora 2 and n8n
dev.to·1d·
Discuss: DEV
⚡Live Programming
Introducing the Gemini 2.5 Computer Use model
blog.google·3h·
Discuss: Hacker News
🏰Capability Machines
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·18h
✨Effect Inference
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog
Mastering LangChain & LangGraph: Your Ultimate Resource Hub
dev.to·1d·
Discuss: DEV
🌉Language Bridges
H-DDx: A Hierarchical Evaluation Framework for Differential Diagnosis
arxiv.org·18h
🏗️MLIR
Unsupervised Active Learning via Natural Feature Progressive Framework
arxiv.org·18h
🗺️Region Inference
SpeechCT-CLIP: Distilling Text-Image Knowledge to Speech for Voice-Native Multimodal CT Analysis
arxiv.org·1d
🏗️MLIR
From Theory to Practice: Evaluating Data Poisoning Attacks and Defenses in In-Context Learning on Social Media Health Discourse
arxiv.org·18h
🔍ML Language
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·1d
✅Type Checking
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·1d·
Discuss: DEV
🌐Network Protocols