Codetaur

vibe-coded.com

11 October 2026 03:46

software is entering this era

pmamtraveller.bsky.social

07 October 2026 07:28

By Kevin Wada

Zach Weinersmith

zachweinersmith.bsky.social

07 October 2026 06:59

OpenAI just blooped hundreds of proofs and counterexamples to open problems: github.com/openai/math/... Boggling.

Quantian

quantian.bsky.social

07 October 2026 06:53

For what it’s worth, arguing LLMs can’t do addition now is flat earth-level science denialism. Here’s Gemma 4b, a non-reasoning model that could only theoretically memorize binary operations up to 65535 x 65535, oneshotting a eight digit addition and hex conversion *on my phone* with no tool calls

Quantian

quantian.bsky.social

07 October 2026 06:53

Are you fucking kidding me with this one