@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/
In light of the Internet Archive losing its appeal to hachette, I just wanted to point out some websites you should avoid:
* https://annas-archive.li/
* https://downmagaz.net/
* https://ebook-hunter.org/
* https://forcoder.net/
* https://freemagazines.top/
* https://liber3.eth.limo/
If you were to download books from these websites, you might cut into hachette's more than three billion dollars of annual revenue. So make sure to avoid those websites and the following:
* https://libgen.is/
* https://oceanofpdf.com/
* https://pdfroom.com/
* https://pdfstop.com/
* https://pdfdrive.to/
* https://pdfmagazines.club/
* https://sci-hub.se/
* https://singlelogin.re/
* ... or any of the other sites listed at https://rentry.co/megathread-books
Ringed Ice Giant Neptune
Image Credit: NASA, ESA, CSA, STScI, NIRCam
Astronomy Picture of the Day for Dec 25, 2023.
This beautiful image of the Basilica of Superga near Turin, Italy, framed by the peak of Monte Viso and a crescent moon behind it, was taken by Valerio Minato 10 days ago, after 5 unsuccessful attempts over 6 years. It takes a lot of planning and some good fortune to capture such an image. The alignment occurs about once a year and the weather Gods have to smile.
https://apod.nasa.gov/apod/ap231225.html
#APOD
1/n
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?