Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·15h
✅Archive Validation
Relative Completeness of Incorrectness Separation Logic
arxiv.org·18h
🧠Separation Logic
Python isdigit vs isnumeric
dev.to·2h·
Discuss: DEV
✅Format Validation
How the Lean language brings math to coding and coding to math
amazon.science·4h·
Discuss: Hacker News
🔬Lean
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·1d·
Discuss: DEV
🚚Data Migration
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·4h
💧Liquid Types
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·7h·
Discuss: Hacker News
🧪Binary Fuzzing
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·9h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Be Careful with Go Struct Embedding
mattjhall.co.uk·22h·
Discuss: Hacker News
🔧Binary Parsing
A safer memcpy with very limited use cases
subethasoftware.com·4d
🧪Binary Fuzzing
Why Computer Science Is No Good, Redux
cacm.acm.org·5h
🎯Performance Proofs
The hiring test that defeated AI
bitecode.dev·7h·
Discuss: Hacker News
✅Shell Verification
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·1h·
Discuss: Hacker News
⚡Homebrew CPUs
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·18m·
Discuss: Hacker News
🦀Rust Macros
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory