Joined May 2013
283 Photos and videos
Pinned Tweet
A thread of recommendations for people who want to get further into mathematics, but find most math books a little forbidding. Please comment and add your own favourites!
This is a bad take of epic proportions. It's also a perennial mental pothole that people have been falling into forever, and relevant beyond mathematics, so it might be useful digging (no pun intended) a little further...
4
6
21
Mark Hopkins retweeted
Here's a fun AI story: a security researcher noticed that large companies' AI-authored source-code repeatedly referenced a nonexistent library (an AI "hallucination"), so he created a (defanged) malicious library with that name and uploaded it. 1/
58
1,389
5,946
1,178,664
Mark Hopkins retweeted
The (:&:) dup-pattern is clever
3
1
6
1,143
Why do apparently functioning adults think that pouring gasoline on a fire is the best way of putting it out? Genuinely puzzled
245
A somewhat surreal moment just now, overhearing a bunch of working class kids half my age at the back of a night-ride bus, one drinking from a bottle of scotch (which he shared), discussing:
1
3
389
the bewildering *acceleration* of technological change in their lifetimes, the Singularity (though they did not use that word), their mounting existential dread: "Will we even be alive in three years' time, bro? I don't even know what world we'd be living in"
1
140
Replying to @hashbreaker
@hashbreaker no doubt a really obvious question, but: what are the odds of the world moving to expect proof artifacts from NIST for claimed security properties?
1
251
And follow-up: would this actually improve the current state of affairs?
1
139
So I was looking at the 3 critical open source CVE bug fixes in Android's September security bulletin, all in the Bluetooth module, and it's such a shame it hasn't all already been rewritten in Rust:
1
1
268
Hello @Mitre10: most of the links on your website appear to be broken, as is the search function.
1
169
Mark Hopkins retweeted
26 Jul 2023
Tonight: Stephen Sherratt "Llama is a new OCaml library for building software-defined audio synthesizers with a declarative EDSL... I’ll show how the library works, give a tour of its features, and then use it to turn my laptop into a musical instrument" meetu.ps/e/Mhr8H/1WgKS/i
1
151
Mark Hopkins retweeted
the recording of the ZuriHac version of my talk on delimited continuations is now online youtube.com/watch?v=DRFsodbx…

2
22
123
10,548
Thanks, ChatGPT! Even though the "RA" is duplicated — and though I don't actually *need* the mnemonic anymore — it certainly beats my earlier attempts, hands down.
1
311
In any case, *miles* better than my previous efforts, which involved "Los Angeles police chief/cars/constables", with uncomfortable overtones of brutality, corruption, discrimination, systemic civil rights violations, lack of accountability, ....
1
124
And, interestingly, if I simply ask ChatGPT for one that starts with "Los Angeles police", it offers: "LAPD Arrests Protesting Civilians, Right After Peaceful Lawfulness". Food for thought... Well, if that helps you remember your category theory, great.
105
Ten years on Twitter... Can't believe how much has changed in that time.
162
Mark Hopkins retweeted
25 May 2023
4
28
1,558