🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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
Loading...
Loading more...
« Page 4
•
Page 6 »