This media is not supported in your browser
VIEW IN TELEGRAM
动物森友会里面可以创作一个简短的曲调作为岛歌,和每个角色对话时,对方都会用自己独有的音色演奏。旋律只能由匀速播放的 16 个音符组成。我最近看了太多奇怪拍号的音乐😂于是想要逃脱这里每行 8 个音符带来的 4/4 拍的思维定势,写下了这个,正好能挤进 16 个音符的空间耶。
👍3
😂SQLite 的 query planning 能力还是比较有限的(试了一下 PostgreSQL 是会用索引正向反向各读一次的)。
SQLite 的 query planner 倒是很简单好理解,读一遍 https://sqlite.org/optoverview.html 就能猜出各种常见情况会怎么执行了,作为学习材料很棒。
SQLite 的 query planner 倒是很简单好理解,读一遍 https://sqlite.org/optoverview.html 就能猜出各种常见情况会怎么执行了,作为学习材料很棒。
👍6
尝试使用 AI 解决一些复杂问题(例如思考、分析代码、写代码)的话,目前一定要注意使用官方正版的 API 和正确的使用方法。
前段时间我试了一下 codex-cli + openrouter 的 gpt-5.1-codex reasoning high,发现奇蠢无比(图一:连数数都不会了.jpg 图二:???),和我用自己的账号的效果很不一样。@zzh1996 抓包发现使用 openrouter 而非官方的话,根本不会发送 reasoning effort 参数,并且也无法把加密的 reasoning 带进上下文等,确实有很多硬伤,模型根本无法发挥实力。他告诉我他遇到过很多次有人吐槽 AI 菜,结果只是因为没有用官方正版以及最好的模型和参数了。我日常在网上也能注意到很多对于 AI 使用体验的吐槽似乎明显不是当前最好的模型按好的方法使用的效果,感觉这样很可惜,很多有不同观点的人可能只是因为用的就是完全不同的东西。
前段时间我试了一下 codex-cli + openrouter 的 gpt-5.1-codex reasoning high,发现奇蠢无比(图一:连数数都不会了.jpg 图二:???),和我用自己的账号的效果很不一样。@zzh1996 抓包发现使用 openrouter 而非官方的话,根本不会发送 reasoning effort 参数,并且也无法把加密的 reasoning 带进上下文等,确实有很多硬伤,模型根本无法发挥实力。他告诉我他遇到过很多次有人吐槽 AI 菜,结果只是因为没有用官方正版以及最好的模型和参数了。我日常在网上也能注意到很多对于 AI 使用体验的吐槽似乎明显不是当前最好的模型按好的方法使用的效果,感觉这样很可惜,很多有不同观点的人可能只是因为用的就是完全不同的东西。
👍4
今天才知道 VS Code 会检测注释中的“MARK: foo”这样的写法,把“foo”显示在小地图上。我一直觉得小地图需要这个功能!
👍3
https://modelware.zgci.info/
给我所在的全员高配的团队做了个网站😆
🙈我又过度调研了什么:
- 首先,iOS 上浏览器里是没有宋体楷体的,想各平台风格较为一致就只能用黑体。
- font-family: system-ui, sans-serif 看似能选中每个平台上合适的字体,但在 Linux 上,这样选中的 Noto Sans CJK SC 竟然只支持两种 font-weight,必须在 font-family 里面直接写 'Noto Sans CJK SC' 才能解锁全部字重。
- 有的平台上 system-ui 命中了中文字体后,英文和数字也会用这个中文字体渲染,而没法用平台 UI 默认英文字体,这个问题好坑啊,system-ui 不能定义成按平台 UI 默认选字体的逻辑对每个字符分别选择吗?
- 经过测试,正确配置字体的情况下,300 400 500 700 900 这 5 档字重在各平台基本都是不同的,可以安全使用(而比如 600 700 在有的平台上是相同的)。
- 双引号、单引号、间隔号如果想让中文渲染中占汉字宽度,英文渲染中占很小的宽度,可以在中文元素上加一个最高优先级的自定义的 font-face 实现。思源黑体和微软雅黑中的这些字符都是汉字宽度,好。苹方黑体的引号则比汉字宽度窄,所以即使这样做了效果也不完美,坏!
给我所在的全员高配的团队做了个网站😆
🙈我又过度调研了什么:
- 首先,iOS 上浏览器里是没有宋体楷体的,想各平台风格较为一致就只能用黑体。
- font-family: system-ui, sans-serif 看似能选中每个平台上合适的字体,但在 Linux 上,这样选中的 Noto Sans CJK SC 竟然只支持两种 font-weight,必须在 font-family 里面直接写 'Noto Sans CJK SC' 才能解锁全部字重。
- 有的平台上 system-ui 命中了中文字体后,英文和数字也会用这个中文字体渲染,而没法用平台 UI 默认英文字体,这个问题好坑啊,system-ui 不能定义成按平台 UI 默认选字体的逻辑对每个字符分别选择吗?
- 经过测试,正确配置字体的情况下,300 400 500 700 900 这 5 档字重在各平台基本都是不同的,可以安全使用(而比如 600 700 在有的平台上是相同的)。
- 双引号、单引号、间隔号如果想让中文渲染中占汉字宽度,英文渲染中占很小的宽度,可以在中文元素上加一个最高优先级的自定义的 font-face 实现。思源黑体和微软雅黑中的这些字符都是汉字宽度,好。苹方黑体的引号则比汉字宽度窄,所以即使这样做了效果也不完美,坏!
软件智能研究所
构建超级软件智能,定义下一代计算智能范式。
👍9
#今天我学到了什么
四条腿的桌子椅子在不平整的地面上经常会晃动,三条腿就不会晃了,但让倾倒的可能性增加了不少。
五条腿是一个好得多的解决方案,虽然在不平整的地面上仍然会有腿是悬空的,但重点是,四条腿的情况下重心一般正好在临界线(也就是某一条对角线)附近游荡,导致在两种模式之间切换。五条腿的情况下重心不靠近任何临界线,所以会是相同的三条腿实际在支撑,不会晃。
四条腿的桌子椅子在不平整的地面上经常会晃动,三条腿就不会晃了,但让倾倒的可能性增加了不少。
五条腿是一个好得多的解决方案,虽然在不平整的地面上仍然会有腿是悬空的,但重点是,四条腿的情况下重心一般正好在临界线(也就是某一条对角线)附近游荡,导致在两种模式之间切换。五条腿的情况下重心不靠近任何临界线,所以会是相同的三条腿实际在支撑,不会晃。
👍7
Forwarded from Welcome to the Black Parade
有趣啊有趣🤩 我觉得 saka 奥老师会喜欢这 AUTOREAP 和 AUTOKILL。我至今回想起 wait 和 SIGCHLD 那些莫名其妙的 kā kā gó gó 总觉得自己沉浸在脚臭的微醺里,房间里人人都在以自己更能吸脚臭而自豪。
https://lwn.net/SubscriberLink/1059673/4c66147b1b92e237/
https://lwn.net/SubscriberLink/1059673/4c66147b1b92e237/
Please open Telegram to view this post
VIEW IN TELEGRAM