Tudor Achim @tachim.bsky.social · 11/04/2026@harmonic.fun in the economist! www.economist.com/science-and-...economist.comAI models could offer mathematicians a common languageSome hope they will simplify the process of verifying proofs 011
Tudor Achim @tachim.bsky.social · 04/02/2026Been having a lot of fun with coding / math questions in the new webapp! 010
Tudor Achim @tachim.bsky.social · 18/06/2025How is it 2025 and I still can’t reliably dictate a 3 sentence text on the latest iOS? 000
Reposted by Tudor Achimósanwë 🦭 @isilanor.bsky.social · 14/03/2025anti-establishment crusader uhhh Susan Rice 5243531019
