@GarrettAtUI profile picture
Garrett Morris @GarrettAtUI

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

Joined September 2017
  • Tweets 414
  • Following 71
  • Followers 208
18 Photos and videos
*taps microphone* is this thing still on? Someone let me on the Haskell Interlude! haskell.foundation/podcast/5… ...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.
3
7
367
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: jgbm.github.io/postdoc.html
16
24
3,592
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. cs.uiowa.edu/jobs
6
16
990
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: arxiv.org/abs/2307.08759 (To appear at ICFP'23.)

Generic Programming with Extensible Data Types; Or, Making Ad Hoc...

We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and variant subtyping,...

arxiv.org
5
28
2,498
I keep checking the calendar, and it keeps not being April 1.
Mike Hicks@michael_w_hicks
17 May 2023
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? authors.acm.org/proceedings/…
2
127
Garrett Morris retweeted
ICFP Conference@icfp_conference
19 Jan 2023
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: icfp23.sigplan.org/attending…

3
10
62
22,765
Evergreen tweet right here...
Melanie Mitchell@MelMitchell1
23 Mar 2021
Tesla Full Self Driving
106
Garrett Morris retweeted
U.S. Department of Energy
@ENERGY
13 Dec 2022
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.
1:28
1,868
17,024
65,581
Garrett Morris retweeted
Apoorv@fxdpntthm
13 Dec 2022
If you want to work in Programming Languages, UIowa is a great place, please apply!
UIowa Computer Science@UIowaCS
13 Dec 2022
⌛️ < 3 weeks to apply to 𝕀𝕆𝕎𝔸 Computer Science | Informatics Master or #PhD programs ‼️ 🗓️ Deadline: 1/1/2023 🖱️ bit.ly/uiowacs_grad_prgms for deets ❕ Come join our fantastic @UIGradCollege students | @UIowaResearch-ers 😉
Collage of a few of a dozen of our current University of Iowa Computer Science MCS (inc. undergrad to grad) and PhD students

ALT Collage of a few of a dozen of our current University of Iowa Computer Science MCS (inc. undergrad to grad) and PhD students
3
11
Garrett Morris retweeted
UIowa Computer Science@UIowaCS
5 Dec 2022
📢 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💻 🖱️ bit.ly/uiowacs_acad_job to RSVP & join us!
University of Iowa Computer Science to host: Academic interview: What to expect UIowaCS faculty will demystify various components of the academic job interview process. You will gain insights into the types of interactions to expect at your job interviews and topics you should deliberate on prior to your first interview. Wednesday, December 14 2022 3:30-5 pm Virtual Event Details at events.uiowa.edu/75238

ALT University of Iowa Computer Science to host: Academic interview: What to expect UIowaCS faculty will demystify various components of the academic job interview process. You will gain insights into the types of interactions to expect at your job interviews and topics you should deliberate on prior to your first interview. Wednesday, December 14 2022 3:30-5 pm Virtual Event Details at events.uiowa.edu/75238
4
4
Garrett Morris retweeted
steven t. piantadosi@spiantado
4 Dec 2022
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.
432
1,568
7,529
Garrett Morris retweeted
David J. Malan@davidjmalan
13 Jul 2022
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 cs.harvard.edu/malan/publica…, slides at cs50.ly/iticse22.
3
48
207
Garrett Morris retweeted
Jen Gentleman 🌺@JenMsft
18 May 2022
A programmer had a problem. He thought — "I know, I'll use async!" has problems Now . two he
74
886
6,230
Garrett Morris retweeted
UIowa Computer Science@UIowaCS
6 May 2022
📢#UIowaGrad22 Rob Lorch➕Abdal Mohamed honored w/ '21-22 #AcademicExcellence in the Masters award, recognizing academic prowess & the variety|difficulty of courses taken. Both share their path to IOWA Computer Science, advice, what's next & more @ bit.ly/excel_MCS 🎉!
Portraits of Rob Lorch (L) and Abdal Mohamed (R) in Black and Gold frames with text: "Rob Lorch and Abdal Mohamed receive 2021-22 Academic Excellence in the Masters awards". Background: UIowa "Brain Rock" pattern in black over gold.

ALT Portraits of Rob Lorch (L) and Abdal Mohamed (R) in Black and Gold frames with text: "Rob Lorch and Abdal Mohamed receive 2021-22 Academic Excellence in the Masters awards". Background: UIowa "Brain Rock" pattern in black over gold.
2
6
Garrett Morris retweeted
Jeremy Gibbons@jer_gib
5 Apr 2022
Richard Bird passed away last night, after a long illness. He was hugely influential in FP, including Haskell, and in MPC. He will be remembered for the elegance of his work and his writing. He was also my supervisor, my colleague, and my friend, and I will miss him greatly.
28
179
664
Garrett Morris retweeted
Andrew K. Hirsch@andrewkhirsch
2 Apr 2022
Several people already know this, but I have yet to make an announcement: I'm happy to say I'll be joining the faculty at @UBuffalo as an assistant professor of Computer Science and Engineering starting in the fall!
21
4
135
Garrett Morris retweeted
Loris D'Antoni@lorisdanto
30 Mar 2022
A University of Tennessee Professor with a PhD from University of New Mexico wins the Turing award two days after USNews announces their usual University rankings.
8
40
504
Garrett Morris retweeted
UIowa Computer Science@UIowaCS
11 Mar 2022
🎉 #HappyBirthday to us, the University of Iowa Dept. of Computer Science! On this day in 1965 @IowaRegents voted "yea" to creation of @uiowa>@UIowaCLAS|@UIGradCollege>@UIowaCS. More archival 📜 @ x.com/UIowaCS/status/1456267… | bit.ly/UIowaCS_TBT | bit.ly/UIowaCS_Flashback 🎂1/2
Snapshot of mobile version of our twitter account with balloons celebrating our 57th "birthday" today March 11, 2022.

ALT Snapshot of mobile version of our twitter account with balloons celebrating our 57th "birthday" today March 11, 2022.

Excerpt from March 1965 Iowa Board of regents meeting citing "ESTABLISHMENT OF DIVISION OF MATHEMATICAL SCIENCES. Upon the recommendation of President Bowen and the Educational Policy Committee authority was granted to create a Department of Statistics and a Department of Computer Science and to establish a Division of Mathematical Science in the College of Liberal Arts to coordinate and advance the interests of the departments of Computer Science, Mathematics, and Statistics."

ALT Excerpt from March 1965 Iowa Board of regents meeting citing "ESTABLISHMENT OF DIVISION OF MATHEMATICAL SCIENCES. Upon the recommendation of President Bowen and the Educational Policy Committee authority was granted to create a Department of Statistics and a Department of Computer Science and to establish a Division of Mathematical Science in the College of Liberal Arts to coordinate and advance the interests of the departments of Computer Science, Mathematics, and Statistics."

UIowa Computer Science@UIowaCS
4 Nov 2021
Replying to @uiowa
March 1965 😉 #TBT @UIowaAlumni
"Computer Science Program Approved." The Daily Iowan [Iowa City, IA] 20 Aug. 1965. Print."

ALT "Computer Science Program Approved." The Daily Iowan [Iowa City, IA] 20 Aug. 1965. Print."

From 1995 Iowa Alumni Magazine "[...] 30 Years Ago Thanks to the recent establishment of a Department of Computer Science within a new Division of Mathematical Sciences, UI graduate students may now earn a master's or doctoral degree in computer science. [...]"

ALT From 1995 Iowa Alumni Magazine "[...] 30 Years Ago Thanks to the recent establishment of a Department of Computer Science within a new Division of Mathematical Sciences, UI graduate students may now earn a master's or doctoral degree in computer science. [...]"

1
4
8
Garrett Morris retweeted
City of Iowa City@CityOfIowaCity
1 Mar 2022
The City of Iowa City stands in solidarity with the people of the Ukraine. Lights on the Pedestrian Mall stage and our public works streets facility will shine blue and gold – the colors of the Ukrainian flag – in a show of support during this time of conflict and turmoil.
5
44
Load more