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?
semi-interactively explains how TLS works, very cool
a fun way to serialize binary data to pronouncable identifiers
microforum in DNS TXT records
Interesting for tree-sitter textobjects.
sadly, doesn’t provide links, but most is googlable
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.
Microbenchmark for futexes + spinlocks and some useful links at the bottom.
Tutorial about building a self-hosting cargo-compatible build tool. I have many problems with cargo and was interested in nixifying our job builds for eternity, so maybe there’s something useful there.
Detailed explanation of futexes, including some possible pitfalls.
Category Theory Illustrated is a primer in category theory and other mathematical theories that is made to be really accessible to people with no prior exposure to the subject, without being dumbed down, by utilizing visual explanations.
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?
Book about proofs with Lean.
To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic is a book by the mathematician and logician Raymond Smullyan. It contains many nontrivial recreational puzzles of the sort for which Smullyan is well known. It is also a gentle and humorous introduction to combinatory logic and the associated metamathematics, built on an elaborate ornithological metaphor.
tl;dr: /dev/random is obsolete and /dev/urandom is strictly better except in early boot.
TIS-100 is an open-ended programming game by Zachtronics, the creators of SpaceChem and Infinifactory, in which you rewrite corrupted code segments to repair the TIS-100 and unlock its secrets. It’s the assembly language programming game you never asked for!