Cooking using solar evacuated tubes
100r.co·5h·
Discuss: Hacker News
❄️Nixified Development
Mkosi – Build Bespoke OS Images
mkosi.systemd.io·5d·
Discuss: Hacker News
❄️Nixified Development
Debian 13.0 Ready To Introduce Formal RISC-V Support But Still Bound By Slow Hardware
phoronix.com·1d·
Discuss: Hacker News
🔬Unikernels
No. The C++ mascot is not a diseased rat named Keith
lunduke.locals.com·20h·
Discuss: Hacker News
🎮Verification Games
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·1d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🎮Verification Games
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·6d·
Discuss: Hacker News
🔬Unikernels
Pro AI – Human Segregation
onlyluck.substack.com·11h·
Discuss: Substack
🍎Apple
Dotenv's Promotion on Runtime Message
github.com·3d·
Discuss: Hacker News
🍎XNU Internals
The power of the Unix philosophy for LLM agentic tools
blog.korny.info·4d·
Discuss: Hacker News
🛡️seL4
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·4d·
Discuss: Hacker News
🔬Static Analysis
Need graphics card ideas for old Supermicro X7DWE
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
Air Traffic Controller Task Demand via Graph Neural Networks: An Interpretable Approach to Airspace Complexity
arxiv.org·19h
🔄Finite State Machines
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·4d
✓Automated Theorem Proving
Janet Feature Demos
github.com·5d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Agentic AI Is Quickly Revolutionizing IDEs and Developer Productivity
thenewstack.io·4d
🤖Program Synthesis
Iteratively Learning Muscle Memory for Legged Robots to Master Adaptive and High Precision Locomotion
arxiv.org·19h
🐫Embedded OCaml
Metaflow: Build, Manage and Deploy AI/ML Systems
github.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.dev·4d·
Discuss: Hacker News
🐫Embedded OCaml
6 Design Principles for Edge Computing Systems
thenewstack.io·4d
🖥️Self-hosted Infrastructure
🔬🧪 AI Alchemy — Symbolic Programming via Recursive Prompting
reddit.com·2d·
Discuss: r/programming
🎮Verification Games