jshholland

4 ms·

1.
by jshholland 6y ago
It's an insert-mode binding, built in by default.
2.
by jshholland 6y ago
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 Maybe [a] over [a], I'd still
3.
by jshholland 6y ago
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 two SFGs are behaviourally equivalent, or, using some more rec
4.
by jshholland 6y ago
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 been missed. The blog is a sort of side project, a po
5.
by jshholland 6y ago
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
6.
by jshholland 10y ago
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 money.
7.
by jshholland 11y ago
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 feature is that it takes up less than 10% of the screen, ra
8.
by jshholland 12y ago
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 call fringe interestts)
9.
by jshholland 12y ago
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 idea.