Cross-Site Request Forgery
words.filippo.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🌐NetworkProtocols
Discpline Is Not the Problem
dhirajtourani.com·2d·
Discuss: Hacker News
➡️Category Theory
Marc Andreessen's 'Cold War' Warning: U.S. Must AI Race
sovereignnations.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Nexus: An Open-Source AI Router for Governance, Control and Observability
nexusrouter.com·3d·
Discuss: Lobsters, Hacker News, r/LLM
📦Unikernel Systems
Answering the BfDI's questions on personal data in LLMs
desfontain.es·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Aligning our prices and packaging with the problems we help customers solve
blog.cloudflare.com·4d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Not My Torment Nexus
scottkosman.com·4d·
Discuss: Hacker News
🧗Climbing Tech
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Just built a tool that turns any app into a windows service - fully managed alternative to NSSM
reddit.com·6d·
Discuss: r/programming
👁️System Observability
A Simple Model of Online Platform Enshittification
apoorvalal.github.io·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rustroid - The Rust IDE that runs locally on your Android phone.
reddit.com·5d·
Discuss: r/programming
❄️Nixified Development
Ngrok – Your Localhost’s Passport to the Internet
reddit.com·5d·
Discuss: r/programming
🌐NetworkProtocols
Seeing Like an LLM
blog.continua.ai·5d·
Discuss: Hacker News
🛡️seL4
Adaptive Confidence-Wise Loss for Improved Lens Structure Segmentation in AS-OCT
arxiv.org·2d
🐫OCaml
Requiem for a 10x Engineer Dream
architecture-weekly.com·4d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Sacred or Synthetic? Evaluating LLM Reliability and Abstention for Religious Questions
arxiv.org·2d
🔍Formal Verification
Gradient-Direction-Aware Density Control for 3D Gaussian Splatting
arxiv.org·1d
💾Retro Computing
Strategies of Code-switching in Human-Machine Dialogs
arxiv.org·3d
💻CS
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·2d
🏹Effect Systems
The GPT-5 rollout has been a big mess
arstechnica.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving