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 bunch of domains owned by webshell authors expired, leaving backdoors in the webshells up for grabs
an extremely based frontend manual from the GOV.UK
a really interesting exploration of interpreter design, a lot of repls and thoughts on various coroutines
a fun way to serialize binary data to pronouncable identifiers
Has some interesting features like “View HIR”, grouped code actions and failed test diagnostics.
Probably useful if I ever run out of disk space.
A fascinating tale about network problems.
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.
Variables are the trickiest part of lambda calculus. And naming is the trickiest part of variables: the most complex code in our lambda evaluator is the part that renames variables to perform capture-avoiding substitutions.
Names are artificial tedious tags whose sole purpose is to aid human comprehension. Can we get rid of them? There ought to be a way to study computation without naming names.
Book about proofs with Lean.
Analyze how a Git repo grows over time
See how I use it:
In this blog post we explore how to write a type level contains operation for HList inspired type lists without running into overlapping trait implementations
Explanation of provenance, uninitialized memory and stuff like that. Useful as an entry point into realization that we don’t live in PDP-11 world anymore.
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.
If you're curious about rainbows, colorimetry, gamma encoding, and experiments run in the late 1920s, then this is the post for you!
An example of false sharing in real-ish workload.