Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·1d
🔲Cellular Automata
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·15h·
Discuss: Hacker News
⚙️Proof Engineering
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Running new applications on old glibc
lightofdawn.org·1d·
Discuss: Hacker News
🔗Static Linking
Implementing ZADD If Key Exists
rozumem.xyz·17h·
Discuss: Hacker News
⚡Redis Internals
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.com·1d
🔄Archival Workflows
People rescuing forgotten knowledge trapped on old floppy disks
bbc.com·10h·
Discuss: Hacker News
📼Cassette Archaeology
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
Cactus Language • Semantics 3
inquiryintoinquiry.com·7h
🔢Denotational Semantics
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·15h
📞Session Types
Building the Reasoning Engine at Axiom
axiommath.ai·3h·
Discuss: Hacker News
⚔️Lean Tactics
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
10 Data + AI Observations for Fall 2025
towardsdatascience.com·9h
🌊Stream Processing
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros