Links tagged “ai”
161 links, newest first.
techcrunch.com
Ford brings back 350 veteran engineers, its CEO saying the company mistakenly assumed introducing AI would by itself produce a high-quality product.
openai.com
The preview announcement, claiming stronger coding, science and cybersecurity performance alongside a reworked safety stack.
queue.acm.org
You Don't Know Jack About Formal Verification - formal methods from a practitioner, minus the folklore.
apertvs.ai
A Swiss foundation model from EPFL, ETH Zurich and CSCS, open in weights, data and method, covering more than a thousand languages.
martinfowler.com
Building reliable agentic AI systems: a production write-up of making LLM agents dependable, on Fowler's site.
queue.acm.org
Eight myths on software engineering and GenAI: ACM Queue takes apart eight comfortable assumptions. Practitioner-grade, free to read.
support.claude.com
The support page for identity checks: a government photo ID and a selfie, verified through Persona, for safety and compliance.
vickiboykis.com
Coding with Gemma 4 and GPT-OSS locally, landing around 75% of frontier quality, and where that turns out to be enough.
marble.onl
Argues open-weight models have closed the gap far enough that choosing one is no longer a professional risk.
















