Methodological Sources of Reversible Computation
dev.toΒ·20mΒ·
Discuss: DEV
πŸ”ΆLattice Theory
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.comΒ·15hΒ·
Discuss: r/golang
πŸ“žSession Types
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.ioΒ·11h
πŸ”—Hash Algorithms
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgΒ·14h
πŸ—‚οΈType Indexing
Flag this post
Show HN: Agent Network Protocol (ANP)，Similar to an A2A
github.comΒ·22hΒ·
Discuss: Hacker News
πŸ“‘Network Serialization
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
dev.toΒ·5hΒ·
Discuss: DEV
🌍Minimal HTTP
Flag this post
Where "Simulation" Came From
decomposition.alΒ·2dΒ·
Discuss: Hacker News
πŸ”Type Inference
Flag this post
Julia for Microcontrollers and Embedded Environments
joel.idΒ·2hΒ·
Discuss: Hacker News, r/programming
πŸš‚Cranelift Backend
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·16hΒ·
Discuss: Hacker News
βœ…Type Checking
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.comΒ·2d
πŸ“ˆMonotonic Logic
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.devΒ·1dΒ·
Discuss: Hacker News
πŸ’¬Interactive REPLs
Flag this post
10000
jro.sgΒ·23h
πŸ“¦Executable Size
Flag this post
CBOR vs. the Other Guys
cborbook.comΒ·4dΒ·
Discuss: Hacker News
πŸ“‘Protocol Buffers
Flag this post
A Pattern Language for Pattern Languages
mcqn.netΒ·12h
πŸ“‹Backus-Naur Form
Flag this post
EP190: Cloudflare vs. AWS vs. Azure
blog.bytebytego.comΒ·19h
🌍Minimal HTTP
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.proΒ·1dΒ·
Discuss: Hacker News
πŸ“‘Protocol Parsers
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
ueber.netΒ·1dΒ·
Discuss: Hacker News
πŸ“‘Network Serialization
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.phΒ·1d
πŸ”’Bit Manipulation
Flag this post
Parallel Threads in Racket v9.0
blog.racket-lang.orgΒ·2hΒ·
Discuss: Lobsters, Hacker News
πŸ”„Coroutines
Flag this post
The One Algorithm That Makes Distributed Systems Stop Falling Apart When the Leader Dies
medium.comΒ·1dΒ·
Discuss: Hacker News, r/programming
πŸ•ΈοΈP2P Protocols
Flag this post