OneLLM - Better open router?
onellm.dev·2h·
Discuss: r/programming
📦Unikernel Systems
Secure Your Keys with Keyand.me
thasso.xyz·2h·
Discuss: Hacker News
🛡️seL4
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·20h·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
AXLearn: Modular Large Model Training on Heterogeneous Infrastructure
arxiv.org·2d
📦Unikernel Systems
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
(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·6h
💻CS
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·17h·
Discuss: Hacker News
🧪Property-Based Testing
You don't have to use Nix to manage your dotfiles
jade.fyi·4d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·21h·
Discuss: Hacker News
⚙️PL Implementation
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·14h·
Discuss: r/programming
🌐NetworkProtocols
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·17h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
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
Outgrown My Mac Mini - Need Advice on Building a Dedicated Media Server
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
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·37m·
Discuss: r/homelab
🏠HomeLab
Complete guide to implementing OpenTelemetry in Nextjs applications - Traces, Metrics & Logs
signoz.io·1d·
Discuss: Hacker News, r/programming
👁️System Observability
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
🐫OCaml