*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.
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
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
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.)
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
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
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.
📢 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!
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.
@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"...
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.
@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.