NetHack4 Philosophy
📖Interactive Fiction
Flag this post
I built an AI parenting app that cites 2,600+ real research studies (no hallucinations) 100% of code written by Claude Code
🌿Digital Gardens
Flag this post
Fixing the ReactOS Test Suite
🔧DevOps
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
ARMS Continuous Profiling Upgrade for Efficient and Accurate Performance Bottleneck Localization
📊Performance Tools
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧮SMT Solvers
Flag this post
[Release] Night Core™ Worker v38 — Open-core framework for verified WebAssembly execution
☁️Cloudflare Workers
Flag this post
Rust's std and parking_lot mutexes – who wins?
🔒Futex
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔍Reverse Engineering
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
🛡️AI Security
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·1d
💬Prompt Engineering
Flag this post
Demo Day (feat. Murphy’s Law)
⎈Helm
Flag this post
Q: Avoiding ‘1 Step Forwards, 2 Steps Back’ When Finalizing Larger Projects?
🌳Git Internals
Flag this post
Loading...Loading more...