REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
Perl 5.42 Released - Still Going Strong
i-programmer.info·1d·
Discuss: r/programming
⚙️PL Implementation
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·10h
🔍Formal Verification
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·1d·
Discuss: Hacker News
🔤DSLs
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·10h
🔍Formal Verification
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·19h·
Discuss: Hacker News
🛡️seL4
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·21h
🏹Effect Systems
Monitoring My Homelab, Simply
b.tuxes.uk·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🛡️seL4
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Bitter Lesson (2025)
artfintel.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
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·17h·
Discuss: Hacker News
🔄Reproducible Builds
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4