OneLLM - Better open router?
onellm.dev·6h·
Discuss: r/programming
📦Unikernel Systems
Secure Your Keys with Keyand.me
thasso.xyz·7h·
Discuss: Hacker News
🛡️seL4
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·22h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org·2d·
Discuss: Hacker News
🔬Unikernels
Show HN: Publish IPFS webapps which require user consent to update
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·1d·
Discuss: Hacker News
🔄Finite State Machines
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔬Unikernels
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·5h·
Discuss: r/homelab
🏠HomeLab
Dell OptiPlex 7060 Micro NAS - PicoPSU Powered - All in a custom NAS case
reddit.com·2h·
Discuss: r/homelab
💾Retro Computing
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
🐫OCaml
Homelab Evolution: Dragon’s-Den V1 to Dragon’s DenV2
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·22h·
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
So You Think You've Awoken ChatGPT
justismills.substack.com·25m·
Discuss: Substack
✓Automated Theorem Proving
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·2d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·19h·
Discuss: Hacker News
🐫OCaml