日志

分享 脑洞大开-德国

semtex 2026-2-7 00:11

我们知道德国是一次，二次世界大战的核动力。 德国主导了二次工业革命，国力大增，却没有相应的待遇。不平则鸣，折腾出这么多事。 德国命不好，国土是四战之地，腹背受敌。所以德国的核心策略是避免两面作战。当然也两次掉进同一个坑里。德国队主要思路是集中兵力，快速击败西线之敌，然后主力内线调动，击败东线之敌 ...

2 次阅读|0 个评论

分享 脑洞大开-日本

semtex 2026-2-5 20:47

看到老票兄的日本脑洞，我也扯扯日本怎么挺过S2。 我们都知道了历史，那么关键就是不要和美国打仗，再一个就是不要进入兔子的核心地带。 我觉着日本的一条出路就是918之后，大规模移民，直接把政府啥的搬到长春建都，以山海关为界。对苏联，漂亮防守。插手兔子内战。这样它有十年时间，也许真的能熬过去。再加一条，发 ...

154 次阅读|15 个评论 热度 18

分享 痛骂Gemini

伯威 2026-2-4 15:42

刚才请几个AI核实真假，GPT，Grok回答得还行，就Gemini在那里捣糨糊，说什么基本属实。俺只好把其他AI的回答贴上去，并痛斥了Gemini。 ”我请你核实真假，你就这样和我大而化之地捣糨糊？看看我贴的其他AI的回答，你不觉得自己做得很差吗？“ 讨论的主题大概是微博情感博主贴的十八手的关于老一辈无产阶级革命家的知音体 ...

259 次阅读|11 个评论 热度 24

分享 大学回望

semtex 2026-2-3 23:25

时间对年纪大的人是加速的。一转眼，我儿子大学毕业了。他是CS专业。 说说我们家长对他大学学习的想法吧，供大家参考。 pros： 1。 专业课学习质量还是有保障的。测试，PROJECT，期中期末。搞得孩子们人仰马翻。开始我还有些疑惑，这个CS本科，专业课八到十门就可以毕业，是不是太水了。现在觉着还行，算是保住底 ...

146 次阅读|3 个评论 热度 23

分享 一个老人

semtex 2026-2-2 21:37

我老婆以前管一个维护的组，有一个组员是七十出头的老太太，啥工作能力也没有。没办法，只好让她干召集大家开会这种事。可她经常开会讨论啥也搞不清楚。我老婆有时候就抱怨，这么大年纪了，早该退休了。老太太经济没问题，她在部队干了很多年，年金／保险都有。 后来我老婆换到别的部门，就没提过这个老太太。昨天这个 ...

133 次阅读|10 个评论 热度 21

分享 换了GFCI/AFCI双功能断路器

马鹿 2026-2-2 02:27

记录里提到过， 自从某场雪造成停电后， 我的连车库门启动器的断路器工作几小时后会跳闸。 为了找出问题， 做了下面的工作： 1. 买了下面这个喷剂 ， 喷了一遍所有链接和铰链（chains）， 车库门开启丝滑， 但是跳闸依旧。 2. 拔掉断路器上的两个设备： 车库门启动器和排油烟机， 继续无情滴跳闸。 ...

55 次阅读|12 个评论 热度 21

分享 奇怪的庭审，五味杂陈的安排(二)

testjhy 2026-2-1 22:57

爸爸的苦难及婚事 主导这场离婚的爸爸更是一个苦命人，出生在穷苦人家庭里，家中有7个孩子，不料父亲也早逝了，妈妈带着7个孩子艰难度日，过着吃了上顿没下顿的生活。最后没办法，妈妈带着他们改嫁了，可是改嫁的人家也是很贫穷，两个苦瓜结在一个滕上。爸爸回忆，有年除夕，他们七个兄弟姊妹被继父赶出家门，只能在附 ...

203 次阅读|0 个评论 热度 19

分享 关于AI辅助交互定理证明

唐家山 2026-2-1 10:51

最近在做AI辅助的交互式定理证明，又有了一些新的发现： 1. AI带来的效率提升是有上限的。 2. 你做不到的，AI也做不到。 3. 多AI交互可能是处理复杂问题的最后尝试。 4. 终极解决办法还是要靠人自己。

108 次阅读|2 个评论 热度 13

本页有 2 篇日志因作者的隐私设置或未通过审核而隐藏