记录 - 爱吱声 - Powered by Discuz!

鳕鱼邪恶: 本福尔德号原来是被兔子055拉爆了发动机～

半小时前回复|

赫然: 这个刹车门，现在看来不是一次科学的工程探索，而根本是一次有计划的情绪挑动。

赫然: 正常工程师会对市面上大部分刹车进行破坏性测试，得出破坏阈值和破坏形式的总结。再对人发力进行测试。 (10-9 01:50)
赫然: 最后得到一个合理的工程建议，甚至成为一个新的标准。为汽车制造和安全做出贡献。现在显然是个有目标的行动，重点根本不在乎提高汽车工业。 (10-9 01:52)

1 小时前回复|

大黑蚊子: 尊界刹车踩断这个事，凡是纠结“符合国标”或者“暴力测试”的人我觉得都挺可爱的，有一种在自己墓碑上刻“对方全责”的执着，真希望收了钱

...

2 小时前回复|

虽然很丑: 最新一期阿星探店，展示了沈阳17元的自助餐，馋死人了。美国这边动辄2，30美元的自助餐真是吃不起。而且现在自助餐从消费都是20%起步了。

昨天 23:26 回复|

蓦然回首: 小朋友入选高中羽毛球校队，拿回一个羽毛球包，一双羽毛球鞋，长袖短袖的羽毛球服四件套，背后还印着名字和校名。统统不要钱，李宁赞助的

老票: 哇~ 厉害厉害！这真的值不少钱~ 不过还真没听说过羽毛球服还有长袖的冬天打球短袖都嫌热，是颁奖专用服装么？ (10-8 22:59)
蓦然回首: 我就奉承他，儿子没白养，小朋友真优秀，凭着自己的本事让爸妈见到回头钱儿了 (10-8 23:04)
皇家骑警总监: 那是给爹的！大毛上身，长袖变短袖 (10-9 01:45)
五月: 羽毛球打了千百度，暮然回首，已经拿到，李宁的赞助 (10-9 00:22)
pcb: (10-9 00:48)
夏雨: 好厉害！没送个战戟9000？ (10-9 02:57)

昨天 22:55 回复|

jerf71: 开心2。

昨天 21:17 回复|

jerf71: 开心2。

昨天 21:17 回复|

住在乡下: 假期结束，步入正轨，上午挨扎，下午步行悬挂搬砖

昨天 17:44 回复|

住在乡下: 假期结束，步入正轨，上午挨扎，下午步行悬挂搬砖

昨天 17:44 回复|

伯威: AI meat proxy，什么鬼畜叫法？

昨天 17:07 回复|

老票: 看议罪银查资料：明朝才开始大量使用白银，水浒传是施耐庵写穿帮了的；清朝咸丰才有银（官）票，《鹿鼎记》里韦小宝的银票也是穿帮

天狼星: 近现代才有专门的脱产学校，金庸武侠里的不事生产埋头练武的门派，说起来全部穿帮~ (10-8 16:00)
老票: 我认为梯云纵这类才算是过分穿帮 (10-8 19:45)
蓦然回首: 其实梯云纵的原理最早是还珠楼主在蜀山剑侠传里提到的，当年我看到这里就果断弃书了 (10-8 22:50)
老票: 要是总拿牛顿力学当标准，武侠书就真没法看了不如转攻福尔摩斯和狄仁杰 (10-8 22:57)
蓦然回首: 主要是我小时候听我哥和他同学在讨论这个桥段听的一愣一愣的。后来上了初中学了物理，发现自己的智商被侮辱了。找到根源恼羞成怒 (10-8 23:01)
老票: 郭靖黄蓉密室里对掌不离手修炼好多天只吃西瓜有水分和糖够营养我凑合能理解，但他们咋出恭这事儿确实没整明白也不敢问 (10-8 23:08)

昨天 13:36 回复|

天狼星: 才知道零跑居然找老gay当代言人？这是什么狗屁脑回路？什么目标客户群啊？

indy: Gaygay相印 (10-8 08:18)
leekai: 心有0️⃣犀 (10-8 09:16)
凡卡: 我感觉当年《奇葩说》里的这一群人是个团伙，其中就包括傅首尔，蔡康永，这里面没几个正常人，他们在国内娱乐圈抱团，有一定影响力， (10-8 10:40)
皇家骑警总监: 这个老gay是0啦，零跑找他不是天经地义嘛 (10-8 14:00)
虽然很丑: 文学造诣好深。 (10-8 23:30)

昨天 07:42 回复|

jerf71: 开心3。

前天 23:40 回复|

数值分析: OpenAi 一口气解决发表了372个数学难题。。。有人估计，其中10来个菲尔兹奖级别，40~50个院士级别，其他也有教授，博士，硕士级。这是什么节奏？

togo: 没想到数学界还有这么多未结难题 (10-8 04:01)
雷达: 我好奇地点是，总说数学是基础科学，这回基础科学快速大突破，应该很快能体现在具体应用上，想看看有何效果 (10-8 06:58)
testjhy: 数学突破到具体应用之间的时间距离太长了，现在的数学难题本身可能应用有限，是证明过程的方法更有价值，方法的物理意义，被技术界理解等等， ... (10-8 07:10)
数值分析: 好像是说基础科学的定义就是成果很难直接应用到实践吧？应该不会很快的 (10-8 15:37)
料理鼠王: 被证明的定律就可以作为依据，这点对于编程很重要。所以才有那么多学应用数学的成为程序员。 (10-8 16:25)
伯威: 牛逼大发了。 (10-8 09:56)
孟词宗: 问题不在于证明，而在于验证这些证明。现在一般用Lean这类验证器。问题是AI写出来的Lean code没人能读懂或者太臃肿没人能读完。 (10-8 23:32)
孟词宗: 那么怎么证明AI写出来的“证明”是证明原来的题目而没有进行篡改？ (10-8 23:32)