https://youtu.be/bnovfzkKlxs?si=IMaYxQy3IvU0TwYi
really nice interview, will read book soon
"people today see every day like a problem, people like MS Swaminathan looked every day like a solution"

I am a good programmer
According to the Curry-Howard correspondence, programs are isomorphic to mathematical proofs
Therefore I am isomorphic to a good mathematician

Source: @phimulambda

Actions do not cling to me because I am not attached to their results
—Shri Krishna, Bhagavad Gita

The only jobs that AI will be able to do, but won't ever get automated, are those of a politician, a priest, and a prostitute.

(https://www.youtube.com/watch?v=5nMa3p3qw1w)

"I don't like that man, I must get to know him better"

(Think it is attributed to Lincoln although I am not sure)

https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html

It is practically impossible to teach good programming to students that have had a prior exposure to BASIC: as potential programmers they are mentally mutilated beyond hope of regeneration.

Um.. I don't know how to feel about this one. My first language was BASIC (or QBASIC, I don't remember honestly) since that's what they used to teach in school back in my days. I don't think I took anything of significance from it other than finding the discipline of computer science cool

Edit: found this in an 8-year old lobster discussion of this article 🤣

I don't know how many of you have ever met Dijkstra, but you probably know that arrogance in computer science is measured in nano-Dijkstras.

-- Alan Kay

It's hard to win an argument against an intelligent person. It's impossible to win an argument against a stupid person.

https://anilist.co/anime/137667/Lord-of-Mysteries/
this has crazy good animations

Thankfully, these folks are heroes. And please print this. What do heroes look like? Well, heroes put their tank on and they run into a fiery building and pull people out of it. That’s a hero. Heroes also sit in their cubicle for decades studying their systems, and knowing their systems front and back. And when there is no time to assess a situation and go and talk to people and ask, ‘What do you think?’ they know their system so well they come up with a plan on the fly. That is a hero.

Everything related to Google needs to have some data collection 😐
https://go.dev/doc/telemetry
(Good thing it defaults to opt-out)

Some pakistani ISI agents were going to give the NEET exam.
Modi ji destroyed their plan by cancelling NEET.
Another masterstroke by our dear Modi ji