Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·4h·
Discuss: Hacker News
🧬Bitstream Evolution
GoLang Generics: Practical Examples to Level Up Your Code
dev.to·1d·
Discuss: DEV
💧Liquid Types
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·1h
🌀Differential Geometry
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·1h
📝Concrete Syntax
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
PRvL: Quantifying the Capabilities and Risks of Large Language Models for PII Redaction
arxiv.org·1d
🌀Brotli Internals
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·1d
🔗Functional Compilers
How Confident Are You, ChatGPT?
aylinakkus.github.io·5h·
Discuss: Hacker News
⚡Proof Automation
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·3d·
Discuss: Hacker News
🌐Protocol Synthesis
What It’s Like to Brainstorm with a Bot
newyorker.com·6h
🔲Cellular Automata
AI Kill Chain in Action: Devin AI Exposes Ports to the Internet with Prompt Injection
embracethered.com·1d
🧪Protocol Fuzzing
Automated Consent Workflow Optimization via Dynamic Causal Inference & Reinforcement Learning
dev.to·13h·
Discuss: DEV
🤖Archive Automation
Running a Reliable Service on LLMs
fin.ai·1h·
Discuss: Hacker News
🌊Streaming Systems
Lobsters Interview with Hwayne
lobste.rs·18h·
Discuss: Lobsters
⚔️Lean Tactics
HTTP is not simple
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🌐Web Standards
Philosophy of Information
plato.stanford.edu·1d·
Discuss: Hacker News
📡Information theory
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
A subtle bug with Go's errgroup
gaultier.github.io·8h·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Static vs Dynamic
theprogrammersparadox.blogspot.com·22h·
Discuss: theprogrammersparadox.blogspot.com
🏗️Compiler Archaeology
I dove into Go's runtime to see how channels really work under the hood — here’s what I found
medium.com·1d·
Discuss: r/golang
🌐WebSocket Framing