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
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·10h·
Discuss: Hacker News
🛡️RISC-V Security
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·9h·
Discuss: DEV
🔍Concolic Testing
Refactoring: A way to write better Code
dev.to·3h·
Discuss: DEV
⚙️Operational Semantics
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·16h·
Discuss: r/programming
🧠Lisp Dialects
JVM stack is about to be massively modernized
medium.com·11h·
Discuss: Hacker News
🔗Dependency Resolution
A Manifesto for the Programming Desperado
github.com·13h·
Discuss: Hacker News
💻Programming languages
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·5d
🔧Hardware Verification
Control Codegen Spend
oreilly.com·1d
⚔️Lean Tactics
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·15h·
Discuss: Hacker News
🎯Performance Proofs
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org·1d
🌳Incremental Parsing
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types