Lawrence Paulson
lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
👤 Joined on 09 September 2023
652
Followers
281
Following
878
Total Posts
📜 Kullanıcı Geçmişi
- 09 Eyl 2023, 21:26
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@lawrpaulson.bsky.social - 10 Kas 2023, 02:58
🔄 Profil bilgileri güncellendi
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
Timely – I just found Claude repeating back my own argument to myself bsky.app/profile/mart...
Show Post
‘At roughly 49%, AI’s share of the S&P 500's combined market capitalization exceeds the peak concentration of every episode shown except the nineteenth-century railroad boom.’ biancoresearch.substack.com/p/the-s-and-...
Show Post
Sorta bonkers hearing in which a UK farmer keeps saying solar power on farmland is not the end of the world, won't take up that much land and provides a useful diversified source of income, while MPs keep instisting to him to that solar on farmland is a nightmare parliamentlive.tv/Event/Index/...
Show Post
Great stuff from the Telegraph. archive.ph/r2nTA
Show Post
She seems to not realise she’s also unemployed yet holds herself apart from immigrants who seemingly don’t work
Show Post