William J. Bowman @wilbowma@types.pl

The recording of the POPL 2023 talk “An Order-Theoretic Analysis of Universe Polymorphism” is already on YouTube! 🤩
https://youtu.be/bp4yvTRM3DQ
Joint work with Carlo Angiuli and @totbwf

oh sure, when the fed prints money, they’re “fixing inflation”, but when I do it, I’m “committing a felony” and “violating the HP end user license agreement”

Are you just catching up on the bonkers story about the lawyer using ChatGPT for federal court filings? This is a thread for you.

sharing because this has to be valuable information for at least one person other than me: Fallout New Vegas (including all of the DLC) is available for free on the Epic Games store until June 1st 👀​

lots of great compiler knowledge in this paper!

"Whose baseline (compiler) is it anyway?"

https://arxiv.org/pdf/2305.13241.pdf

I have a fully funded 2023 home PhD studentship at University of Nottingham School of Computer Science. If you are interested in working with me in an area related to my interests, please get in touch to discuss potential research topics. The deadline of June 30th is quite tight. Further details can be found on my teaching page:

https://stringdiagram.com/teaching/

Jane Street is now looking to hire a SECOND internal education person. This is great for CS ed as a field!

Details below. Earn more than you will as a professor. (-:

(Ask @yminsky if you have questions, I'm just boosting.)

https://www.janestreet.com/join-jane-street/position/6546786002/

okay it needs to be said, the Skyview Towers are all fucked up when you get to them because they are:

a. dramatically overengineered - the entire superstructure above the launch pad is unnecessary;
2. built under an obviously non-competitive contract with Hudson who had every incentive to enable the overly elaborate specifications and no incentive to complete delivery; and
iii. as I previously flagged, the grossly ineffective administration of Hyrulian public works that permit such wanton waste

The Whales have declared war on the Spanish Fleet.

Orcas have attacked and sunk a third boat off the Iberian coast of Europe, and experts now believe the behavior is being copied by the rest of the population. "There were two smaller and one larger...
https://jwz.org/b/yj_8

With Apple’s Advanced Data Protection enabled, your backups and many other files will get the benefit of end-to-end #encryption, better securing them against government requests, rogue Apple employees, or potential data leaks. https://www.eff.org/deeplinks/2023/05/how-enable-advanced-data-protection-ios-and-why-you-should

Prof. Julia Steinberger reports
that for 3 full days the EU parliament hosted thousands of scientists, activists and policy-makers charting a future beyond growth, but says every single journalist there she spoke to said, "my editor refuses to print any story critical of economic growth."
She is asking people to spread the word about this.
https://threadreaderapp.com/thread/1659429887751405569.html
#beyondgrowth #beyondgrowth2023

“Generate Compilers from Hardware Models!” by Smith et al. https://arxiv.org/abs/2305.09580

just 2 pages but packs a lot of punch, especially for any #fpga folks out there

"Testing a Formally Verified Compiler"

https://hal.science/hal-04096390/document

I have an entire mail folder dedicated to companies that have been reaching out to me about this since ~2017. The pay is good! I find amusing the subtle ways they convey the *real* expectation. (And no, I have no intention of doing it.)

https://www.propublica.org/article/college-high-school-research-peer-review-publications