Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·6h·
Discuss: Hacker News
📚Automata Learning
Flag this post
How to Build Your Own MCP Server with Python
dev.to·1h·
Discuss: DEV
💬Mach Messages
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Vectorizing for Fun and Performance
ibm.com·3d·
Discuss: Hacker News
🏹Effect Systems
Flag this post
DDD and the Simplicity Gospel
oluatte.com·14h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·19h·
Discuss: Substack
⚡Process Calculi
Flag this post
What's new in Swift: October 2025 Edition
swift.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·2d·
Discuss: DEV
📚Automata Learning
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
📦OPAM
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.io·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·19h·
Discuss: Hacker News
👁️System Observability
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·2d
🧮Z3 Solver
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·3h·
Discuss: DEV
🧮Lambda Calculus
Flag this post