📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Feeds to Scour
SubscribedAll
Scoured 19431 posts in 147.5 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
Explainer: XPC
eclecticlight.co·8h
🔐CBOR
Safe, Fast, and Scalable: Why gRPC-Rust Should Be Your Next RPC Framework
youtube.com·2d·
Discuss: r/rust
⚡gRPC
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·55m
🦀Rust Macros
ArthurHeymans/emacs-tramp-rpc: High-performance TRAMP backend using JSON-RPC instead of shell parsing
github.com·14h·
Discuss: Lobsters, Hacker News
⚡gRPC
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·15h
✅CDDL Validation
Codified Finite-state Machines for Role-playing
arxiv.org·1d
🔄Finite State Machines
I struggled with system design until I learned these 114 concepts
newsletter.systemdesign.one
·2h
💾Persistence Strategies
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
FOSDEM 2026
hack.org·17h
🔓Open Source Software
MCP Transport: Architecture, Boundaries, and Failure Modes
pgedge.com·1d·
Discuss: Hacker News
⚡gRPC
Teleportal: A real-time collaborative editing framework
pckt.blog·1d·
Discuss: Hacker News
🌊Streaming Systems
Go 1.22, SQLite, and Next.js: The "Boring" Back End
mohammedeabdelaziz.github.io·5h·
Discuss: Hacker News
🌊Streaming Databases
Let Lambda Come Over
yamlscript.org·11h
⬆️Lambda Lifting
A Tale of Two Standards, POSIX and Win32 (2005)
samba.org·5h·
Discuss: Hacker News
🐚Nordic Shell
The control layer for AI
blog.dottxt.ai·17h·
Discuss: Hacker News
🔒WASM Capabilities
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·22h·
Discuss: Hacker News
⏰Time Crystals
Implementing gRPC.
github.com·1d·
Discuss: DEV
⚡gRPC

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help