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…
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/
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
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/)