emacsconf.org/2020/talks/04/
Emacs 大法好
为了给之前做的交互简历配一套能随阅读状态动态切换的 BGM,我和 Claude 手搓了一套纯文本编曲语言,今天把它单独抽出来开源了:plainscore。
它和 MIDI 最大的区别就是:MIDI 是给机器读的二进制时间戳,而 .score 是给人读、给 AI 改的草稿纸。
在 plainscore 里你不用像写五线谱那样把每个和弦分解的音符抄八百遍:
- 和弦(chords)和伴奏律动(part)是分开的,伴奏只写 `1 bass w`、`2& t2 q. soft`
- 编排(form)就像调音台,直接写哪一小节谁进、谁退、音量多少
- 甚至支持 `ad lib.` 让竖琴按调式和概率随机点缀,自动避开主旋律
最爽的是在文件头塞了 20 行 Legend 注释,丢给任何 AI 都能秒懂语法,说一句「把第三段改成大提琴独奏」它改两行文本就完事,还能直接 git diff。
零依赖编译成 ABC 五线谱 + MIDI + WebAudio 事件流。
github.com/Innei/plainscore
现在 AI 模型训练 infra 除了 @daytonaio ,今天又多了解了一个
Harbor Framework
harborframework.com/
Adam Cheung retweeted
Your ChatGPT subscription is now also a Devin subscription
You can use any personal ChatGPT plan with Devin
Just connect your Go, Plus, or Pro plan to Devin and all GPT model usage will draw down from you plan's quota
Readers added context they thought people might want to know
A ChatGPT plan can cover GPT model usage inside Devin for users with a separate Devin plan, but does not grant Devin access or act as a Devin subscription.
docs.devin.ai/admin/billing/…
help.openai.com/en/articles/20…
devin.ai/blog/sign-in-w…
Railway 试用到期了,换到 @vercel 平台部署 Golang 服务
oss-criticality-radar.vercel…
Claude Code 对开源项目重要性评分达到 .4 的开发者提供 6 个月的 Claude Max 20x
对于重要性评分使用 Golang 写的项目本地测试:github.com/ossf/criticality_…
这两天用 @grok 最新的 4.5 模型搭了一个 Web 界面:oss-criticality-radar.vercel…
核心算法还是那个 Golang 服务,不过托管到 @Railway 平台了
给自己的 pet project 做性能优化(JavaScript)时才会注意到的几点:
1. Map/Set 用数字类型做 key 时比用字符串或对象操作起来更快
2. Array.from(frozen) 比用 slice() on a frozen array 更快
3. typed array 这种数据结构在性能优化算法里挺常用
这两个案例体现了理论算法复杂度中的常数因子在实际应用中的重要性
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Readers added context they thought people might want to know
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s… github.com/spicylemonade/…
为什么接触自然对我们有益:认知科学趋势 cell.com/trends/cognitive-sc…
Fable 5.1 Max 可以生成高质量的英语听说学习资料
试了一下只有高级人工智能模型才能做到,当然使用成本也高
听力资源来自 @BBC
Adam Cheung retweeted
what if copy/paste was smart?
powered by @typesafeai jev
it feels like every computer interaction will get rewritten
Adam Cheung retweeted
New experiment: json-render + jev
The future Generative UI is instant
Your components, your actions, your design system
Rendered in milliseconds























