MY ACCOMPLISHMENTS THIS WEEK 1. Consciousness 2. Respiration 3. I petted several cats 4. Consumed pizza 5. Strategic AND tactical napping
I'm going to need a bullet point list of your accomplishments
Here are some nice mushrooms
Four tiny splitgill mushrooms grow from the underside of an upturned stick found in a snowy forest. Three mushrooms form a crowded group and their gills radiate across their caps like tiny bursting fireworks

All photos by me
ALT
I still can’t get over how shitty Kanye’s swastika T-shirts were. I washed mine ONCE and it shrunk two sizes. This country is going down the tubes.
I wish I could tell the moon how much I like it
It’s really gone to his head, hasn’t it?
In celebration of the 85th anniversary of Lex Luthor here’s an exclusive photo of Nicholas Hoult as Lex in our upcoming movie, . Photo by Stef Ceretti.
Likes/dislikes on the latest video is sitting at 98.8% Which to be honest is a mixture of surprising and relieving!
j dawg funny moments
you tube guy
ALT
An interesting hypothetical if you’re wondering if Elon Musk is a genius or not is to compare his behaviour in any situation to what a complete moron would do in the same situation
Knicks need to figure out how to beat this team
Tell us (me and guest host Natalie Palamides) your BODILY FUNCTION DISASTER story on the next Andy Richter Call-In Show on Sirius XM! Fill out the form in my bio or call us at 855-266-2604
Photo of Natalie Palamides, 855 266 2604
ALT
one interesting difference in writing proofs in Lean vs regular programming is that proofs are *very* amenable to subdivision. since there are no side effects or mutation, you can subdivide a proof into parts before writing the actual logic and solve them in any order, even inside-out
Replies to this are a great reminder of why I don’t use this app 🙃
I made a new search engine. Kind of. Introducing unduck.link, my DuckDuckGo replacement :)
lean’s zulip community chat is fantastic. first, i simply didn’t know about zulip before, and it surpassed my expectations. cold loads are slow tbh but it’s very pleasant to use overall. and then the lean one specifically is very welcoming and people are eager to answer beginner questions. love it