Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·2d·
Discuss: r/programming
🛡️seL4
Neon PostgreSQL Tutorial
neon.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Free sudoku game with evil, and extreme killer difficulty levels
minisudoku.online·5h·
Discuss: Hacker News
🎮Verification Games
Debian Trixie: the 2025 flavor release
collabora.com·13h·
Discuss: Hacker News
🔬Unikernels
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·2d·
Discuss: r/programming
💾Retro Computing
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es·1d·
Discuss: Hacker News
❄️Nixified Development
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·3d·
Discuss: Hacker News
🏹Effect Systems
Building AI-Powered Payments with MCP at Cashfree Payments
tech.cashfree.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Memory is slow, Disk is fast – Part 2
bitflux.ai·5d·
Discuss: Hacker News, r/programming
👁️System Observability
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·2d
🧩Parser Combinators
O Brother, What Art Thou?
hackaday.com·10h
💾Retro Computing
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·6d
🧠Automated Reasoning
William James at CERN (1995)
bactra.org·4d·
Discuss: Hacker News
🏹Effect Systems
Pose-Free 3D Quantitative Phase Imaging of Flowing Cellular Populations
arxiv.org·2d
🐫OCaml
C++'s Greatest Flaw
harshal.is-cool.dev·5d·
Discuss: Hacker News
🔬Static Analysis
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Split Conformal Prediction in the Function Space with Neural Operators
arxiv.org·2d
🧩Parser Combinators
Linguistic Hooks: Investigating The Role of Language Triggers in Phishing Emails Targeting African Refugees and Students
arxiv.org·2d
🌐NetworkProtocols