Programming 🐻

London, England
Joined June 2010
Filter
Exclude
Time range
-
Near
Stephen Diehl retweeted
Mindscape 130 | Frank Wilczek @FrankWilczek on the Present and Future of Fundamental Physics. #MindscapePodcast preposterousuniverse.com/pod…
3
23
144
Show this thread
Stephen Diehl retweeted
Thread. Bitcoin is an utter abomination, rooted in libertarian/propertarian ideology, designed to undermine the social fabric, and grotesquely damaging to the environment. Criminalize Bitcoin!
Let's discuss the environmental cost of bitcoin. Because despite all the push for sustainable and green investment in the tech sector, there's a giant smoldering Chernobyl sitting at the heart of Silicon Valley which a lot of investors would prefer you remain quiet about. 🧵 (1/)
Show this thread
145
242
743
Replying to @Colin73779724
Lovely, I just bought it too. I'm still at intermediate Agda though tbh.
0
0
0
Why I think the Googler union may be a sea change in our industry. It's time for us to assert our so-called "politics" over the organisations we form the lifeblood of. That's 'Just Business' as much as executives lobbying policy makers.
Silicon Valley managers believe that "politics" by workers is inherently unprofessional, but that corporate lobbying -- up to and including literally writing laws -- is Just Business.
Show this thread
8
7
32
Replying to @_bolt12
Perfect, that's all I need. Thanks!
0
0
1
Replying to @Nick_enGB
Thanks. Hopefully it's the first of many Agda books. 😉
0
0
0
Did anyone purchase the new PROGRAM = PROOF text? Worth getting?
8
0
16
Stephen Diehl retweeted
A major lesson I learned in grad school is to fight the fear of asking an "easy" question in front of "smart" people. I want my answer. They can think I'm dumb. That's their problem. But I want to learn.
251
2,265
25,034
Stephen Diehl retweeted
1
27
41