Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🔤Type Theory
Saleae Analyzer for the BDM protocol
zetier.com·9h
🔬Binary Analysis
how to decide on the sequence of computable numbers
academia.edu·5h·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·18h·
Discuss: Hacker News
📄Text Chunking
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·4h·
Discuss: DEV
🤝Consensus Algorithms
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
55 Months, 1 Day
satisfice.com·15h
⚙️Proof Engineering
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+
Swift Concurrency's Biggest Unintuitive Gotchas
blog.jacobstechtavern.com·1d
📞Session Types
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
💧Liquid Types
AGENTS.md gets it wrong in 2 ways
joshwand1.substack.com·4h·
Discuss: Substack
⚡Proof Automation
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·19h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
How to Create Powerful LLM Applications with Context Engineering
towardsdatascience.com·2d·
Discuss: r/LLM
🔗Constraint Handling
Fuzzing Hardware Like Software (2021)
arxiv.org·1d·
Discuss: Hacker News
🧪Hardware Fuzzing
Dyna – Logic Programming for Machine Learning
dyna.org·4d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·4h
📋Document Grammar