The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·9h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·16h·
Discuss: DEV
⚡Performance Tools
Cactus Language • Syntax 12
inquiryintoinquiry.com·8h
📝Concrete Syntax
What Is an AI SOC Agent? What You Need to Know About the Most Strategic Operational Imperative in Cybersecurity Today
intezer.com·6h
🎯Threat Hunting
4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·1h
🔬Binary Analysis
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
My AI Workflow for Understanding Any Codebase
steipete.me·14h
⚡Proof Automation
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·20h
🔍Concolic Testing
Simulating a neural operating system with Gemini 2.5 Flash-Lite
developers.googleblog.com·5h
🎯Emulator Accuracy
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·3h·
Discuss: Hacker News
📊Graph Databases
Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
Discuss: Hacker News
💧Liquid Types
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·1h·
Discuss: Hacker News
📟Terminal Typography
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·23m·
Discuss: Hacker News
🔤DSLs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·12h·
Discuss: Hacker News
🔗Constraint Handling
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.org·20h
📈Time Series