Vulnerability Management – Requirements, Scoping & Target Setting
blog.nviso.eu·1d
🔐Capability Systems
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·3d
🦀Rust Macros
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·19h
📋Document Grammar
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·1d
🔍Z3 Parsing
PHP's New URI Extension
thephp.foundation·11h·
Discuss: Hacker News
🌐Web Standards
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Static Bundle Object: Modernizing Static Linking
medium.com·3d·
Discuss: Hacker News, Hacker News
🔗Static Linking