tiferrei's Top FindsLoading...
How to Use Antlr Pattern Matching
tomassetti.me·1d·
Discuss: Hacker News
🔬Static Analysis
'Like a master Tetris player': Scientists invent quantum virtual machines — they'll slash turnaround times from days to hours
livescience.com·1d·
Discuss: Hacker News, r/technews
🔬Unikernels
Most RAG Setups Are Broken — Here’s How to Fix Yours
javarevisited.substack.com·16h·
Discuss: r/programming
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·4h·
Discuss: Hacker News
How I Used Test Techniques on Chatbots
spin.atomicobject.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·15h·
Discuss: Hacker News
Buttercup is now open-source!
blog.trailofbits.com·1d·
Discuss: Hacker News
📦Unikernel Systems
PEP 802: Display Syntax for the Empty Set
peps.python.org·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
The Pink Elephant Problem: Why "Don't Do That" Fails with LLMs
eval.16x.engineer·1d·
Discuss: Hacker News
🛡️seL4
Indie App Spotlight: ‘OnlyFlights’ is a simple flight tracker for your iPhone
9to5mac.com·6h
🍎Apple
Beyond the hex dump: source-synced data visualization for reverse-engineers (cosin2025)
cdn.media.ccc.de·2d
💾Retro Computing
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Detect threats like never before (WHY2025)
cdn.media.ccc.de·9h
🛡️seL4
Evaluating the GPT-5 Series on Custom Benchmarks
labelstud.io·1d·
Discuss: Hacker News
🧪Property-Based Testing
Why Context Architecture Beats Prompt Engineering. The Precursor Manifesto
medium.com·10h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me·3d·
Discuss: Hacker News
🎮Verification Games
libsemigroups: C++ library for semigroups and monoids
github.com·4d·
Discuss: Hacker News, r/cpp
➡️Category Theory
TypeScript 5.9 Brings Less Friction, More Features
thenewstack.io·12h
📦Unikernel Systems
A step towards infinite storage? (WHY2025)
cdn.media.ccc.de·4h
🔬Unikernels
ESP32 Bus Pirate 0.5 – A Hardware Hacking Tool That Speaks Every Protocol
github.com·11h·
Discuss: Hacker News