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!
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
When you see a comment like /* XXX this is _not_ designed to be fast */
you know it's going to be good. This is certainly one way to implement wordexp
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
My calendar has had a fun and silly event marked on it for the end of 2022 for .. a while.
Four years ago I spent part of the holiday break implementing BOCU-1 (an obscure unicode encoding). Just for kicks, because it's cute and interesting.
Of course, it was patented! But the patent had a royalty-free promise associated with it and was near expiry anyway. After a year of runaround trying to get said royalty-free license (including briefly hiring a patent lawyer) I decided just to wait until the patent expired.
Last month it finally did! So I have finally published this most gratuitously delayed, expensive, tiny, mostly-useless crate: https://crates.io/crates/bocu1
(cc @manishearth possibly the only person in the world who could be interested in its content)
"I'm using Linux. A library that emacs uses to communicate with Intel hardware.”
– Erwin, #emacs, Freenode.
@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
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
Lecturer in Computing, University of Kent. FP and compilers.