Discover
Feeds ✨
Dear Dems. This is a reminder that Donald Trump rescinded the ethics rules preventing gifts to executive branch employees.
Now would be a good time to propose legislation formalizing the prevention into a law
Time to do things that make him react to you.
apnews.com/article/trum...
This is indeed brilliant
This is really smart by @sanders.senate.gov Go to republican districts and push voters to pressure their republican reps.
www.commondreams.org/news/bernie-...
Photographer captures the real-life Jaws image
📸: Euan Rannachan
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.
Can’t believe this guy is Deputy Director of the FBI now
Making a mental list of podcasters I'd rather have as deputy director of the FBI
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.
Last October, we took a trip to the World Forestry Center in Portland, Oregon, for a daylong exploration of lichen—the fuzzy growths often found on trees, roofs, and gravestones. Two experts joined us to discuss the fascinating world of lichen and their role in a changing climate.
jesus christ
Trump just announced Fox host Dan Bongino as his pick for deputy FBI director.
Yes. Dan Bongino.
'There _is_ Mike on other planets', exclaims this U.S. print ad for Acclaim's Space Jam game, circa 1996. [Ad via the VGHF Library.]
I know it is small potatoes, but I have an order stuck in customs from AliExpress since February 8th. 🙄
in the short run, society is a voting machine, but in the long run it is a weighing machine
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
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