Nim 2.2.6
nim-lang.org·2d·
Discuss: Hacker News
📦Opam
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·12h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·7h·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Flag this post
Oops, My UUIDs Collided
alexsci.com·2d·
Discuss: Hacker News
🎯GADT
Flag this post
DDD and the Simplicity Gospel
oluatte.com·19h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Vectorizing for Fun and Performance
ibm.com·4d·
Discuss: Hacker News
🏹Effect Systems
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·48m·
Discuss: Substack
📐Linear Algebra
Flag this post
Show HN: AI agents running on 2011 Raspberry Pi with pure PHP – no GPU
github.com·2h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·2d·
Discuss: DEV
📚Automata Learning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
A toy model of corrigibility
lesswrong.com·25m
⏰Timed Automata
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Fortytwo's decentralized AI has the answer to life, the universe, and everything
theregister.com·10h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
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
Product Designer's workflow for prototyping with Cursor
hvpandya.com·2h·
Discuss: Hacker News
🔤Language Design
Flag this post
Enhanced SPICE Modeling via Adaptive Transient Analysis & Hierarchical Parameter Optimization
dev.to·18h·
Discuss: DEV
👁️System Observability
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·4h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post