OneLLM - Better open router?
onellm.dev·19h·
Discuss: r/programming
📦Unikernel Systems
Software Reverse Engineering Bookshelf
mcgrewsecurity.com·1d·
Discuss: Hacker News
💾Retro Computing
AMD's Magny Cours and HyperTransport Interconnect
chipsandcheese.com·11h·
Discuss: Hacker News
⚙️Operating System Design
Full QuickJS Support for Nginx
blog.nginx.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Micro Common Lisp
t3x.org·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Chatlas: Guide to building LLM apps with less effort and more clarity
posit-dev.github.io·1d·
Discuss: Hacker News
🔍Formal Verification
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Unikernels
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·2d
✓Automated Theorem Proving
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems
Ezno (TypeScript type checker written in Rust) 2025 update
kaleidawave.github.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
Data Science Weekly – Issue 607
datascienceweekly.substack.com·1d·
Discuss: Substack
👁️System Observability
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·23h
🤖Program Synthesis
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🧪Property-Based Testing
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·1d
🛡️seL4
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·23h
💻CS
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·1d·
Discuss: r/programming
🌐NetworkProtocols
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·2d
🐫Embedded OCaml
Robust Multimodal Large Language Models Against Modality Conflict
arxiv.org·23h
🔄Finite State Machines
Current Practices for Building LLM-Powered Reasoning Tools Are Ad Hoc -- and We Can Do Better
arxiv.org·2d
🔄Finite State Machines
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·23h
✓Automated Theorem Proving