Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🔤Type Theory
What it took to make a multi-agent trading simulation durable and observable
union.ai·2h·
Discuss: Hacker News
⚡Proof Automation
Saleae Analyzer for the BDM protocol
zetier.com·14h
🔬Binary Analysis
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2h
✨Effect Handlers
how to decide on the sequence of computable numbers
academia.edu·10h·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·2h
🛡️CLI Security
No More ‘Ship and Pray’: Testing SaaS Billing Systems with Playwright & Stripe Test Clocks
hackernoon.com·1d
🌊Stream Processing
Scalable Digital Twin Synchronization via Hierarchical Causal Graph Optimization
dev.to·10h·
Discuss: DEV
🤝Consensus Algorithms
Sapir-Whorf does not apply to Programming Languages
buttondown.com·18m
💻Programming languages
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
CodeSOD: Copy of a Copy of a
thedailywtf.com·1d
🌲B-tree Forensics
Modelling Exactly-Once Delivery Using TLA+
medium.com·3d·
Discuss: Hacker News
⚙️TLA+
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·1d·
Discuss: Hacker News
📄Text Chunking
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
💧Liquid Types
How To Tame Alert Fatigue With Time Series Databases
thenewstack.io·2d
📈Time Series
Structured (Synchronous) Concurrency
fsantanna.github.io·2d·
Discuss: Lobsters, Hacker News
📞Session Types
Building a Regex Engine
abstractsyntaxseed.com·1d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
AGENTS.md gets it wrong in 2 ways
joshwand1.substack.com·10h·
Discuss: Substack
⚡Proof Automation
Vif, a new webframework for OCaml 5
discuss.ocaml.org·28m·
Discuss: Hacker News
📝ABNF Parsing
How to Create Powerful LLM Applications with Context Engineering
towardsdatascience.com·2d·
Discuss: r/LLM
🔗Constraint Handling