Attached: 1 image *sigh* rather than seriously considering the MathAndAI dot org declaration from 28 Fields Medal winners (including Terry Tao), OpenAI just plowed ahead full-steam and released another 372 major results in mathematics around unsolved problems (although the proofs are reportedly nearly impossible to independently understand—but verification via Lean appears to be included for many—and read like the author was stoned). I will tap the sign, once again, even though none of the AI companies are paying any attention. #maths #mathematics https://scottaaronson.blog/?p=10169

https://www.audacityteam.org/audacity-4/ **Audacity 4** is a major rebuild of the free, open-source audio editor, introducing a redesigned interface, new editing workflow, customizable workspaces, rebuilt effects and expanded plug-in support. Audacity 4 substantially changes the application’s interface and underlying technology while retaining its free, open-source model. The new version introduces a redesigned editing workflow with clip handles, per-track metering, markers and regions, dedicated loop controls, and direct sample editing. The update also adds customizable workspaces, new interface and clip-color options, redesigned effect windows, native LV2/VST3/AU plug-in support, and integration with MuseHub and audio.com. Existing Audacity 3 `.aup3` projects can be opened directly in Audacity 4. **Features:** * New Qt-based application framework * Redesigned editing interface * Trim and stretch handles directly on clips * Per-track input and playback metering * Markers and regions for project annotation * Export audio based on labels * Dedicated loop-region controls * Direct sample editing when zoomed in * Customizable workspaces * Ruler options for seconds or bars and beats * Custom accent colors and themes * Light, dark and high-contrast themes * Individual clip colors * Rebuilt effect windows * Native LV2, VST3 and Audio Unit support * MuseHub integration for effects, samples and oneshots * Cloud project integration through audio.com * Existing Audacity 3 `.aup3` projects open natively **Pricing & Availability:** **Audacity 4** is free and open source under the GPL v3 license. It is available now for macOS, Windows and Linux.

“By working remotely, I break down boundaries. I’m a traveler and a worker, a learner, and a teacher. I’m a digital nomad and a real-life colonist.” 9/14/23 ...

"I have been gravely disappointed with the white moderate. I have almost reached the regrettable conclusion that the Negro's great stumbling block i...