boriskourt

Recent Submissions

1. 1. ▲ Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net) 3 points · 29 days ago · 1 comment
2. 2. ▲ Opening Day at the Maternal Center of Excellence (pihsierraleone.org) 1 point · 2 months ago · 0 comments
3. 3. ▲ Google AI Studio and NBP are down (aistudio.google.com) 3 points · 2 months ago · 1 comment
4. 4. ▲ Netlify Is Crashing? (netlifystatus.com) 2 points · 2 months ago · 0 comments
5. 5. ▲ A Decade on Datomic – Davis Shepherd and Jonathan Indig (Netflix) [video] (youtube.com) 7 points · 4 months ago · 0 comments
6. 6. ▲ The Authoritarian Stack (authoritarian-stack.info) 4 points · 4 months ago · 0 comments