RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·20h·
Discuss: Hacker News
🔄Finite State Machines
Cross-platform GUI apps with this Universal App Studio
apptrix.ai·1d·
Discuss: Hacker News
🍎Apple
Atomic macOS infostealer adds backdoor for persistent attacks
bleepingcomputer.com·3d·
Discuss: Hacker News
🍎Apple
Building MCP servers the easy way with Apache OpenServerless
opensource.net·22h·
Discuss: Hacker News
🛡️seL4
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·4h·
Discuss: Hacker News
✓Automated Theorem Proving
AXLearn: Modular Large Model Training on Heterogeneous Infrastructure
arxiv.org·1d
📦Unikernel Systems
Automatically Packaging a Haskell Library as a Swift Binary XCFramework
alt-romes.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫OCaml
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·9h·
Discuss: Hacker News
❄️Nixified Development
Helix Parallelism: Sharding Strategies for Multi-Million-Token LLM Decoding
research.nvidia.com·1d·
Discuss: Hacker News
🐫OCaml
Orca Build System
orca-app.dev·11h·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Binding Application in Idris
andrevidela.com·2h·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Petrichor – a free, open-source, offline music player for macOS
github.com·1d·
Discuss: Hacker News
🍎Apple
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·11h·
Discuss: Lobsters, Hacker News
🔬Unikernels
Ask HN: Pricing strategy for macOS App
news.ycombinator.com·18h·
Discuss: Hacker News
🍎Apple
Modern Electric Vehicle Infrastructure Security
ocpp.us·2d·
Discuss: Hacker News
🌐NetworkProtocols
You don't have to use Nix to manage your dotfiles
jade.fyi·3d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
We solved AI API interoperability
supermemory.ai·2d·
Discuss: Hacker News
🐫OCaml
Lenovo ThinkCentre M75q G2 for home server
i.redd.it·14h·
Discuss: r/homelab
🏠HomeLab
Guixotic, a Guix/Guile worker cooperative
lists.gnu.org·1d·
Discuss: Hacker News
❄️Nix