Gavin Zhao @[email protected]
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?
Joined May 2022
Framework Desktop真给我看心动了，坐等打折！
只可惜CPU是焊上去的不能换，不然我想淘一个两三代以前的32或64核的服务器CPU接上去，像之前就看到过一个32核AMD Epyc 7551不到八百软妹币。作为一个packager，频率只要在2.0GHz以上我都能接受，线程少才是真的头疼。
Gavin Zhao
boosted
Introducing our new product category, the Framework Desktop! This is a tiny, 4.5L machine with massive performance inside using AMD’s new Ryzen AI Max processors, an awesome machine for gaming, workstation, and AI crunching! Pre-orders are open now.
Gavin Zhao
boosted
Bringing this highly requested feature to #Mastodon and the fediverse is not as trivial as some might think, but quote posts are coming. Here is our latest write-up about our progress:
https://blog.joinmastodon.org/2025/02/bringing-quote-posts-to-mastodon/
Gavin Zhao
boosted
Gavin Zhao
boosted
who needs the National Science Foundation when you have a Nice Soft Feline
Gavin Zhao
boosted
Gavin Zhao
boosted
It was about what sushi are you but still, so cruel Kagami. 
#anime #LuckyStar
HackerNews上发现的文章，推荐一下在学英文的同学们读读。表面上看是讲顶尖推销员的秘诀，实际上算是一个推销员的自嘲式的自传，侧面体现了美国的推销文化给推销者和被推销者共同带来的影响。文笔真的很棒。
https://slate.com/life/2024/12/work-jobs-sales-telemarketing-america.html
Gavin Zhao
boosted
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!
Gavin Zhao
boosted
Gavin Zhao
boosted
#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
Gavin Zhao
boosted
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.
Gavin Zhao
boosted
Gavin Zhao
boosted
@pigworker @Taneb I also used it for doing complexity theory in type theory https://bentnib.org/polytime-deptypes.html
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?
Joined May 2022
