Can LLMs model real-world systems in TLA+?(sigops.org)
108 points by mad | 27 comments
108 points by mad | 27 comments
343 points by jnord | 343 comments
Martin Alderson blog post arguing that AI coding agents are reducing demand for SaaS products as companies can cheaply build their own software.