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·5h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·11h·
Discuss: DEV
⚡Performance Tools
Cactus Language • Syntax 12
inquiryintoinquiry.com·3h
📝Concrete Syntax
Explaining software and computational methods
blog.khinsen.net·19h
📝Concrete Syntax
What Is an AI SOC Agent? What You Need to Know About the Most Strategic Operational Imperative in Cybersecurity Today
intezer.com·1h
🎯Threat Hunting
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·15h
🔍Concolic Testing
Simulating a neural operating system with Gemini 2.5 Flash-Lite
developers.googleblog.com·54m
🎯Emulator Accuracy
Why Dyad?: A Perspective for Modelica Users
juliahub.com·5h·
Discuss: Hacker News
💧Liquid Types
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
PEGTL -- Parsing Expression Grammar Template Library
github.com·20h·
Discuss: Hacker News
🔗Parser Combinators
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.org·15h
📈Time Series
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·12h
⬆️Lambda Lifting
How I ended up building hydractrl
d17e.dev·1d·
Discuss: Hacker News
📼Retro Games
Threaded Code
muforth.dev·9h·
Discuss: Hacker News
🦀Rust Macros
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic