I Outline Everything
literallythevoid.com·45m·
Discuss: Hacker News
➡️Category Theory
Perl 5.42 Released - Still Going Strong
i-programmer.info·2d·
Discuss: r/programming
⚙️PL Implementation
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·11h·
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·22h·
Discuss: Hacker News
🔄Reproducible Builds
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
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
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml