Programming 🐻

London, England
Joined June 2010
Stephen Diehl retweeted
Just the right level of highfalutin programmer philosophy ideolalia.com/essays/composi…
1
3
6
Show this thread
Stephen Diehl retweeted
The awesome Neel Krishnaswami is looking for postdocs to work on the foundations of bidirectional type checking. If you know anyone who is looking, or will be looking for a position, tell them. More info: semantic-domain.blogspot.com…
1
20
36
Show this thread
Stephen Diehl retweeted
Will do some more @pypyproject streaming tomorrow at 19:00 UTC. Will take a small break from 3.8 and try something slightly different: going to implement a JIT for @munificentbob's Lox language in one evening! (using RPython of course, not from scratch). m.twitch.tv/pypyproject/
2
6
20
Show this thread
Stephen Diehl retweeted
Picard management tip: Even without game-changing results, experimentation is time well spent.
6
263
1,226
The Abel-Ruffini thoerem, one of the big results in Galois theory on unsolvability of quintic polynomials, formalised in Coq. github.com/math-comp/Abel
8
2
24
Stephen Diehl retweeted
A fascinating thread. Some of the information/sources used by @smdiehl in it are behind a paywall, so I'll add a few free access open-source links underneath.
Let's discuss the environmental cost of bitcoin. Because despite all the push for sustainable and green investment in the tech sector, there's a giant smoldering Chernobyl sitting at the heart of Silicon Valley which a lot of investors would prefer you remain quiet about. 🧵 (1/)
Show this thread
27
11
46
Show this thread
Block button is a getting a really good workout today. 👍
46
2
94