Matt Roberts

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! cel.cs.brown.edu

I'm going to need a tutorial. store.steampowered.com/app/814870/Mon…

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

So, anyone have experience using VSCode for Python notebooks, instead of Jupyter? I'm curious if folk have found it too effective when used for real work.

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 royalsociety.org/grants-schemes…

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

Useful and interesting - and to me highlights our obsession in education with the final written form of work (which you must not outsource you naughty student, that’s plagiarism), rather than the actual thinking and ideas behind it (which is fine to get from old mate Chatty G)

@MiriForbes Achievement unlocked!

So the good news is that in my current project I'm learning really cool stuff about a symptom-level structure of psychopathology, but the bad news is I'm now pretty sure my whole PhD was wrong

@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 👉 onlinelibrary.wiley.com/doi/full/10.11…

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

If you're using Holbert in the classroom, please tell us! So far, I'm aware of two classes in which it is/will be actively used and two more where instructors tell me they plan to use it at some point but haven't developed the materials yet.

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

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

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