OneLLM - Better open router?
onellm.dev·3h·
Discuss: r/programming
📦Unikernel Systems
Secure Your Keys with Keyand.me
thasso.xyz·3h·
Discuss: Hacker News
🛡️seL4
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·21h·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
AXLearn: Modular Large Model Training on Heterogeneous Infrastructure
arxiv.org·2d
📦Unikernel Systems
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·7h
💻CS
You don't have to use Nix to manage your dotfiles
jade.fyi·4d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The computational cost of corporate rebranding
news.ycombinator.com·8h·
Discuss: Hacker News
🍎Apple
Show HN: A generative audio VST plugin using Gemini API, JUCE, and React
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Unikernels
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com·15h·
Discuss: r/programming
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·18h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·23h·
Discuss: Hacker News
⚙️PL Implementation
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org·1d·
Discuss: Hacker News
🔬Unikernels
Show HN: Publish IPFS webapps which require user consent to update
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
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·2h·
Discuss: r/homelab
🏠HomeLab