mike vollmer 🎃 @vollmerm@types.pl

a window in every PhD student office
reject the austerity myth

Twitter: "Hi, we're run by a cryptofascist who reinstates the accounts of literal nazis while suspending those of press. We'll keep randomly taking away features with no notice and limiting your visibility until you pay us a monthly fee, which you can only do in a handful of countries. Vaccines are bad, the election was rigged, and we love Putin!"

Mastodon: "Hi! You need to choose a server and our DM UX is a little iffy."

Users: "NEVER BEFORE HAVE I FACED A CHOICE THIS HARD"

Essentials of Compilation is published today! @mitpress

https://mitpress.mit.edu/9780262047760/essentials-of-compilation/

Join me for remote question and answer sessions on Wednesdays at 2pm EST, starting tomorrow February 22 on Zoom:
https://iu.zoom.us/j/81059188313

We are happy to announce that registration for the Midlands Graduate School, to take place in 2-6 April at the University of Birmingham, UK, is open:

https://www.cs.bham.ac.uk/~mhe/events/MGS23/

The Midlands Graduate School provides an intensive course of lectures on the Mathematical Foundations of Computing. It has run annually since 1999, and is hosted by the Universities of Birmingham, Leicester, Nottingham, and Sheffield in rotation.

#TempleUniversity deactivated my health insurance and the insurance of all striking graduate workers today, effective immediately - a move no US university has EVER taken against striking workers.

We were not informed by the university this happened - workers found out when their insurance was rejected at doctor offices or when picking up prescriptions today.

Help us put #Temple on blast for this unethical and deeply harmful behaviour by sharing this post!

#TUGSAStrike #TempleUnionMade

Want to understand the landscape of gradual typing? Greenman, Dimoulas, and Felleisen have written a 50-page TOPLAS opus on typed-untyped interactions. See blog post, then follow link to paper to read directly from the masters.
https://blog.brownplt.org/2023/02/06/typed-untyped-comparison.html

New bloggery on Whippet, the garbage collector I have been working on for the last year or so ~~ https://wingolog.org/archives/2023/02/07/whippet-towards-a-new-local-maximum

Having a conversation with @vollmerm and coming to the conclusion that the person from grad school that had the biggest effect in his research and philosophy was not his advisor or even Dan Friedman, but the weird Italian guy who lived up stairs from us for a year. Iykyk

Math is hard and I'm sad about it

"I'm using Linux. A library that emacs uses to communicate with Intel hardware.”

– Erwin, #emacs, Freenode.

Biblically accurate VLC player.

@glyph Emacs is itself a cry for help, a nostalgic yearning for a simpler time, it is 1985 suckling at the teat of 1978, the abyss gazing into its own CDR, and as the push-down list returns to the sewer, the circle of life is complete.

^X^Cnyes

take me down to parallax city where the back moves slow and the front moves quickly

Phew, final edits complete for the Python edition of Essentials of Compilation!
PDF now: https://www.dropbox.com/s/mfxtojk4yif3toj/python-book.pdf?dl=1
Pre-order for hardcover in August 2023:
https://www.amazon.com/Essentials-Compilation-Incremental-Approach-Python/dp/0262048248/?_encoding=UTF8&pd_rd_w=Qa6L5&content-id=amzn1.sym.e4bd6ac6-9035-4a04-92a6-fc4ad60e09ad&pf_rd_p=e4bd6ac6-9035-4a04-92a6-fc4ad60e09ad&pf_rd_r=XNHNP33ESX1EAQXNG46Q&pd_rd_wg=NrTF6&pd_rd_r=ef5590b5-c1e1-4da9-9130-df770fb7a334&ref_=pd_gw_ci_mcx_mr_hp_atf_m