You might like
As much as I love Maine - one of the most beautiful states in the union - at this point I want the feds to absolutely crush any elected officials still forcing males into female sports and locker rooms. The insanity MUST END.
Learn about AWS is raising the bar on security by applying automated reasoning to prove the correctness of access controls in the cloud #provablesecurity youtube.com/watch?v=xPe_dd…
youtube.com
YouTube
AWS re:Inforce 2024 - Provably secure authorization (SEC201-INT)
This is across the street from when my kids go to school.
Seattle, WA - appalling antisemitic graffiti was discovered at Herzl-Net Tamid Confregation, just across the street from the Jewish Community Center (JCC). Among the phrases were “Shame on Israel”, “Shame”, and “Stop Killing”. This is nothing short of pure and grotesque…
Bikash Behera and I will be giving a talk on P at reinvent. We will discuss how AWS is using P to reason about the correctness of their distributed systems . Bikash will share his experience using P in practice to reason about correctness of customer workloads. #Reinvent #AWS
#pinkwashing is a thing. My wife reached out to see if @woombikesusa is donating anything to breast cancer research. Nope, just a coincidence.
Not a paper, but this footnote from Eyster and Rabin’s “Cursed Equilibrium” paper is a classic
The rotten core of effective altruism. @erikphoel does a better job than I did (russroberts.medium.com/apples-and-ora…) taking down utilitarianism: erikhoel.substack.com/p/why-i-am-not…
One way to help lower housing prices would be to require images of the houses during construction.
After a year-long hiatus from being interested in music, my daughter heard me playing this in my son’s room and asked if I’d play it in her room at bedtime. Sending gratitude to @bobdylan tonight. open.spotify.com/track/6Vcwr9tb…
Today, I realized that in 1996 my dad wrote one of the first papers suggesting unique pointers as a language feature. The paper contemplates extending Eiffel and C++, but broader applications are obvious. nminsky.github.io/papers/towards…
Had a photo shoot for our bands album cover photo today.
Get ready to FORMAT C: because in my new video, I made several new hard drives that we didn't want or need. youtube.com/watch?v=JcJSW7…
youtube.com
YouTube
Harder Drive: Hard drives we didn't want or need
I took a break from sourdough bread and was curious what would happen to my starter if I just stopped feeding it. A few times I let it go a week without and it recovered fine. Hit a busy patch and left it for over two weeks. Will need to start over:
3yo doesn’t want 1yo to use her shampoo. Points to label and reads: “Only for who has teeth”
Don’t know whether to unfollow people tweeting irrelevant non-Ukraine tweets or to reply asking them to stop.
Me, exasperated: How many times do I have to tell you (to cover your mouth when you cough)?? 3yo: (holding up 4 fingers) “Three.”
United States Trends
- 1. Friday the 13th N/A
- 2. #42coin N/A
- 3. #Friday13th N/A
- 4. Good Friday N/A
- 5. #FanCashDropPromotion N/A
- 6. Valentine's Day N/A
- 7. Left-The N/A
- 8. #InflationUSA N/A
- 9. #RISERCONCERTD1 N/A
- 10. MARÍA CORINA ESTORBO N/A
- 11. Joey Loperfido N/A
- 12. Opening Day N/A
- 13. BTS IS BACK N/A
- 14. Brent N/A
- 15. Happy FriYay N/A
- 16. Jill Scott N/A
- 17. RED Friday N/A
- 18. MEET DAY N/A
- 19. Arson N/A
- 20. Core CPI N/A
Something went wrong.
Something went wrong.