Matt Roberts

Researcher, teacher, programmer.

[Will Crichton @tonofcrates]

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! https://t.co/j0Dy3hYf9M

[Edward Kmett @kmett]

I'm going to need a tutorial.

https://t.co/V8VfYtUjJv

[Matt Roberts @altmattr]

@yminsky Done it, like it, but never tried more interactivity. One huge benefit is the ability to run in gitpod as well as codespaces. Codespaces support jupyter labs, but gitpod only supports VSCode. Works perfectly on those online IDEs.

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

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.

[The Royal Society @royalsociety]

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

[Matt Roberts @altmattr]

@phillipdawson I'm fascinated by the line of thinking in this infographic. Chatty G is incorrect so often and in such subtle ways that use _during_ learning seems fraught. Students can't see the subtle errors and progress with a now-reinforced misunderstanding.

[Matt Roberts @altmattr]

@MiriForbes Achievement unlocked!

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

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

[School of Computing, Macquarie University @computing_mq]

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

[Benjamin King @BenjaminKing96]

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

[Macquarie University @Macquarie_Uni]

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

[School of Computing, Macquarie University @computing_mq]

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

[Joanne Jamie @JoanneJamie2]

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.

[Dr. Kylie Soanes @kyliesoanes]

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

[Matt Roberts @altmattr]

@kamatsu8 It just went on my radar as an possiblity for S1 2023.

[Matt Roberts @altmattr]

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.

[Erik Meijer @headinthebox]

Loving this new GHC extension!

[Dr Kate Compton @GalaxyKate]

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

[Steve Blackburn (@[email protected]) @stevemblackburn]

@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. 🙏

[Matt Roberts @altmattr]

@inkytonik @splashcon Made it over here. Cold and damp today but a good time regardless.

[Matt Roberts @altmattr]

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