Started with an AI agent, now doing a thing that won't scale(medium.com)3 points by vkweb 2 years ago | 0 comments
Modelling the archetype of a message-passing bug with TLA+ (2022)(medium.com)25 points by surprisetalk 2 years ago | 3 comments
Show HN: Steiner – An open-source reasoning model inspired by OpenAI o1(medium.com)50 points by peakji 2 years ago | 16 comments
Transformers Are Dead. Google Killed Them – Then Went Silent(medium.com)14 points by washedup 10 months ago | 3 comments