First screen, captured .
Looks similar
Is NixOS truly reproducible?(luj.fr)
234 points by pabs3 | 101 comments
Uv's killer feature is making ad-hoc environments easy(valatka.dev)
436 points by astronautas | 336 comments
A blog post arguing that uv's standout feature is how easily it creates ad-hoc Python environments with dependencies for quick scripting.
Vali, a C library for Varlink(emersion.fr)
35 points by GalaxySnail | 11 comments
VibeVoice: A Frontier Open-Source Text-to-Speech Model(microsoft.github.io)
406 points by lastdong | 150 comments
Project page for Microsoft's VibeVoice, an open-source TTS model generating up to 90 minutes of multi-speaker conversational audio using LLM and diffusion.
Related stories
I built a programming language that LLMs can't use(blog.picheta.me)
244 points by dom96 | 179 comments
Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.
ChatGPT with voice is now available to all free users(twitter.com)
370 points by Jimmc414 | 232 comments
A post on X by Greg Brockman quoting OpenAI's announcement that ChatGPT voice conversations are now available to all free users in the mobile app.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
Some notes on Rust, mutable aliasing and formal verification(graydon2.dreamwidth.org)
323 points by todsacerdoti | 119 comments
A Dreamwidth blog post by Graydon Hoare with notes on Rust, mutable aliasing, and formal verification; the capture shows only a captcha check page.
Adding a feature because ChatGPT incorrectly thinks it exists(holovaty.com)
1125 points by adrianh | 386 comments
Adrian Holovaty's blog post about building a feature in Soundslice's sheet music scanner after ChatGPT kept telling users it already existed.
The best YouTube downloaders, and how Google silenced the press(windowsread.me)
495 points by Leftium | 216 comments
A Windows ReadMe newsletter post by Chris Hoffman recommending YouTube downloader tools and explaining how Google pressure keeps tech outlets from covering them.