I Outline Everything
literallythevoid.com·2h·
Discuss: Hacker News
➡️Category Theory
Perl 5.42 Released - Still Going Strong
i-programmer.info·2d·
Discuss: r/programming
⚙️PL Implementation
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·17h
🔍Formal Verification
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Pure Rust cryptography is better than raw performance
kerkour.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·1d·
Discuss: Hacker News
🛡️seL4
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·1d
🏹Effect Systems
Monitoring My Homelab, Simply
b.tuxes.uk·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
The Bitter Lesson (2025)
artfintel.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
A Collection of System Prompts for Agentic Code Review
awesomereviewers.com·5d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🤖Program Synthesis
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·2h·
Discuss: Hacker News
👁️System Observability
C++ with no classes?
pvs-studio.com·2d·
Discuss: r/cpp, r/programming
🐫OCaml
Basic Computations in Fault Tree Analysis
arxiv.org·2d
👁️System Observability
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org·2d
🧪Property-Based Testing