Reverse Engineering the Firmware Loader for an X-Rite Spectrophotometer
adam.zeloof.xyz·6h·
Discuss: Hacker News
💾Retro Computing
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·13h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
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·9h·
Discuss: Hacker News
🎮Verification Games
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
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
Truthish – Kotlin multiplatform unit testing library
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
User simulators bridge RL with real-world interaction
jessylin.com·9h·
Discuss: Hacker News
🔍Formal Verification
Realbasic (2000)
joelonsoftware.com·1h·
Discuss: Hacker News
💾Retro Computing
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Show HN: Credit Card Generator for Devs and Testers
news.ycombinator.com·13h·
Discuss: Hacker News
🍎Apple
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
arxiv.org·2d
⚙️Operating System Design
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·18h·
Discuss: Hacker News
🤖Program Synthesis
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·2h
✓Automated Theorem Proving
Data Science Weekly – Issue 607
datascienceweekly.substack.com·2h·
Discuss: Substack
👁️System Observability
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·13h·
Discuss: r/programming
⚙️PL Implementation
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
🎮Verification Games