Dagens Vibes — 2. august 2026

Chubby♨️@kimmonismus

HOLY: OpenAI says its *unreleased* Astra model (GPT6?) produced ten advances on long-standing open problems across mathematics, quantum complexity and theoretical computer science. Among them: – The first explicit non-sofic group – Connes’s rigidity conjecture disproved – Quantum parallel repetition proved for general two-player entangled games – Ehrhart’s volume conjecture proved – The first improved general sphere-packing exponent since 1978 OpenAI says the core arguments were generated by Astra. The model then formalized the proofs in Lean, producing machine-checkable certificates alongside a 249-page manuscript. The successful solution runs would cost only roughly $2,000 in tokens at Sol API rates. Scientific reasoning is becoming a genuine model capability much much faster than most people expected. I am so freaking hyped. Breakthroughs every day. The day before yesterday, an 80% price cut for Terra and Luna; yesterday, the DeepSeek 4 flash release with insane evaluations and prices. Today, more breakthroughs with an unreleased model. I love it! OpenAI is on such a great run!

kache@yacineMTB

LLMs are a new kind of compiler https://t.co/wrQfyb9rTp

Citeret tweet

Baudouin@netapy

This technique is a much bigger deal than it seems For a few $ you can fully replicate any product you have access to just by bruteforcing agents against it We did this internally at Ordalie with microsoft word online to get pixel perfect docx rendering and it worked insanely well It's about expressing the constraints and levers in the harness. agents excel at tasks they can autoverify -- expect much more of this!

♥ 427↻ 10💬 6🔖 289

Matt Pocock@mattpocockuk

Great guest article from Birgitta on Martin Fowler's site: https://t.co/i3KmU0IdLM

Machina@EXM7777

over the past year i've slowly acquired real taste for frontend design... all i did was collect inspirations on one side and working UI components on the other here's the loop i'm using for that: > every design you like on X becomes a bookmark > X MCP plugged into my Hermes agent walks the bookmarks weekly > Hermes spawns a Gemini 3.1 Pro subagent to tear each design down > the keepers become DESIGN․md templates on top of that, a cron job searches Reddit and GitHub for "UI component" and "frontend skill" hundreds of indie devs are shipping tools for hyper specific features, and the good ones get folded into my frontend design plugin for Claude Code

Dan McAteer@daniel_mac8

Codex users: here's an amazing way to take advantage of the efficiency and capability of GPT-5.6 Luna Max. It's called 'sol-advisor'. 1. GPT-5.6 Sol High as orchestrator 2. GPT-5.6 Luna Max as implementer for routine tasks 3. GPT-5.6 Terra Max as implementer for complex tasks 4. Fresh GPT-5.6 Sol instance as reviewer A free and open-source plugin for Codex. Installation instructions below 👇 I dare you to install it, and tell me if you hit your weekly usage limits using 'sol-advisor'. I doubt you can.

eric provencher@pvncher

Pro tip with codex. If you’re working on very long ambitious tasks, you’re better off interrupting and formulating a detailed course correction prompt, than continuously steering. Side chats help a lot with making those prompts!

Pi@pidotdev

Pi helps you use tokens as efficiently as possible. Here’s a cheatsheet of commands to try: - /session: shows token use, cost, messages - /compact: summarizes context. Send a message with it to steer the summary - tune compaction in your settings json file for more control https://t.co/3V2boXjMQ1