JMCT's Avatar

JMCT

@jmct

Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire

1,055
Followers
193
Following
284
Posts
19.04.2023
Joined
Posts Following

Latest posts by JMCT @jmct

The area I do research in is preoccupied with correctness and having systems we can fully understand. This mentality makes things like LLMs ‘ugly’ to us, even putting aside all the awful aspects of theft of intellectual property.

It might be that there are ‘good’ things, but it’s fighting uphill

05.03.2026 16:33 👍 1 🔁 0 💬 0 📌 0

For what it’s worth, I was a CS prof (not in AI/Machine Learning) and I find it all very depressing. A lot of non-AI/ML computer scientists resent this stuff, it’s hard to give it a fair shake when the overwhelming feeling is anger.

05.03.2026 16:31 👍 2 🔁 0 💬 1 📌 0

🫡

26.02.2026 16:53 👍 2 🔁 0 💬 0 📌 0
Preview
Tell me about the good old days, papa I like this site. As both a scientist and an educator, it has allowed me to do the two things I love the most: continue learning, and teach where I can. I joined Stack Overflow late and didn't really

wrote a few paragraphs today about why early Stack Overflow was such a special and rewarding community to contribute to and why so many of us who were there have never really stopped mourning its slow but steady decay meta.stackoverflow.com/a/438314/465...

25.02.2026 21:43 👍 18 🔁 3 💬 1 📌 0

Your writing is always so great!

25.02.2026 23:10 👍 2 🔁 0 💬 0 📌 0
Video thumbnail

Happy Sunday.

22.02.2026 13:50 👍 7 🔁 0 💬 0 📌 0
A latte with a swan as the latte art

A latte with a swan as the latte art

Happy Wednesday

18.02.2026 15:58 👍 10 🔁 1 💬 0 📌 0
Three lattes, left to right, with progressively better art. The first one spilled.

Three lattes, left to right, with progressively better art. The first one spilled.

Same three lattes, but from the other side. You can see the the first one spilled a lot. The second a tiny bit and the third not at all.

Same three lattes, but from the other side. You can see the the first one spilled a lot. The second a tiny bit and the third not at all.

You can see me slowly wake up on this very Monday of mondays.

16.02.2026 15:05 👍 7 🔁 0 💬 1 📌 0

🙌

13.02.2026 00:43 👍 1 🔁 0 💬 0 📌 0
Registration

ZuriHac 2026 - Registrations are open!

ZuriHac is the biggest Haskell community event in the world: a completely free, three-day grassroots coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.

Register: zureg.zfoh.ch/register

09.02.2026 10:59 👍 16 🔁 10 💬 1 📌 1
A picture of 4 generations of Jose Calderon

Me, my father, my grandfather, and my great grandfather.

A picture of 4 generations of Jose Calderon Me, my father, my grandfather, and my great grandfather.

This is also part of it

09.02.2026 02:20 👍 7 🔁 0 💬 0 📌 0
Jake Paul • @jakepaul
Purposefully turning off the halftime show
Let's rally together and show big corporations they can't just do whatever they want without consequences
(which equals viewership for them)
You are their benefit. Realize you have power.
Turn off this halftime. A fake American citizen performing who publicly hates America. I cannot support that.
4:47 PM • Feb 8, 2026 • 4.8M Views • Twitter for iPhone

Jake Paul • @jakepaul Purposefully turning off the halftime show Let's rally together and show big corporations they can't just do whatever they want without consequences (which equals viewership for them) You are their benefit. Realize you have power. Turn off this halftime. A fake American citizen performing who publicly hates America. I cannot support that. 4:47 PM • Feb 8, 2026 • 4.8M Views • Twitter for iPhone

This sort of thing is part of it

09.02.2026 01:59 👍 4 🔁 0 💬 1 📌 0

It will be hard to explain, but I did shed a tear and get choked up at the conclusion of the halftime show.

09.02.2026 01:37 👍 16 🔁 0 💬 1 📌 0
Post image

I love being unable to edit my posts.

Picture unrelated

08.02.2026 20:13 👍 1 🔁 1 💬 1 📌 0

Did it finish?

07.02.2026 14:08 👍 0 🔁 0 💬 1 📌 0

Don’t post from Washington Union Station as you’re boarding your train to NYC, folks.

06.02.2026 18:06 👍 2 🔁 0 💬 1 📌 0

The typos are so bad. How did anyone understand this post?

I feel like it reads like I was having a stroke.

“Thankful for the additional skills this gives me […] and I feel like this rating makes me a safer pilot”.

06.02.2026 18:04 👍 3 🔁 0 💬 1 📌 0

