Naur's "Programming as Theory Building" and LLMs replacing human programmersratfactor.com·108 pts·bertman·129
Google makes end-to-end encrypted Gmail easy for all – even Outlook userstheregister.com·1 pts·bertman·0
Terence Tao about the balance between quantitative and qualitative thinkingmathstodon.xyz·3 pts·bertman·0
In Praise of Print: Reading Is Essential in an Era of Epistemological Collapselithub.com·364 pts·bertman·333
Terence Tao: Solving problems by abstracting away highly relevant informationmathstodon.xyz·11 pts·bertman·1
Terence Tao: "It can become more rational to think and act more boldly"mathstodon.xyz·109 pts·bertman·63