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
审稿人:孩子们,这并不好笑。Rejected.
作者:MAN! What KAN I say? MAMBA OUT!
#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.
@pigworker @Taneb I also used it for doing complexity theory in type theory https://bentnib.org/polytime-deptypes.html
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.
Week 8 of the #AniMangaFoundIt #AniMangaPictureChallenge is complete. And a cozy week it was as we explored the colors and temps of Fall in #anime.
@BongoMcnulty - SuperCub
@anicasts - Your Lie In April
@Ragashingo - 86 Eighty-Six
@chikorita157 - Slow Loop
@socks - Yuru Camp
@Tatsumeg - Spice & Wolf (2008)
@literalgrill - Weird Volunteers
Thanks to everyone who participated!
Want to submit a topic? Just send a private message to @apc and we'll find you a slot.
New topic tomorrow morning.
In my significant experience with numerous programming language designers, this is true of the best PL designers, too. (May not be true of one, but they may also not be one of the best. <-;) Their users are often far more tribal than them. [JD Souther: https://thecreativeindependent.com/people/songwriter-jd-souther-on-songwriting-poetry-and-making-space-for-something-new/]
The world's greatest novels, according to 15+ book polls, awards, prizes & lists. How many have you read?
https://informationisbeautiful.net/visualizations/novels-everyone-should-read-interactive/
history = (λx. x x) (λx. x x)
When life gives you lemons, don't make lemonade. Make life take the lemons back! Get mad! I don't want your damn lemons, what the heck am I supposed to do with these?