herman permafrost
@thistlesticks66
Followers
52
Following
2K
Media
4
Statuses
32
rates vol quant @ split-ticketing dot com
London
Joined July 2022
PSA: 'fighting fire with fire' is not actually what firefighters do, and in fact is considered bad fire safety advice in most situations.
0
0
4
just learned about recency bias and its my favorite thing ever
276
11K
145K
I have tried and tried to explain my doctoral dissertation to a 5 year old but they have obstinately refused, denying me the certificate of true understanding.
5
30
444
tidying a mess which is already in your possession https://t.co/O1hBOlf5uA
0
0
0
"OO doesn't scale down" https://t.co/xVdntwjwoc
@JeffGraham15 @JM0x5C @paul_snively @vbhvsgr @racketlang I can't improve on the phrase someone said to me about 15-20 years ago at, ironically, an OO conference. I said the problem with OO is that it doesn't scale up: not so clearly useful when programs get over, say, 10k/100k LOC. He said, "OO doesn't scale down". »
1
0
1
@ShriramKMurthi @PTOOP reversing a list as 'motivation' for property-based testing https://t.co/Uo5WuOUHnI
Every time someone uses reversing a list twice to demonstrate property-based testing, I take a drink. No, this isn't a drinking game, I'm just being driven to drink by bad examples.
2
0
1
@ShriramKMurthi "What’s a good example of a coinductive structure? Not bloody streams, that’s for sure: they’re like picking natural numbers as an example of inductive datatypes — disingenuously simple in a way that must be overcome to achieve learning." - @PTOOP
https://t.co/dpHysDewR3
pigworker.wordpress.com
This is a topic I need to page back in, so I thought I’d pick it up today, even though my thinking on the topic is linked both with observational type theory and with local time for recursion…
1
0
2
"How Not to Teach Recursion" by @ShriramKMurthi
https://t.co/Ojpvzd073E
1
0
1
collecting thoughts on the use of motivating examples (and their opposite) for learning things:
1
0
1
me, dismissive of The West Wing's directing style: Tommy Schlamme—Schlamme Schlamme.
I am dismissive of fancy-shmancy. Fancy-shmancy—shmancy-shmancy.
0
0
8