Software Reverse Engineering Bookshelf
mcgrewsecurity.com·18h·
Discuss: Hacker News
💾Retro Computing
Helix Parallelism: Sharding Strategies for Multi-Million-Token LLM Decoding
research.nvidia.com·1d·
Discuss: Hacker News
🐫OCaml
Dependency hell is NP-complete
research.swtch.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Cocoindex: Data Transformation for AI
cocoindex.io·20h·
Discuss: Hacker News
🛡️seL4
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com·1d·
Discuss: Hacker News
🛡️seL4
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·18h·
Discuss: Hacker News
🛡️seL4
Announcing egui 0.32.0 - an easy-to-use cross-platform GUI for Rust
github.com·22h·
Discuss: r/programming
🍎XNU Internals
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·10h
🎮Verification Games
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·10h
💻CS
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·10h·
Discuss: Substack
👁️System Observability
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·2d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
I created a Python library for derivatives pricing and quantitative finance
reddit.com·2d·
Discuss: r/programming
👁️System Observability
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
🐫OCaml
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·3d·
Discuss: Hacker News
🐫OCaml
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4