今天

• 菜单
  林美好 送了一个“鲜花”给 马鹿 的日志 2025回国散记-1 3 分钟前

• 菜单
  孟词宗：DeepSeek 3.2 正式版和特别版发表了。 半小时前 (回复)

• 菜单
  黄序 在 heinsect 的留言板留了言 1 小时前

  其他参与者:常挨揍

• 菜单
  黄序 送了一个“鲜花”给 龙血树 的日志 西媒高纪律性地不报道封存，。。。十四亿人吸毒的大蛋糕 ... ... ... ... ... ... ... ... 1 小时前

  其他参与者:testjhy, mezhan, 松叶牡丹, 老票, 石璧, 我爱潜水, 方恨少

• 菜单
  黄序 在 常挨揍 的留言板留了言 22 小时前

展开

• 菜单
  黄序 在 喜欢 的留言板留了言 22 小时前
• 菜单
  黄序 在 龙血树 的留言板留了言 22 小时前

• 菜单
  landlord 送了一个“路过”给 陈比尔 的日志 关于老式三星掌上电脑请教过来人 1 小时前

  其他参与者:testjhy, 石璧, xiejin77, mezhan, 伯威, 赫然

• 菜单
  testjhy 送了一个“雷人”给 可梦之 的日志 日本人的一根筋初窥 1 小时前

  其他参与者:蓦然回首, 九麟居士, 龙血树, tanis, 水风, landlord, 长叶林, 黄序, helloworld, 夏雨

• 菜单
  testjhy 送了一个“开心”给 唐家山 的日志 AI辅助做定理证明的几点心得（续） 1 小时前

  其他参与者:mezhan, 老票, 马鹿, 石璧

• 菜单
  heinsect 在 testjhy 的留言板留了言 2 小时前

  其他参与者:马鹿

• 菜单
  方恨少 回复了 晨枫 的话题 放雪假：孩子欢乐大人愁 4 小时前

  其他参与者:随机微分算子, 晨枫

• 菜单
  唐家山 发表了新日志 4 小时前 (评论)

  5马上参与

  AI辅助做定理证明的几点心得（续）
  受蚊行启发，我也开始同时用DeepSeek和Gemini辅助进行定理证明。有时候让它们进行交叉验证。 Gemini给出的证明框架更简洁，DeepSeek对证明细节的把控更好。 如 ...

• 菜单
  xiejin77 回复了 晨枫 的话题 中国人这次为什么不抵制日货了 8 小时前

  其他参与者:可梦之, 陈比尔, 小书童, 鳕鱼邪恶
• 菜单
  xiejin77 回复了 大黑蚊子 的话题 论AI的“比学赶帮超” 9 小时前
• 菜单
  xiejin77 发表了新话题 10 小时前

  消失的私钥：一场被数学逻辑困死的选举
  消失的私钥：一场被数学逻辑困死的选举 偶然之间看到了一条新闻，却忍不住刨根问底的溯源了一下；也许是因为我之前研究了好久基于隐私计算的电子投票系统的缘故 ...

• 菜单
  龙血树 发表了新日志 9 小时前 (评论)

  8马上参与

  西媒高纪律性地不报道封存，。。。十四亿人吸毒的大蛋糕 ... ... ... ... ... ... ...
  　　 　　　　　　　 　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ...

• 菜单
  马鹿 在 zhouzp 的留言板留了言 11 小时前

  其他参与者:皇家骑警总监

• 菜单
  马鹿 在 逍遥探花 的留言板留了言 11 小时前

• 菜单
  zhouzp 回复了 齐若散 的话题 2025年12月2日签到红包 11 小时前

  其他参与者:宁娜, 老爷王, 逍遥探花, 皇家骑警总监, testjhy, 我爱潜水, 北京阿新, jellobean, 赫然, landlord, mezhan, 黄序, helloworld, 马鹿, 走南闯北, 喜欢

• 菜单
  逍遥探花 在 我爱潜水 的留言板留了言 12 小时前
• 菜单
  逍遥探花 在 宁娜 的留言板留了言 12 小时前
• 菜单
  逍遥探花 在 无言 的留言板留了言 12 小时前

展开

• 菜单
  逍遥探花 在 皇家骑警总监 的留言板留了言 12 小时前

  其他参与者:warbrai, 无言

• 菜单
  warbrai 在 可梦之 的留言板留了言 12 小时前
• 菜单
  warbrai 在 伯威 的留言板留了言 12 小时前
• 菜单
  warbrai 在 小书童 的留言板留了言 12 小时前

展开

• 菜单
  warbrai 在 鳕鱼邪恶 的留言板留了言 12 小时前

• 菜单
  如风如雨 送了一个“鲜花”给 semtex 的日志 回乡偶感 2 13 小时前
• 菜单
  如风如雨 送了一个“鲜花”给 马鹿 的日志 2025回国散记-6 13 小时前
• 菜单
  如风如雨 送了一个“鲜花”给 indy 的日志 倭岛有事，蛙岛有事 13 小时前

• 菜单
  皇家骑警总监 在 喜欢就捧捧场 的留言板留了言 13 小时前
• 菜单
  皇家骑警总监 在 马鹿 的留言板留了言 13 小时前

  其他参与者:黄序

• 菜单
  皇家骑警总监 在 mezhan 的留言板留了言 13 小时前

  其他参与者:黄序

• 菜单
  sleepyr 回复了 晨枫 的话题 如果日本不发动珍珠港偷袭 13 小时前

  其他参与者:赫然, 陈比尔, 晨枫

• 菜单
  jerf71：开心1。 13 小时前 (回复)

• 菜单
  三力思 回复了 晨枫 的话题 关于钍堆上舰：再请T教授、沉宝兄和其他爱友指教 13 小时前

  其他参与者:怎这样呢

• 菜单
  陈比尔 发表了新日志 15 小时前 (评论)

  8马上参与

  关于老式三星掌上电脑请教过来人
  最近收拾房间，竟然翻出一台老式的三星TabE掌上电脑。但发现两个问题： 1，无法安装今日头条的APP，系统提示“此应用与您的手机不兼容”，难得北美的三星掌上电 ...

• 菜单
  凡卡：BBC中文一天连发几十个视频贴文说香港大火，这是又看到能下蛆的地方了 15 小时前 (回复)

• 菜单
  helloworld 送了一个“雷人”给 孟词宗 的日志 日本卖春女的传统 22 小时前