Garrett Morris

Programming languages enthusiast, teacher, and researcher at @UIowa @UIowaCS. Fond of Mass Effect. My views are my own.

[Garrett Morris @GarrettAtUI]

*taps microphone* is this thing still on?

Someone let me on the Haskell Interlude!

https://t.co/Z7RSGQE7c7

...talking about how I got into Haskell and what's interesting me today.

Thanks to @wouterswierstra, @nikivazou, and the rest of the Haskell Interlude team.

[Garrett Morris @GarrettAtUI]

I'm hiring a post-doctoral scholar to work on an NSF-funded project on the foundations of type classes and type families in Haskell. Please get in touch if you're interested, or spread the word if you know of other people who would be.

More details here: https://t.co/XgCk22B0jT

[Garrett Morris @GarrettAtUI]

Come work with me! The University of Iowa is hiring both tenure- and instructional-track faculty this year. We're a friendly, growing department with a focus in formal methods and programming languages. If you have any questions, please get in touch.

https://t.co/wQNT9DnDIh

[Garrett Morris @GarrettAtUI]

For your consideration, in which the authors wonder whether you can do row-typed programming without knowing any of the contents of the rows, and discover various fun things that result if you can:

https://t.co/KrpMv7pT4R

(To appear at ICFP'23.)

[Garrett Morris @GarrettAtUI]

I keep checking the calendar, and it keeps not being April 1.

[Mike Hicks @michael_w_hicks]

ACM uses TAPS converts your LaTeX into both PDF and HTML5. This imposes restrictions on you.

Request:

If you publish in PACMPL and use LaTeX packages not on this list, can you tell me what they are? https://t.co/tU0Ej8tUMy

[ICFP Conference @icfp_conference]

Functional programming has won.

You can't fight it, but you can help making it even more awesome by supporting basic PL research.

Here's your chance to do it and also put your company on the radar of the world's best functional programmers:

https://t.co/b4Tntagjkg

[Garrett Morris @GarrettAtUI]

Evergreen tweet right here...

[Melanie Mitchell @MelMitchell1]

Tesla Full Self Driving

[U.S. Department of Energy @ENERGY]

BREAKING NEWS: This is an announcement that has been decades in the making.

On December 5, 2022 a team from DOE's @Livermore_Lab made history by achieving fusion ignition.

This breakthrough will change the future of clean power and America’s national defense forever.

[Apoorv @fxdpntthm]

If you want to work in Programming Languages, UIowa is a great place, please apply!

[UIowa Computer Science @UIowaCS]

📢 On @csfacultyjobs market? @UIowaCS faculty will demystify aspects of #AcademicJob #interview process. Gain insights into:
• types of interactions to expect
• topics to ponder before that 1ˢᵗ interview
🗓️ Wed 12/14 3:30 CT💻
🖱️ https://t.co/9YRCqO6kcP to RSVP & join us!

[steven t. piantadosi @spiantado]

Yes, ChatGPT is amazing and impressive. No, @OpenAI has not come close to addressing the problem of bias. Filters appear to be bypassed with simple tricks, and superficially masked.

And what is lurking inside is egregious.

@Abebab @sama
tw racism, sexism.

[Garrett Morris @GarrettAtUI]

@bernpton @Simon_JF There were perfectly good reasons not to have 8 AM classes, we just ignored them.

The more depressing thing was that I had colleagues who preferred teaching that early---because they could get students out of the way and get to their "real work"...

[Garrett Morris @GarrettAtUI]

@bernpton @Simon_JF My first lecture was at 8am... So it took me exactly none lectures to not turn up early. :)

[David J. Malan @davidjmalan]

Standardizing Students' Programming Environments with Docker Containers: Using Visual Studio Code in the Cloud with @GitHub Codespaces, a short talk about @CS50 at @TheOfficialACM #ITICSE2022. Abstract at https://t.co/lXmlW6V7hu, slides at https://t.co/L8bgMVoaXT.

[Garrett Morris @GarrettAtUI]

@uiowa I think you mean 65

[Garrett Morris @GarrettAtUI]

@fancytypes @RaeHaskell I'm used to Greg having prior claim to my initials, but not to my last name... :)

[Garrett Morris @GarrettAtUI]

@bernpton Another argument for Twitter to add a "dislike" button. Best luck recovering!

[Garrett Morris @GarrettAtUI]

@jeremysiek @rg9119 What notation do you teach instead? Equality is just the first problem with conventional big-O notation, it's fairly cavalier about binding as well.

[Jen Gentleman 🌺 @JenMsft]

A programmer had a problem. He thought — "I know, I'll use async!"

has problems Now . two he