Audion — Dash

GitHub28 repositoriesDaily Tech3 subscribersTensionixauthor and articlesRSSrelease feed

today's edition 24 h window 19 editions in the archive since 18 August · next one around 02:50 UTC

Browsers4 Live in a folder and update themselves Development5 Tools and the workstation itself Media7 Sound, video, images Office7 A document in, a document out Setup5 Install the latest and keep it updated

Daily Tech

5 September full edition →

01 Anthropic says Claude produced the first complete computer-checked proof of Fermat's Last Theorem AIanthropic.com

02 Microsoft announces Project Zenith for local AI development on high-memory Windows PCs Infrablogs.windows.com

03 GitHub opens Project HydraFusion research preview for multi-model coding orchestration AIgithub.blog

04 AWS publishes open-source InstantStart control plane for agent-driven SageMaker HyperPod operations Infraaws.amazon.com

05 Google makes Lyria 3.5 music generation available in Gemini and the Gemini API Mediablog.google

and 10 smaller stories: South Korea, NHTSA, OpenAI →

Marks of the edition

#microsoft #ai agents #openai #anthropic #claude #lean #prove2me #formal verification

RSS of the daily feed

Planning Signals

5 September · Russian only feed →

A daily digest of Russian urban planning news: federal decisions, regions, law and court practice. Assembled automatically from a registry of sources and published every morning on Telegram. This section is in Russian only.

Regional 334

Federal 200

Law 175

Court practice 91

People 49

Open the feed Grad-Radar on Telegram

Events per day

5 August5 September

Across 32 editions: 849 events, 27 a day on average. Regional — 39%.

RSS· GitHub