typical: Data interchange with algebraic data types.
github.com·6h
📋Format Specification
Building PersonaPrep: An Agentic AI Coach for Real-World Social Confidence
dev.to·7h·
Discuss: DEV
⚡Proof Automation
When should you use an actor?
massicotte.org·15h·
Discuss: Hacker News
🌐Protocol Synthesis
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·3d
🎯Performance Proofs
BlazingMQ: A modern, high-performance open message queuing system
github.com·13h·
Discuss: Hacker News
⚡gRPC
Reverse Engineering a (Toy) Fire Engine
hackaday.com·10h
🔓Reverse engineering
MeetC2 – A serverless C2 framework that leverages Google Calendar APIs as a communication channel
securityaffairs.com·1d
🔐Homomorphic Encryption
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·2d
🔗Monadic Parsing
Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·22h
⚖️Emulation Ethics
Generate but verify: Reconciling the evidence utility of chatbots in many settings with chatbots’ evident lack of understanding
statmodeling.stat.columbia.edu·1d
⚡Proof Automation
Money for Nothing, Chips for Free
phrack.org·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Algebraic Effects in Practice with Flix
relax.software·39m·
Discuss: Hacker News
✨Algebraic Effects
GoferBroke v1.0.6 First Release
reddit.com·5h·
Discuss: r/golang
🌊Apache Kafka
How to (actually) become an expert in .NET
mijailovic.net·3h·
Discuss: r/programming
🔄Reproducible Builds
Stop writing CLI validation. Parse it right the first time
hackers.pub·18h·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·9h·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Macros
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·5h·
Discuss: Hacker News
🔄Lens Laws
PEON - Prefixed Entry Object Notation
bartoszsypytkowski.com·21h
🔢Binary Formats
Django Views - The Right Way
spookylukey.github.io·15h·
Discuss: Hacker News
📝Concrete Syntax