I'm starting a new group at Brown w/ @ShriramKMurthi and @KathiFisler called the Cognitive Engineering Lab. We build tools to make you smarter, grounded in cognitive science and programming language theory. And we're hiring PhD students!

I'm going to need a tutorial. https://t.co/V8VfYtUjJv

People who complain "CS students today don't even take X!": do you know how much CS has grown? I pulled up the @BrownCSDept course list and marked in yellow all courses that did NOT exist ~20y ago (when many grumblers graduated). YMMV, but there are way, WAY more things to learn.

Sir Antony Hoare FRS is awarded the Royal Medal for revolutionising computer programming, and for the development of "Hoare logic" that has paved the way for provably correct code, providing a robust framework for ensuring software reliability. #RSMedals https://t.co/RKul8yoo5s

@TheOfficialACM @GernotHeiser @UNSW @htuch314 @Google @ETH_en @Qualcomm @DVC_Peradeniya @tobycmurray @UniMelb Chapeau, @gernotheiser, @tobycmurray, et al!

Congratulations to @mans_bernard Professor Bernard Mans who has contributed 25 years of service to @MQSciEng @Macquarie_Uni

Gonna drop this line at the next team meeting next time I have experiments that don't work

Congratulations to the team from @MQ_WP and @MQSciEng, awarded almost $1m in funding for the Girls to Graduates project, which delivers a cohesive, integrated & sustainable approach to addressing under-representation of girls & women from equity backgrounds in STEM #womeninSTEM

We celebrated #IWD 2023 Computing’s Lecturer Charanya Ramakrishnan was among the outstanding female academics to share her inspiring story! @MQSciEng @Macquarie_Uni

I am excited to be a part of this Girls to Graduates project, with an amazing team, both within Macquarie Uni (including @_MQ_WP and @MQSciEng) and externally. I look forward to developing the future Superstars of STEM.

Explaining Leadbeater’s possum rope bridges in 60 seconds or less #roadecology #wildlifecrossing #wildoz Full paper here 👉 https://t.co/lzMIZlaLDw

Had my obligatory maccas potato thing yesterday. They are so far from the real thing they don't qualify as either scallops or cakes. I reckon they are potato nuggets.

Loving this new GHC extension!

Web sumo is a sport where you stand still doing exactly what you please, as people try to get you to switch to a framework, and you win if their framework is deprecated before you are moved

@AlexP_DownUnder @splashcon Deep gratitude to @caizixian, who did a phenomenal job wrangling video for the conference. 🙏 In the era of hybrid conferences and global real-time participation, the complexity of video runs at another whole level. Zixian did a great job ensuring things went off smoothly. 🙏

It’s pattern matching day at @splashcon. Two whole talks on pattern matching on the same day. Bliss. #splash2022

#SLE22 Wednesday morning: Jeff Smits will present an approach to optimizing first-class pattern matching, as found in, e.g., Stratego. Faster strategic rewriting! Paper: https://t.co/HvyPbyKvl8

A seriously brief - and somewhat provocative - history of lectures. Usual disclaimer: these are my personal views and not those of UTAS. Img source: https://t.co/ozGOYKzmyG 1/13

APLAS'22 accepted papers: https://t.co/hG83dzRD8U

I gave my data analysis students the task of choosing a sport and doing a novel analysis of data from that sport. The results were delightful. Hopefully a few will let me share them here.