RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
A deep dive into deeply recursive Go
mattermost.com·4h·
Discuss: Hacker News
🔠Type-Level Programming
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·2h·
Discuss: Hacker News
❄️Nixified Development
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·2h·
Discuss: Hacker News
👁️System Observability
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·4h·
Discuss: Hacker News
🤖Program Synthesis
Dell OptiPlex 7060 Micro NAS - PicoPSU Powered - All in a custom NAS case
reddit.com·8h·
Discuss: r/homelab
💾Retro Computing
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4
My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
Show HN: Publish IPFS webapps which require user consent to update
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·4h
🐫Embedded OCaml
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·4d·
Discuss: r/programming
🐫OCaml
Homelab Evolution: Dragon’s-Den V1 to Dragon’s DenV2
reddit.com·18h·
Discuss: r/homelab
🏠HomeLab
Stirling-PDF - tracking users?
reddit.com·8m·
Discuss: r/homelab
📦Unikernel Systems
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
How to Write Rust Code Like a Rustacean
thenewstack.io·2d·
Discuss: Hacker News
🔬Static Analysis
On Jailbreaking Quantized Language Models Through Fault Injection Attacks
arxiv.org·3d
🔬Unikernels
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·2d·
Discuss: Hacker News
⎈Kubernetes