telegram_1071194014
@telegram_1071194014:nichi.co
1,000 messages · Page 4 of 10
telegram_1071194014
模型对齐了就没啥幽默感了
telegram_1071194014
* 国内评测比国外的强点还是
telegram_1071194014
国内评测比国外的还是
telegram_1071194014
感觉苹果是性价比手机
telegram_1071194014
联想现在对 moto 的控制咋样
telegram_1071194014
感觉 Android 就没几个非国产牌子,
telegram_1071194014
不是国内的不解锁没事
telegram_1071194014
不能刷机的话,不用国产机了
telegram_1071194014
不过下个手机准备买三星
telegram_1071194014
三星 Ab 分区都托了好久,改动太大了
telegram_1071194014
一加感觉路边了,现在在用,下个手机不用了,
telegram_1071194014
下个手机反正不买国产的了
telegram_1071194014
cli + 编辑器看 git diff ,提交细一点应该行?
telegram_1071194014
Agent CLI 之父
telegram_1071194014
https://github.com/vadimdemedes/ink
telegram_1071194014
几乎所有的 AI cli 都是 react 做的 TUI
telegram_1071194014
不过也不好说,现在流行用 React 开发 TUI
telegram_1071194014
没多少人设计的来 gui
telegram_1071194014
多模态编辑器好用啊
telegram_1071194014
不如纯文本
telegram_1071194014
markdown 什么路边格式
telegram_1071194014
VS Code 我都把 AI 关了
telegram_1071194014
这种 AI 编辑器和 cli agent 有啥区别
telegram_1071194014
有括号匹配就行
telegram_1071194014
感觉还好,高亮也不是很基本
telegram_1071194014
没有竞争性的选举都不用讨论这个问题
telegram_1071194014
这两不都是选么,
telegram_1071194014
https://blog.skk.moe/post/to-kill-a-parrot-detecting-xtls-vless-reality-server/
telegram_1071194014
[m.image] Screenshot_2026-02-15-02-17-34-03.jpg
telegram_1071194014
让 ai 找 eval 的自反表达式字符串,AI 直接烧了
telegram_1071194014
https://t.me/archlinuxcn_offtopic/7999633
telegram_1071194014
依赖于经验的肯定不是定义
telegram_1071194014
* 不过似乎他的观点也有点过时了…… Quine (同时也是命名递归程序的那个)好像是彻底破坏了分析和综合的二分法,认为不存在任何分析命题
telegram_1071194014
不过似乎他的观点也有点过时了……
telegram_1071194014
定义需要是一个等价性的分析命题,我不觉得这是等价的,也不觉得是分析的
telegram_1071194014
摩尔证明「好」是不可定义的,就用到了分析性、综合性,等价性、概括性的区分
telegram_1071194014
当P是任何一个谓词,一个关于P的定义就是对我们
用P所表达的性质的一个定义(或者分析)——即通过这样一个真句
子所表达的定义:
“是(一个)P”这一性质就是“是(一个)D”这一
性质。其中,D是某个词或者短语。例如,在这个意义上,一个关
于“正方形”这个词的定义会告诉我们,“是一个正方形”这个性质就
是“是一个具有四条等边的长方形”这个性质。根据这个观点,“正方
形”这个词通常被用来表达一个复杂的性质,它的构成成分包括“是一
个长方形”这个性质,以及“具有四条等边”这个性质。既然这个性质
也可以由“具有四条等边的长方形”这个短语来表达,那么“正方形”这
个词跟这个短语就意味着同样的东西;并且,在任何一个句子中,它
们都可以为对方所替换,而不改变句子的意思或者它所表达的命题。
说好是不可定义的,摩尔就是说“好”这个词不具备这种意义上的定
义;我们用它来表达的性质是简单的、不能再被分析的性质,即:它
没有任何其他的构成性性质。
telegram_1071194014
我找找,只有个大概的映像,他说定义有几个性质
telegram_1071194014
你可以参考摩尔的理解
telegram_1071194014
* 引用一个历史区间作为例子的东西都不算定义,
telegram_1071194014
引用一个历史区间的东西都不算定义,
telegram_1071194014
举例不算定义啊
telegram_1071194014
喜欢键的反正总是要把简单问题讲复杂了,才好借题发挥嘛
telegram_1071194014
什么是生产者,产业链上游还是下游
telegram_1071194014
可可直接煮着吃应该还是有的吧
telegram_1071194014
天天种白菜的也不是都吃过开水白菜
telegram_1071194014
后续加工才是更复杂的啊
telegram_1071194014
可可只是巧克力的一环啊
telegram_1071194014
谁出钱归谁
telegram_1071194014
那看主要是哪个地区提供的研究资金支持
telegram_1071194014
早就死了,看加盟国呗
telegram_1071194014
俄国也没有
telegram_1071194014
阿拉伯也没有
telegram_1071194014
非洲这么多国家都没有
telegram_1071194014
最明显的问题不是这图里面采样的国家除了中日都是「西方」国家……
telegram_1071194014
相关应该也是一种关系吧……
telegram_1071194014
我国是皮内注射啊
telegram_1071194014
这种9针印章
telegram_1071194014
[m.image] image.jpeg
telegram_1071194014
感觉日本人给宝宝打得卡介苗好疼啊
telegram_1071194014
能在 tty 里面复制文本
telegram_1071194014
tmux 还有一个好处
telegram_1071194014
https://missing.csail.mit.edu/2026/agentic-coding/
telegram_1071194014
没看错吧
telegram_1071194014
这玩意加了啥 agent 编程
telegram_1071194014
不是
telegram_1071194014
https://missing.csail.mit.edu/
telegram_1071194014
群友要破坏计算机系统了吗
telegram_1071194014
啊这
telegram_1071194014
* 现在不知道 node 模块 abi 稳定没,总要 rebuild
telegram_1071194014
现在不知道 node abi 稳定没。。
telegram_1071194014
这个东西是干啥的
telegram_1071194014
[m.image] image.jpeg
telegram_1071194014
装了 node-gyp 需要的构建工具
telegram_1071194014
* MACos 不也要安装 xCODE
telegram_1071194014
中国得道多助,美国失道寡助,中国赢
telegram_1071194014
全力支持全球南方
telegram_1071194014
好事啊
telegram_1071194014
MACos 不也要安装 Xcode
telegram_1071194014
这也能怪Windows么,要原生库支持肯定要编译器的啊……
telegram_1071194014
你这 C 有点小啊。。
telegram_1071194014
* 有啊,你要 node gyp 就需要了啊
telegram_1071194014
* 有啊,你好 node gyp 就需要了啊
telegram_1071194014
有啊,你好 node gyp 就需要了我
telegram_1071194014
传统 QT 小部件是没有硬件加速的吗
telegram_1071194014
可以弄个虚拟机安装,然后拷贝出来吧
telegram_1071194014
一般只能设置原型patch吧……
telegram_1071194014
《恭喜恭喜》,但是python字幕 http://www.bilibili.com/video/av116067078774073
telegram_1071194014
除非你搞个闭源协议
telegram_1071194014
存哪里不是都会被训练么
telegram_1071194014
写 PowerShell 都写不好
telegram_1071194014
gemini 好笨啊
telegram_1071194014
太阳能板有环境毒性吧
telegram_1071194014
但是他这个接下来的版本是 24年8月也有点离谱
telegram_1071194014
……
telegram_1071194014
[m.image] image.jpeg
telegram_1071194014
LLM 是法学硕士,但是我们有法学博士
telegram_1071194014
而且一直卡在这里
telegram_1071194014
[m.image] image.jpeg
telegram_1071194014
他还不知道 1.26