MacBook Neo education price is $649, up from $499 earlier this year. Apple’s new products are good. Apple’s new pricings are bad.
Key points
Education price now $649
Launched at $499 earlier this year
Sources
Qwen3-TTS custom voice blending with 1.7B models
Qwen3-TTS lets you clone a voice from a short recording and blend it with a voice generated from a text description using the 1.7B-VoiceDesign model. The base model provides a 2048-dimensional speaker embedding that can be arithmetic-combined to create new voices. The author demonstrated blending a 28-second clip of his own voice with a designed voice and baking the result into a new reference file.
Key points
1.7B-Base clones a voice from a few seconds of reference audio using a 2048-number speaker embedding.
1.7B-VoiceDesign creates a voice from a text description and can be blended with a cloned embedding.
Sources
- Original post
- Custom Voices With Qwen3-TTS - Linked page
Lean vibeproving de facto, Anthropic posts Rocq vibeproving
Lean is described as the de facto language for vibeproving, and Anthropic recently published a post about vibeproving in Rocq. The post lists theorem provers, specification languages, and verifiable programming languages with brief distinctions. It notes Dafny as the easiest to start with among verifiable languages.
Key points
Lean is the de facto language for vibeproving.
Anthropic recently published a post about vibeproving in Rocq.