How the Lean language brings math to coding and coding to math
amazon.science·4h·
Discuss: Hacker News
🔬Lean
Attractive Metadata Attack: Inducing LLM Agents to Invoke Malicious Tools
arxiv.org·19h
⚡Proof Automation
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·2h
✨Algebraic Effects
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Why the Old Ways Are Still the Best for Most Cybercriminals
darkreading.com·9h
🎯Threat Hunting
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Why Computer Science Is No Good, Redux
cacm.acm.org·5h
🎯Performance Proofs
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·5h
💧Liquid Types
Relative Completeness of Incorrectness Separation Logic
arxiv.org·19h
🧠Separation Logic
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·12h·
Discuss: Hacker News
🌳Archive Merkle Trees
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·2h·
Discuss: Hacker News
⚡Homebrew CPUs
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·8h·
Discuss: Hacker News
🧪Binary Fuzzing
A New Concurrent ML in Guile Scheme
wingolog.org·14h·
Discuss: Hacker News
🔄Lens Laws
O3 Series vs Claude 4: Which is Better
dev.to·7h·
Discuss: DEV
🖥️Modern Terminals
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·19h
🔐Systems Hardening
DSPy Simba Explained
blog.mariusvach.com·47m·
Discuss: Hacker News
🧮SMT Solvers
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers