🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Speak Up If You're Stuck in a Zazen Rut
emptysqua.re·1d
🧮SMT Solvers
Video Games Weekly: Silksong and Gamescom
engadget.com·1h
🏺Gaming Archaeology
Fueling the AI-Enabled SOC with High-Fidelity Threat Intelligence
vmray.com·1d
🎯Threat Hunting
Life Skills to Teach Your Kid Before They Head Off to College
food52.com·1d·
Discuss: Hacker News
⭐Awesome lists
Harvard Dropouts To Launch 'Always On' AI Smart Glasses That Listen, Record Every Conversation
hardware.slashdot.org·1h
⏳Time Capsule Networks
Building Multiplayer Browsers
jimmyliu.net·2d·
Discuss: Hacker News
🚀Indie Hacking
Lessons from a Shitty Gardener
wysr.xyz·2d·
Discuss: Hacker News
⬜Minimalism
Kathryn Bryce excels with bat as Manchester Originals thrash Trent Rockets
the-independent.com·1d
👑Isabelle
Esperanto Joins the Universal Declaration on Archives
ica.org·1d
⚖️Archive Ethics
The State of Python 2025
blog.jetbrains.com·2d·
Discuss: Hacker News
🔄Language Evolution
Inclusion Arena: An Open Platform for Evaluating Large Foundation Models with Real-World Apps
arxiv.org·2d
🔠Type-Level Programming
ToxiFrench: Benchmarking and Enhancing Language Models via CoT Fine-Tuning for French Toxicity Detection
arxiv.org·2d
🔍Information Retrieval
A Tamagotchi that lives in Claude Code's statusline and gets angry when Claude doesn't follow your instructions!
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Adaptive Kernel Fusion for Sparse Matrix Acceleration on Neuromorphic NPU Architectures
dev.to·5d·
Discuss: DEV
🖥️Hardware Architecture
Tasklin, a Python CLI to run multiple AI models
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.org·2d
🧮SMT Solvers
Regional quality estimation for echocardiography using deep learning
arxiv.org·20h
📊Rate-Distortion Theory
Synthetic Data is Sufficient for Zero-Shot Visual Generalization from Offline Data
arxiv.org·1d
📊Learned Metrics
Assessment of Using Synthetic Data in Brain Tumor Segmentation
arxiv.org·1d
🧠Machine Learning
Diagnostic performance of deep learning for predicting glioma isocitrate dehydrogenase and 1p/19q co-deletion in MRI: a systematic review and meta-analysis
arxiv.org·1d
🧠Machine Learning