I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
Scriptable mutating admission hook?
reddit.com·4h·
Discuss: r/kubernetes
🎯Gradual Typing
Triple Threat: Signal's Ratchet Goes Post-Quantum
blog.quarkslab.com·4d
🔐Quantum Security
Ghosts in the Code: A Memorial Grove for Deleted AI
connectingminds.uk·1d·
Discuss: DEV, Hacker News
🏺Protocol Archaeology
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Building A Real-Time Communication System Using Go and WebSocket
dev.to·6h·
Discuss: DEV
🌐WebSocket Framing
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
The Day I Hacked XCTrack
blog.syrac.org·8h·
Discuss: Hacker News
🔐PKI Archaeology
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·19h
⚙️Compression Benchmarking
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Is DevRel Just About Events, or Something Deeper?
dev.to·13h·
Discuss: DEV
🌐Protocol Synthesis
Go + gRPC microservices (URL shortener). Looking for collaborators to improve this or start a new build.
reddit.com·22h·
Discuss: r/golang
⚡gRPC
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·22h·
Discuss: Hacker News
🔍BitFunnel
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
The Library Method: Understanding @cache
dev.to·22h·
Discuss: DEV
⚡Cache Theory
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
The Porcelain to Come
stackdiver.com·51m·
Discuss: Hacker News
🔲Cellular Automata