Session Types, Communication Safety, Distributed Systems, Type-driven Development
Decoding TCP SYN for stronger network security
blog.apnic.net·3h
What's up Python? Mypy gets better, uv faster, FastApi easier, Emscripten formal...er
bitecode.dev·2d
Arti 1.4.5 is released: Continued work on xon-based flow control, Conflux.
blog.torproject.org·1d
Maximizing Leverage in Software Systems
bencornia.com·2d
Elm as target language for vibe coding
interjectedfuture.com·1d
Accelerate learning with GitLab Duo Agent Platform
about.gitlab.com·2d
Structured Concurrency: Hierarchical Cancellation & Error Handling • James Ward • GOTO 2024
youtube.com·4d
Loading...Loading more...