Viewing profile — jshholland

It's an insert-mode binding, built in by default.

There is a substantive difference between "couldn't get any users because of an error" (Nothing) and "succeeded but found no users" (Just []). But, if that really is the reason for…

We have a way to write traditional SFGs as string diagrams and an isomorphism to behaviours which respects the kind of graphical reasoning used in the blog. So you can show that tw…

I kind of agree with you (especially on "math-lite category theory" being upvoted by people who read it and feel smart for understanding it), but I think the point has slightly bee…

Not entirely a coincidence - see this paper (coauthored by the guy behind the blog in the OP): https://dl.acm.org/doi/10.1145/3290338

It's not just $5 for an accurate data point; it's $5 to convince yourself that the commitment to the goal is really real. Betting for free is very different to betting for real mon…

I also used that keyboard for a short while. Currently, I use 5 Tiles [0]. I can get to 20-30 wpm with it, which is acceptable, though not as fast as a regular keyboard. The killer…

It's probably equivalent to receiving a letter written in green ink (British perception that letters written to media in green ink are more likely to be from what I'll charitably c…

A friend had an idea to make a Twitter client that just drops half of all tweets at random. I don't think he ever got round to implementing it, but I thought it was quite a cool id…