Loose Ends

 

My daughter Leora Wadler is directing and producing a play, Loose Ends.

Four strangers from differing classes and backgrounds attempt to drink and make merry on their last night in halls against the backdrop of a missing girl – but each of them are carrying secrets.

Hope Street Theatre, Liverpool, 7.30pm, Thursday 4 and Saturday 6 August. 

Should PLDI join PACMPL?

Via a tweet, the PLDI steering community is asking whether PLDI should join PACMPL. Have your say! (My vote is yes.) 

Should @pldi join ICFP, OOPSLA and POPL in publishing its proceedings in the PACM-PL journal? The PLDI Steering Committee would appreciate your views. Please complete this short survey before the end of Thursday 16 June (AoE): https://forms.office.com/r/HjwYvq1CGw

No, No, No

How to say no, a collection of templates that answer "no" to any possible question.

Maker's schedule, manager's schedule, an essay by Paul Graham explaining that meetings for makers and managers have very different costs.

Here's what it costs to say yes, an essay by Ryan Holiday to explain his calendar anorexia.

The last of these quotes Seneca:

No person would give up even an inch of their estate, and the slightest dispute with a neighbor can mean hell to pay; yet we easily let others encroach on our lives—worse, we often pave the way for those who will take it over. No person hands out their money to passers-by, but to how many do each of us hand out our lives! We’re tight-fisted with property and money, yet think too little of wasting time, the one thing about which we should all be the toughest misers.

Object-Oriented Programming — The Trillion Dollar Disaster

 

Elixir engineer Ilya Suzdalnitski explains from the perspective of an engineer who has used both why he prefers functional programming to object-oriented programming systems. OOPS!

How to Speak

A master class from Patrick Winston of MIT on how to present ideas clearly. Chockfull of useful advice, much of which I've not seen elsewhere. Recommended.

Vote!

It's time once again! The below is copied from https://www.gov.uk/register-to-vote. The site is easy to use and registration takes less than five minutes. I'll be voting for the Scottish Green Party.

Deadline for registering to vote in the 5 May 2022 elections

Register by 11:59pm on 14 April to vote in the following elections on 5 May:

• local government, combined authority mayoral, mayoral and parish council elections in England
• local government and community council elections in Wales
• Northern Ireland Assembly election

Register by 11:59pm on 18 April to vote in the local government elections in Scotland on 5 May.

Who can register

You must be aged 16 or over (or 14 or over in Scotland and Wales).

You must also be one of the following:

• a British citizen
• an Irish or EU citizen living in the UK
• a Commonwealth citizen who has permission to enter or stay in the UK, or who does not need permission
• a citizen of another country living in Scotland or Wales who has permission to enter or stay in the UK, or who does not need permission

Check which elections you’re eligible to vote in.

You can vote when you’re 18 or over. If you live in Scotland or Wales, you can vote in some elections when you’re 16 or over.

You normally only need to register once - not for every election. You’ll need to register again if you’ve changed your name, address or nationality. 

Register online

It usually takes about 5 minutes.

Start now

Haskell in Production

 

Serokell has a series of posts on Haskell in Production. Spotted by Alex Wasey. Thanks, Alex!

Programming language to the stars

TIL that my students can choose among about forty different firms interested in hiring Haskell programmers. Among them is Co-Star, a firm that provides horoscopes to millions of users, which has put up a page detailing why they choose Haskell over other languages. Thanks to Alex Wasey and Dylan Thinnes for the pointer. 

Optics vs Lenses, Operationally

 

A great blog post by Bruno Gavranović, with a clear and beautifully illustrated explanation of why lenses and optics are equivalent denotationally, but optics are superior operationally. There is also a video of a corresponding talk.

Gödel, Animated

 

A five-minute primer on Gödel and incompleteness, courtesy of Marcus du Sautoy and TED-Ed. While not named, the fellow in the hat disgruntled by the discovery is clearly Hilbert.