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
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
Gavin Zhao
boosted
S14四强晋级赛GENG vs FLY
FLY打GENG打的太过瘾了，尤其是对于一个喜欢科研喜欢研究鬼点子的辅助玩家来说。第一局的萨勒芬妮真是神之一手。
两位中单QUAD和Chovy之间的爱恨情仇都可以写小说了。这个赛前预告片是S14目前为止看的最燃最泪目的。
Gavin Zhao
boosted
in the client meeting. straight up "smashing it". and by "it", haha, well. let's justr say. the £12,000 LED video wall
Gavin Zhao
boosted
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.
@Nick_Stevens_graphics If it's AI-assisted, for example generate sketches and then the human artist manually add more details and colors to it, then I might have some sympathy for him. However, in this case my understanding is that his artwork is completely AI-generated and the only effort he put in was prompting (and money for MidJourney credits), so yeah, I think he deserves this.
Gavin Zhao
boosted
Gavin Zhao
boosted
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.
@233mc44 我也想去，可惜我的所有技能基本上都跟游戏行业不沾边 
最近在推galgame，key社的summer pockets
一晚一条线，晚晚睡不着！快给我刀傻了，这玩意儿真不适合睡前推，助眠还得是废萌柚子社
@mashiro 没事没事，站长辛苦啦！
Gavin Zhao
boosted
If IBM decides to merge Terraform and Ansible, would that be Terrible?
Gavin Zhao
boosted
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/]
@mashiro 我认识的（做实体的）都不是这样的，工资是运营成本的很大一部分，甚至超过房租。
@literalkernel 我一直觉得想出snowflake的人真是一个小天才 
@infobeautiful As a Chinese, I think Italian pasta is just fake noodles! Bruh have they ever even tried rice noodles?!
Gavin Zhao
boosted
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?
Joined May 2022
