Binding Application in Idris
andrevidela.com·8h·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
arxiv.org·2d
🔬Static Analysis
How to scale RL to 10^26 FLOPs
blog.jxmo.io·10h·
Discuss: Hacker News
🎮Verification Games
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·15h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Reverse Engineering the Firmware Loader for an X-Rite Spectrophotometer
adam.zeloof.xyz·7h·
Discuss: Hacker News
💾Retro Computing
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
arxiv.org·2d
✓Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com·10h·
Discuss: Hacker News
🔍Formal Verification
Truthish – Kotlin multiplatform unit testing library
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·17m·
Discuss: Substack
🔍Formal Verification
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arxiv.org·2d
⚙️Operating System Design
Realbasic (2000)
joelonsoftware.com·3h·
Discuss: Hacker News
💾Retro Computing
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·15h·
Discuss: Hacker News
🍎Apple
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·3h
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·4h·
Discuss: Substack
👁️System Observability