Gavin Zhao @[email protected]

Just wrapped up grading for grad compilers! It was a ton of fun, and I hope to keep iterating and improving the course! hat tip to @adrian for the Bril infrastructure which I (ab)used for this course!

Some students have opted to make their final projects public on the course website, so check them out! I know some of them are looking for compilers jobs, so if you're looking for compilers people, check here!

https://github.com/mwillsey/cs265/blob/2024-fall/project.md#public-projects

"What's the worst password incorrect dialog box?"

🤔

#webDev #security #UI #memes

#Pixelcities: Rain in Tokyo.

I'm very pleased that within two weeks I managed to turn the sketches into full-fledged pixel art images and start the #Pixelcities series. Let's see how it goes further :)

#Tokyo #Japan #street #digitalart #pixelart #8bit #painting #digitalpainting #fediart #MastoArt #Krita

Honestly, we are currently out of ideas on how to restore access to Codeberg.org.

We are fighting with extreme traffic and high load for several hours now, we have done the typical procedure to identify and block misbehaving AI crawlers.

However, we are currently having a hard time figuring out details about the ongoing high traffic situation.

#hello

Design costs (classic!)

@pigworker @Taneb I also used it for doing complexity theory in type theory https://bentnib.org/polytime-deptypes.html

A different view of the USA

in the client meeting. straight up "smashing it". and by "it", haha, well. let's justr say. the £12,000 LED video wall

I bet my girlfriend that this picture of our cats could get 10 billion boosts on Mastodon.

She said she doesn't believe me. She said there's only 15 million accounts on Mastodon. She said there aren't even 10 billion people on Earth. She said it concerns her that I struggle to comprehend large numbers.

Let's prove her wrong everyone. Boost away and show her just how awesome the Mastodon community is.