Tobin Baker

173 Followers
145 Following
3.3K Posts

database, concurrency nerd

I barely speak for myself, let alone my employer

that said, fuck authoritarians

LocationCascadia
Showed 9yo the “Josephus problem” from Concrete Mathematics and he’s like “that’s my kind of word problem!”
Getting old apparently means tossing the football for 10 minutes then being flat on your back for half an hour

This is an embarrassingly dumb question but why not just XOR the inputs here and apply the hash() function instead of a separate mix() function?

https://www.pcg-random.org/posts/developing-a-seed_seq-alternative.html#multiplyxorshift

Developing a seed_seq Alternative

Fixing the problems we found in std::seed_seq.

PCG, A Better Random Number Generator
antiwar right: a million brown lives aren't worth a drop of white blood
antiwar left: killing humans is bad
It's weird to me that SSH agent forwarding doesn't seem to work out of the box for persistent session managers like tmux (I'm currently using zmx but it doesn't seem to work anywhere). Like, isn't say using GitHub with SSH auth from within your tmux session kind of a common scenario? Or am I missing something obvious?
We made a comic about textbooks.
abstractions should be written in blood

I generally like the fish shell so it’s a bummer that process substitution doesn’t really work (psub is unfixably broken).

https://github.com/fish-shell/fish-shell/issues/1786

Process substitution, the other way around · Issue #1786 · fish-shell/fish-shell

diff (sort a.txt|psub) (sort b.txt|psub) is the most well known example of process substitution, but it's supposed to work the other way around too. Bash: $ xxd -l 20 -p /dev/random | tee >(cat 1>&...

GitHub
Israel Thought It Could Spur Rebellion Inside Iran. That Hasn’t Happened.

President Trump’s hopes that an Israeli plan to ignite an internal uprising against Iran’s theocratic government could bring the war to a swift end have so far been dashed.

The New York Times
Just rewatched the intro to “Beavis and Butthead Do America” after 30 years and it captures our timeline pretty well