🔄 Protocol State Machines - abnv · Scour

Making an archer automaton

blog.adafruit.com·10h

📝Rope Editors

RFC 9924: Advanced Professional Video

rfc-editor.org·4h

📡Protocol Parsers

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·1d·

Discuss: Blogger

📊Query Optimizers

freenet.org·1d

🌍Minimal HTTP

Infrastructure as Code in Practice: What It Solves — and What It Doesn’t

hackernoon.com·1d

⚙️Configuration Languages

Network Speed Test 3.2

majorgeeks.com·12h

The middle ground between canonical models and data mesh

frederickvanbrabant.com·16h·

Discuss: r/programming

🏛️Elm Architecture

A Proof of P = NP

dev.to·2d·

Discuss: DEV

🎨Graph Coloring

eBPF Gives You Packets. Here's How We Turn Them Into Security Insights

akashmandal001.substack.com·1d·

Discuss: Substack

🌍HTTP Servers

Agree to Disagree in Agent Land

slavozard.bearblog.dev·6h

🎯Ring Buffers

an early-stage experimental programming language

solnix-lang.org·2d·

Discuss: DEV, Hacker News

🌱Minimal Languages

Witness-or-Wager: Incentive Layers for Epistemic Honesty

lesswrong.com·8h

⚖️Inference Rules

Tutorial on Agentic Engine

pori.vanangamudi.org·2d·

Discuss: r/LocalLLaMA

Domain Specific Languages

martinfowler.com·16h

🎨Domain-Specific Languages

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·22h

🧪Parser Testing

Faster than Dijkstra?

systemsapproach.org·2d·

Discuss: Hacker News

💾Cache-Oblivious Algorithms

A Note on Flat Abstract Syntax Trees

gist.github.com·1d·

Discuss: Hacker News

🌳Tree Walking

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·1d

✅Type Checking

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

📜Proof Languages

My approach to endpoint performance ranking

medium.com·7h·

Discuss: r/devops

🛡️Error Ergonomics

Loading more...