OneLLM - Better open router?
onellm.dev·15h·
Discuss: r/programming
📦Unikernel Systems
Secure Your Keys with Keyand.me
thasso.xyz·15h·
Discuss: Hacker News
🛡️seL4
RoboMonkey: Test Time Compute for Robotics
robomonkey-vla.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·4h·
Discuss: Hacker News
❄️Nixified Development
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org·2d·
Discuss: Hacker News
🔬Unikernels
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
We have computation because of weaving
maalvika.substack.com·4h·
Discuss: Substack
💾Retro Computing
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
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·20h·
Discuss: r/homelab
🏠HomeLab
So You Think You've Awoken ChatGPT
justismills.substack.com·8h·
Discuss: Substack
✓Automated Theorem Proving
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
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml
XMCP: A framework for building and shipping MCP applications with TypeScript
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Outgrown My Mac Mini - Need Advice on Building a Dedicated Media Server
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Show HN: Vibe Kanban – Kanban board to manage your AI coding agents
github.com·8h·
Discuss: Hacker News
🤖Program Synthesis
I created a Python library for derivatives pricing and quantitative finance
reddit.com·2d·
Discuss: r/programming
⚙️PL Implementation