Saleae Analyzer for the BDM protocol
zetier.com·10h
🔬Binary Analysis
Project Euler
projecteuler.net·13h·
Discuss: Hacker News
📊APL Heritage
Colorado River Running Out of Water
oilprice.com·9h·
Discuss: Hacker News
🌡️Preservation Thermodynamics
Stream Integration
feldera.com·2d·
Discuss: Hacker News
🌊Stream Processing
MOHAF: A Multi-Objective Hierarchical Auction Framework for Scalable and Fair Resource Allocation in IoT Ecosystems
arxiv.org·5h
🤝Consensus Algorithms
Many-notes: Markdown note-taking web application designed for simplicity
github.com·6h·
Discuss: Hacker News
💾Database Formats
Rewriting Modulo Traced Comonoid Structure
arxiv.org·5h
🔄Graph Rewriting
Teaching: A Few Useful Analogies
jonathandinu.com·16h·
Discuss: Hacker News
📚Proof Pedagogy
We Needed Better Cloud Storage for Python So We Built Obstore
developmentseed.org·2d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Show HN: Web Agent Memory Protocol (WAMP) – Building Shared Memory for the Web
web-agent-memory.github.io·1d·
Discuss: Hacker News
🔗Hypermedia APIs
Show HN: I replaced vector databases with Git for AI memory (PoC)
github.com·3h·
Discuss: Hacker News
🌿git
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.org·2d
🕸️Algebraic Topology
LLM-D, with Clayton Coleman and Rob Shaw
sites.libsyn.com·20h
⚙️Proof Engineering
You Can Build Better AI Agents in Java Than Python
medium.com·23h·
Discuss: Hacker News
⚡Proof Automation
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·21h·
Discuss: Hacker News
🔩Systems Programming
A mathematical paradox allows infinite cloning
quantamagazine.org·2d·
Discuss: Hacker News
🏗️Constructive Mathematics
Mathematical proof concerning the additivity problem of nonlinear normalized citation counts
arxiv.org·5h
📊Citation Graphs
Cerbos vs OPA: comparing policy language, developer experience, performance, and scalability (useful if you are evaluating authorization for Kubernetes)
cerbos.dev·1d
🔌Interface Evolution
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·8h·
Discuss: Hacker News
⚡Proof Automation
Optimizing Memory Allocation in Go: Small and Large Objects Made Simple
dev.to·1d·
Discuss: DEV
🧠Memory Allocators