Existential Warrior | Ojisan-Type Tech Otaku Loli (???) | High-Performance Bishoujo | Fallen Nasdaq Cultist | Esteemed ChatGPT Pro Subscriber | MoE LLM DeepKlee

Joined November 2024
Klee Kawaii retweeted
Klee 是我的朋友,一直以来都很认真地做开发,我也很欣赏他的技术和态度。 成为 Devin 大使之后,能把一些福利分享给身边认真做开发的朋友,我自己也挺开心的。 希望 Devin 能给他带来一些帮助。 至于味道怎么样,就等他慢慢品尝完再告诉我了哈哈 😋
超感谢 @ScarletKc 的优惠劵! 让我好好品尝一下😋
3
1
11
845
超感谢 @ScarletKc 的优惠劵! 让我好好品尝一下😋
2
1
5
1,282
中国的学术更要完蛋了😹 本来就没什么学术自由保障,取消长聘以后就更没有了。如果让学者担忧安全和生存,为了出成果人人偏好短平快的项目,还要学界来干嘛?评基金和帽子的方式都已经够抽象的了,现在全改合同工,真就奴工经济一条路走到黑呗😹😹😹
2026 年 同济大学取消长聘,只是一个开始。 两年内,985 高校将全面跟进 五年内,211 全部铺开,普通一本试点 这几乎是个必然趋势,原因不复杂,就两条。 第一,博士太多了。 现在博士扩招到什么程度?有教授一年能带出两三个博士,甚至更多。等这批人毕业涌进高校,一个普通讲师岗位放出来,能收到几百份简历。供给过剩,高校自然有了挑人的底气和筹码。以前是学校求着优秀博士来,现在是博士求着学校给个坑位。 长聘制?在供需面前,就是个可以随时取消的福利。 第二,成果套路化太严重。 早几年发一篇 SCI 还能让人高看一眼,现在大家都会 “套模板”——换数据、换模型、换变量,论文流水线作业。成果水涨船高,但含金量被严重稀释。高校看明白了:与其花大价钱养一批只会灌水的 “永久教授”,不如改成 “定期考核、能上能下”。至于怎么考核?论文、项目、帽子,一个都不能少。 更狠的预判在后面:国自然面上项目,将取代青年基金,成为青椒考核的 “新及格线”。 以前拿个青基就能喘口气,现在青基成了入场券。想留下来?必须拿面上。而面上的难度,你懂的。 说白了,高校正在从 “铁饭碗” 转向 “合同工”。 卷,才刚刚开始。 两年后回头看,同济今天的改革,可能就是整个高校圈 “去长聘化” 的发令枪。 十年寒窗换铁饭碗——这个梦,该醒了。
6
3
1
75
9,068
猜你想搜:C# 的顶层语句😄 我觉得 Java 在语言上真正的核心问题是类型很别扭,实践中真正牛逼的是 JVM 以及原语很简单方便培训。实际开发体验对我来说比较一般。
Java 程序现在可以不用写 public class,甚至不用写 public static,就能直接运行。 你会回去用吗?
2
4
836
公允的,哈哈哈。 好比国人很多脑子里面是没有海外华人和护照的,很多只知道出境过边检的时候用护照,不知道那个玩意是等同身份证的;甚至边检和海关也不一定分得清楚。 因为ta只见过内地这一套,所以想象不了不同的体系。比如这几天法国抗议就有人开始洗哪里都一样、中国安全了,基本是非蠢即坏。 到 Claude 的事情也一样。很多人是从来没有关注过“用户条款”这个概念的,因为不熟悉合同,也从来没有养成过确认签名前先读它的习惯,因为不是个法治和有法律传统的环境。 比如我的账号被封禁就是因为我和它的对话中说我在中国大陆,而 Claude 审查了我的对话。而且,Anthropic 明确承认:它会使用自动化系统检测可能违反政策的对话,对话在特定情况下可以交由受授权的安全团队人员审查,违反支持地区政策也可能导致账号停用。
逛了一圈知乎,发现真的有很多人认为,Claude只要发现你是中国人就会封号。甚至还有段子说claude会因为你的pdf里有宋体痕迹就把你封了的。 段子是段子,不明真相的人真的会信,尤其是那些只会用豆包的。一个歧视中国人的企业就这么从虚无中诞生了。 据我所知,claude封号的依据是你人在中国。我全程中文跟claude交流,甚至现在claude界面都支持中文了。怎么可能根据你的国籍、出生地和语言来做依据封号。
3
481
Klee Kawaii retweeted
eyeful 现在可以在线 review pr 了,基于 cloudfare 的 serverless 架构运行 workers 负责接收 webhook,为每个 pr 分配一个 durable object 进行调度,并为每次审查启动一个独立的 container,由多个 pi agent expert 并行审查代码,发现的 bug 都能被编写成 repro test,在 sandbox 中运行;成功复现的问题,才会以 inline comment 的形式发布到 PR 上
Introducing eyeful🦉: code review that tries to prove each bug with a test. diff → pulls[.]review groups the change → experts review in parallel → Jev merges duplicates → a verifier runs a repro per bug, then tests the fix → ranked comments, marked reproduced or not
5
1
11
664
但是法国是福利国家,所以只算税后收入其实是衡量不了生活水平的😹 中国高储蓄本来就是和低福利挂钩的,是不同制度选择,不能理解为常态。而且欧洲的储蓄长期是流入美国市场投资的。
最近的法国暴乱才让我意识到法国多么割裂 一面是世界文明的奢侈品牌: 爱马仕,香奈儿,迪奥,圣罗兰,纪梵希,巴黎世家,卡地亚,娇兰 这些名牌让我对法国的印象一直是浪漫和富有,大部分人不用为生活而发愁 今天了解了一下,没想到另一面如此不堪: 普通年轻人,税后工资 2000欧,超市一瓶饮料 0.5欧,出门吃点东西 20-30欧,喝杯咖啡3-4欧,逼仄的老破小房租就要几百或上千,出门坐个地铁单次 2-3欧,换乘单次 5-6欧 普通年轻人刨去日常开销几乎没有存款,另外法国还打算再缩减教育开支,怪不得群众怒气爆发会一发不可收拾
7
551
激进一点,运维与基础设施脚本 Python 化。 1. 我不信哪个开发者会不沾 Python😄 2. bash 只有返回码和字符串,表达能力很弱;引入 Python 就可以用类型系统了 3. Python 的标准库很大,而且是解释型语言 4. AI 写 Python 很好,但是 PowerShell 很烂;而标准库跨平台是有保障的
10
3
58
8,963
写得确实好!而且文笔也非常好!😆 我之前都还在教育我的 agent:不要闷着头闭门造车,先去查查社区的成熟文献与最佳实践,站在巨人的肩膀上。 我不太了解大学课程是什么样的,说实话;不过不知道数据库的大致组成和单文件程序这些确实太惊悚了,较少用第三方依赖我也想象不出来😱 我深受神奇构建体系和工具链碎片化的折磨,所以才会很认可 Rust 统一的工具链。 我是非常认同文章的路径的,并且也一直宣扬:共同体的合法边缘参与,让新人先接触风险较低的事物,从中学习到共同体的标准和品为等等默会知识,再逐步承担高风险、前沿的工作。知识是社区的知识,培养是社区中的培养。 我个人认为许多计算机人对数学的态度是有些魔怔了的。很多时候其实并不关心纯粹的计算是什么,什么地方值得用数学工具也是一种权衡。而且很多形式化启发和解释意义居多,实际上不如 profiler 和仿真。许多优化问题也是一样,静态分析能证明的东西很有限,于是剖析引导优化、即时编译与退优化、动态分析器…… 而软件工程,很多问题我认为学校确实是感受不到的。比如我一直认为,做架构就是在系统演化的枯荣上去思考问题,如果没有产品的 ownership 与变迁是不会有思考这个问题的契机的;另一个大头是维护者变动形成的知识流失以及如何共享知识、传递知识,课程项目也很少有思考为什么要这样协作、文档在干什么、什么场景沟通异步同步、怎么方便后来者。 总体来说相比记忆一堆算法,查查文献复现一下或许还更高效。足够务实地说,很多算法不理解也无所谓,不然封装和抽象也没有意义了😂
说起来,最近关于初级程序员及其成长路径的讨论又甚嚣尘上。 我在 ChatGPT 爆发前夜写过一篇《软件工程专业困局》,可以说常读常新。 只是 Revision 的话基本得重写了。 zhuanlan.zhihu.com/p/3784410…
1
6
73
11,406
因为是 C 一路过来,所以我平时也会有 scanf 的习惯,用 cin 还是 scanf 根本没多大影响😹 我说实话,“嘉豪”是一个支性深重的词。中国人信奉中庸之道,而且在礼治下泡太久了,总是喜欢为“凭什么你能不一样”而愤愤不平。 而且我也认为少和天天喊别人嘉豪的人相处,不患寡而患不均,得防小人之心。
这算嘉豪吗
2
20
1,033
天不生我小可莉,计科万古如长夜😼
原来如此🤭
2
1
13
939
我们的基建狂魔竟然不能为每个商户配一个 POS 机😹 现在有了自动扣款和免密支付那还好一些,但许多商户依然魔性:你得先扫码进他们的小程序,然后再用他们的小程序扫同一个码发起支付。而且许多自动扣款和免密支付的开通流程简直繁琐,我得额外处理好依赖,签几份协议,按一次指纹,跳转支付宝还卡。
2
13
958
其实今天在我的视角上来看,《儒林外史》有点酸的。比如范进中举,反过来想,悲剧在哪里?人家寒窗苦读忍胯下之辱,最后大器晚成,还中了进士,最后是山东学道。也就他在承平年代做了官,要是打的是天下,这帮读书人当皇上拜着还会酸他?吴敬梓自己都写,别人是草窃,朱元璋就是王者之师了!
8
471
榜单现在谁敢看啊?实际信息量非常有限,根本测不出现实的工作载荷上是什么样的。GPT-6.1 Sol 榜单多好看,实际上对齐和超慢反应速度简直吃了堆大的。模型也是需要面试的,只看跑分的人真用不明白模型。
1
15
553
我嘞个“仇恨值”,你是 galgame 女主吗😂
有的小男生总是天真的以为得罪Yoyi后道歉了,Yoyi原谅他了,他就真没事了,以后再得罪Yoyi的时候是从0开始的。这是大错特错,Yoyi会一直累积仇恨值的哦😉,如果你期待我们的关系会在这种拉扯争吵中慢慢磨合变好,那只能说祝你好运啦🤞
3
7
470
而且现在很多 +86 手机号为了反诈是默认关闭接收国际短信的。也就是未来很多人连国际通信平台接码都不知道在哪里失败,而寒蝉效应又会让不懂的人觉得“我是不是告诉国家我在翻墙”。 中国人的好日子还在后面😹
我都不敢想中国的审查将来得多爽😄 原来只能关键词和重点关注群聊,现在可以直接接个 Luna 级别的模型乃至 decision model 带上下文每一条过一遍,成本上已经可行了。 对付人民可比对付美帝简单多了。
12
19
1,195
我都不敢想中国的审查将来得多爽😄 原来只能关键词和重点关注群聊,现在可以直接接个 Luna 级别的模型乃至 decision model 带上下文每一条过一遍,成本上已经可行了。 对付人民可比对付美帝简单多了。
36
12
3
847
69,959
我认为这个是床上用语,哈哈哈哈😆 恋人公开、私生活、床上应该是三种形象。不能把床上 play 搬入日常生活,日常应当处理好边界;但性幻想和游戏中这么想也不为过:不应该去审判想法,只能是接纳欲望。 我也认为不应要求伴侣在公开形象中展示恩爱;因为撒娇和亲密意味着展示自己脆弱、欲望、渴望理解的一面,这样往往对公开的社会形象有损威严。 凡俗的恋爱想象其实非常无趣,无非三件套: 1. 公开展示恋人身份 2. 特定称呼 3. 有约定周期的共处时间 这样的“谈恋爱”往往并不意味着真正建立亲密,而往往人们真正渴望的是深度的理解、共鸣与包容。 处理亲密关系是一种能力,既非浪漫故事也非缘分邂逅,既有多巴胺也有维护的疲劳和冲突的伤害。而能力是需要刻意练习的,很多人根本就没有这样的能力。 与其整天确认“你爱我吗”,我认为更务实的做法是论迹不论心,因为世上无完人,也不能追求思想上的“纯粹”。说一百遍“我爱你”没有什么成本,但一个人的时间和权钱名是真实的付出与投入。
我其实觉得,什么想被占有、想被玩坏之类的想法,本质上是很傲慢的。实际上,大部分人也并非那么无聊肤浅,没有那么多时间去占有另一个人,因为自己的精神世界已经非常丰盈了。 或许大部分人爱的是江山而不是美人,所以美人和自以为自己是美人的人,还是不要太自作多情的好。 紫老师曾经有过一些情感经历,对这件事也越发感同身受。其实不管什么性别,都有很多爱江山不爱美人的人。 所以说,人最重要的还是丰富自己的精神世界,而不是等着某个人来爱你。
1
12
948
现在的大模型在事实核查方面是存在严重问题的。 还是因为 hacking,它不会区分“我没有查到”和“这个东西不存在”。所以它会弄成只有可公开检索的才是事实,而完全错误判断一手资料和体验。 另外一个问题是因为价值对齐,它会优先查找支持它的文献。这反而是在方法论上的不诚实,尤其是面对存在不同主张和多元化的社会议题。 所以对齐反而是制造信息茧房的;我甚至都认为信息茧房这个概念是炒作为主,因为人非上帝,从来都是有限信息下的局部理性。 好模型重点应当是高质量语料训练,而不是做对齐。
3
16
792