Discover
Feeds ✨
This is really smart by Go to republican districts and push voters to pressure their republican reps.
www.commondreams.org/news/bernie-...
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
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.
In celebration of the 85th anniversary of Lex Luthor here’s an exclusive photo of Nicholas Hoult as Lex in our upcoming movie, #Superman.
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!
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
Penny Arcade for February 23, 2000, 25 years ago today!
www.penny-arcade.com/comic/2000/0...
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
DALLAS TONIGHT! w/ Fred Armisen!
timheidecker.com/live
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
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