LLMs and Algorithmic Trading
architect.co·14h·
Discuss: Hacker News
🐫Embedded OCaml
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
DeCSS (2000)
decss.zoy.org·2d·
Discuss: Hacker News
❄️Nix
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Phishing for Gemini: Google Gemini G-Suite Prompt Injection Vulnerability
0din.ai·1d·
Discuss: Hacker News
🛡️seL4
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
🔬Static Analysis
Systemd's Nuts and Bolts
medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
CVE-2025-5777: CitrixBleed 2 Exploit Deep Dive
horizon3.ai·4d·
Discuss: Hacker News
👁️System Observability
$BTC Bitcoin White Paper Annotated
bitcoinpaper.tech·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reasonable Security Practices for Home Use?
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·1d
🎮Verification Games
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·4d
➡️Category Theory
Why can't anything in open source work following the instructions.
reddit.com·23h·
Discuss: r/homelab
📦Unikernel Systems
Bastille 1.0 – Bastille Day 2025
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
RFID Reader for Raspberry Pi: Reads RDIF cards and sends a request to the configured webhook
github.com·1d·
Discuss: r/programming
📡Network Protocol Design
Cache Benchmarks
github.com·6h·
Discuss: Hacker News
👁️System Observability
Decentralized Protocols Are Soft Targets for North Korean Hackers
coindesk.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·1d
✓Automated Theorem Proving
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·3d
🔄Reproducible Builds