Search
Programming
Leanstral 1.5: moving from suggested code to checkable properties
Mistral released the model on July 2. A July 5 report examines how proof engineering in Lean 4 differs from asking an assistant for plausible code.
Computers
Linux 7.2-rc1 opens the next kernel testing cycle
Linus Torvalds released the first Linux 7.2 candidate on June 28, closing the merge window and shifting attention toward fixes and stability.
OpenAI · AI agents
OpenClaw creator Peter Steinberger joins OpenAI
The developer behind the viral AI agent OpenClaw has joined OpenAI. OpenClaw will remain an open source project.
Anthropic · Claude
Anthropic adds plugins to Cowork so Claude can handle department work
Plugins automate specialised tasks like marketing drafts, legal risk reviews and customer support replies. 11 plugins were released as open source.
X · Grok
X publishes its feed algorithm on GitHub, and it is all built on Grok
X released a description and outline of its post-ranking system. The EU had earlier fined X $140 million.