Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·5h
🧪Binary Fuzzing
SAT problems are kind of cool
blog.karanjanthe.me·2h·
Discuss: Hacker News
🧮SMT Solvers
Seriously Testing LLMs
satisfice.com·2d
🔍Concolic Testing
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
Detecting Distillation Data from Reasoning Models
arxiv.org·1d
⚙️ABNF Mining
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·5h·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Delegating the Grunt Work: AI Agents for UI Test Development
blog.scottlogic.com·2d·
Discuss: Hacker News
⚡Proof Automation
GaloisInc/parameterized-utils
github.com·17h
🧮Algebraic Datatypes
Optimizing Your Cart with Signals: Smarter State, Better Debugging
blog.appsignal.com·7h·
Discuss: Hacker News
🌊Stream Processing
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·14h·
Discuss: DEV
💧Liquid Types
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
📝Concrete Syntax
The Programmer Identity Crisis
hojberg.xyz·6h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
JSON Schema Compatibility and the Robustness Principle
yokota.blog·1d·
Discuss: Hacker News
📋Protocol Buffers
Beating the L1 cache with value speculation (2021)
mazzo.li·2d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com·7h·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blog·3h
📜Proof Carrying Code
Preventing Invalid Database Access at Compile Time
svix.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Just finished learning Go basics — confused about two different ways of handling errors.
reddit.com·15h·
Discuss: r/golang
⚖️Hoare Logic
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·26m·
Discuss: Hacker News
🔓Reverse engineering