Handling Events Coming in an Unknown Order
event-driven.io·21h·
Discuss: r/programming
🌐Network Protocols
Flag this post
Pose Animator – An open source tool to animate SVG characters via motion capture
blog.tensorflow.org·1h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Hosting an ATProto PDS without containerization
char.lt·56m·
Discuss: Hacker News
🐳Containerization
Flag this post
Our newest model: Chandra (OCR)
datalab.to·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
OpenSource: Get answer DURING meetings. No more 'let me get back to you'
tellmemo.io·2h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·4d·
Discuss: Hacker News
🍎XNU Internals
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·3d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
First steps into the Linux world with Fedora
reddit.com·2d·
Discuss: r/linux
❄️Nix
Flag this post
Speedrunning an RL Environment
sidb.in·3d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
vibe.forem.com·1h·
Discuss: DEV
🔧DevOps
Flag this post
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·15h·
Discuss: DEV
💾Retro Computing
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·9h
📦OPAM
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·9h
⏱️Computational Complexity
Flag this post
Identification of Capture Phases in Nanopore Protein Sequencing Data Using a Deep Learning Model
arxiv.org·9h
👁️Observability
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Application architecture design template
reddit.com·8h·
Discuss: r/programming
🔤Language Design
Flag this post
GoFr's Instant Power: Production-Ready Go Services in 5 Minutes
dev.to·22h·
Discuss: DEV
🔧DevOps
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·2d·
Discuss: DEV
💬Mach Messages
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·9h
🧠Automated Reasoning
Flag this post