110%. I wrote a small thread on this:
bsky.app/profile/shri...

@dbellingradt.bsky.social

We cursed, swore, and threatened the (teen!) kid about maintaining the second trio of rats.

Guess how well that worked out.

Thinking your kids will do the work is at a level of delusion akin to thinking your parrot will not rapidly learn to imitate the sound that most irritates you.

Confirmation: everything is terrible (in MN).

Fwiw, I reference (parrot?) your parrot advice on a regular basis, and was recently mentioning it to someone we mutually know (quite likely Milda Zizyte). The rats have been splendid. A few months after the last of our first trio passed away, we got a second trio!

Thanks! The language has also grown a lot, but in a very conservative, "do we really need this for education" (as opposed to "let's write a paper about this!") way. On the home page, click the "Major Features" button. You can actually run all of them right now in your browser!

Of course — we have tens of thousands of users every year, and growing!

And yes, as of this year, excellent offline support too!
pyret.org#devs

All almost entirely thanks to @joepolitz.bsky.social .

I used to do this all very abstractly. I made it way more concrete these year, referring to the Stop button in CPO, for instance, and the type-checker, and so on, so the flow was infinitely better.

Ah — I did the HP first, *then* Rice's theorem. But instead of the latter being like the last 10 mins, I figured out how to do the first part better so I could split the time evenly.

Also, didn't do "proofs" (intro class!), I basically use the reduction here:
en.wikipedia.org/wiki/Rice%27...

I think it's not at all a coincidence that so much PL and verification work happened at Rice University.

Hundreds an hour, no less. Every one a masterpiece.

But the article clearly says "the top three best-selling cars in the region last year—the Dacia Sendero, the Renault Clio, and the Volkswagen Golf—were all good old-fashioned hatchbacks". This seems to be a statement about Ford, not Yurop? Also, the BYD models I saw in DE were pretty reasonable…

No, you may have been overly sophisticated. (-:

Haha, thanks for the offer! If I could just publish my class video, I'd be all set! But I can't. )-: Let me think about how best to produce this. Conversation won't b as crisp as I'd like it to be. It's critical that what I present be the truth…but of course it won't be the whole truth.

I'm no good at this YouTube business. Maybe I'll write a blog post over winter break…

Ah, not at all!

Property-based testing.