Place where goldstein dumps his links so she doesn’t have 500 tabs ever again.
Tags are structured like this:
is- tags are about medium. Books, papers, blog posts, interactive explanations etc.
about- tags are about about. What’s this post topic or what’s this project is/for.
to- tags are about reason. Why did I even save this?
for- tags are about connections. Where can I use it?
A bottom-up, animated guide to HTTP load balancing algorithms.
Something about tying abstract models to Rust programs, looks useful.
Looks super cool, I’ll have to remember it when I next need to do network diagnostics.
A nice explanation of async that’s not about “threads slow”, but rather about how async as an abstraction emerges from sensible design decisions.
The Rust language has incrementally grown a set of patterns to support control-flow effects including error handling, iteration, and asynchronous I/O. In The registers of Rust, boats lays out four aspects of this pattern shared by Rust’s three effects. Today these effects are typically used in isolation, or at most combined in bespoke ways, but the Rust project has been working on ways to integrate them more deeply with each other, such as async gen blocks.
The theory of algebraic effects and handlers has explored this design space and offers answers to many of the questions that the Rust project has encountered during this work. This post will relate the patterns employed by Rust to the terminology and semantics of effects, to help build a shared vocabulary and understanding of the implications of combining multiple effects.
Review of many different software vulnerabilities caused by obscure undertested (mis-)features.
A modern web browser is the software equivalent of Gabriel’s Horn. Finite volume, but infinite attack surface.
The generic dilemma is this: do you want slow programmers, slow compilers and bloated binaries, or slow execution times?
No generics / monomorphization / dynamic dispatch
About why free functions are important. I find verb/noun framework from this article quite useful.
The Go standard library’s net.IP type is problematic for a number of reasons. We wrote a new one.
This post explores some problems with Go’s “simplicity by design”: introducing a better IP type that’s also interoperable with the language proves to be a non-trivial challenge.
Distributed Proofreaders provides a web-based method to ease the conversion of Public Domain books into e-books. By dividing the workload into individual pages, many volunteers can work on a book at the same time.
Faster and simpler git rebase.
a whirlwind tour through the guts of the system
Dungeons and Dragons, but about philosophy.
Up for a challenge and love programming? Well it seems that Bots Are Stupid might be a good fit for you. An ultra-precise platformer where you don't directly control things — what could possibly go wrong?
Fourier transforms are a tool used in a whole bunch of different things. This is a explanation of what a Fourier transform does, and some different ways it can be useful.
A free book about atomics and locks that also serves as a nice cheatsheet for x86_64, aarch64 and futexes.
A lot about sockets, syscalls and bits