I wonder what it would take to organize a “get out of the vote”, for a GA friendly board.

06.02.2026 17:34 👍 2 🔁 0 💬 0 📌 0

This was made particularly apparent to me because near the end of my training for the rating I moved to Canada and my training became much more sporadic. I could see the rust developed and that I would need a flight or two to kick it off.

06.02.2026 17:32 👍 1 🔁 0 💬 1 📌 0

I am now instrument rated.

It’s interesting, I’m very thankful for the additional skills. This give me and I feel like this rating. Be safe for pilot, but I can’t help feel the rating is also a bit of a burden. The skills atrophy so quickly! A lot of work just to stay sharp.

06.02.2026 17:31 👍 18 🔁 1 💬 5 📌 1
Post image Post image

Happy Wednesday!

28.01.2026 13:31 👍 6 🔁 0 💬 1 📌 0
One of the saddest things about the killings of Renee Good and Alex Pretti is that you could tell that neither of them seemed to know the danger until it was too late. They believed they were operating in some version of the normal state (what Frankel called the "normative state") where the police usually respond with discipline and
restraint.

One of the saddest things about the killings of Renee Good and Alex Pretti is that you could tell that neither of them seemed to know the danger until it was too late. They believed they were operating in some version of the normal state (what Frankel called the "normative state") where the police usually respond with discipline and restraint.

"…neither of them seemed to know the danger until it was too late. They believed they were operating in some version of the normal state…where the police usually respond with discipline and restraint."
www.nytimes.com/2026/01/26/o...

26.01.2026 22:36 👍 9 🔁 4 💬 0 📌 0
Screenshot of a Reddit thread in r/PuertoRico. The post asks, “¿Alguien sabe de boricuas en Ottawa, Canadá?” and says the poster lives there and wants to start a curling team to represent Puerto Rico in the Olympics in four years, ending with “¿Qué tan difícil puede ser? ;)”. In the comments, a user asks, “¿Y dominas el deporte suficiente pa eso?” The OP replies, “Claro que no, pero dame cuatro años y hablamos,” and then, “Piense más en ‘Cool Runnings’ y menos en ‘Miracle’.”

Screenshot of a Reddit thread in r/PuertoRico. The post asks, “¿Alguien sabe de boricuas en Ottawa, Canadá?” and says the poster lives there and wants to start a curling team to represent Puerto Rico in the Olympics in four years, ending with “¿Qué tan difícil puede ser? ;)”. In the comments, a user asks, “¿Y dominas el deporte suficiente pa eso?” The OP replies, “Claro que no, pero dame cuatro años y hablamos,” and then, “Piense más en ‘Cool Runnings’ y menos en ‘Miracle’.”

I’m on my bullshit again

#ottawa

26.01.2026 00:38 👍 1 🔁 0 💬 0 📌 0
Preview
Why the Computer Scientist Behind the World's First Chatbot Dedicated His Life to Publicizing the Threat Posed by A.I. Joseph Weizenbaum realized that programs like his Eliza chatbot could "induce powerful delusional thinking in quite normal people"

“What I had not realized is that extremely short exposures to a relatively simple computer program could induce powerful delusional thinking in quite normal people,” he wrote in 1976.

18.01.2026 12:06 👍 19 🔁 9 💬 0 📌 2

one thing i’ll note is that the administration is desperate for a repeat of 2020 and the targeted jurisdictions refuse to give it to them

23.01.2026 14:38 👍 3538 🔁 683 💬 41 📌 26

I think you’re definitely right on the second count (if you weren’t I wouldn’t be so into playing jazz haha)

I look up to you a lot, so I appreciate you taking the time to say this.

16.01.2026 18:02 👍 5 🔁 0 💬 0 📌 0

For most of my career I genuinely felt that even if I was never the _best_ ‘technical’ person, my ability to communicate and work with others was an asset that provided real value.

Now I think I’m not great at tech things and I’m not very good at communicating.

I gotta hit the books and get good

16.01.2026 17:47 👍 6 🔁 0 💬 0 📌 0

What if… and hear me out…

I am actually just not very good at anything?

16.01.2026 17:33 👍 10 🔁 0 💬 4 📌 0
Video thumbnail

You can tell from the web design of the GPS Operations Center that it's foundational infrastructure for the entire modern world. (Via @berthub.eu) gwcc-ws.cce.af.mil/gpsoc/

09.01.2026 22:58 👍 59 🔁 11 💬 3 📌 2

I am a crab.

09.01.2026 21:49 👍 1 🔁 0 💬 1 📌 0