今天

• 菜单
  warbrai 在 semtex 的留言板留了言 半小时前
• 菜单
  warbrai 在 唐家山 的留言板留了言 半小时前
• 菜单
  warbrai 在 龙血树 的留言板留了言 半小时前

展开

• 菜单
  warbrai 在 indy 的留言板留了言 半小时前
• 菜单
  warbrai 在 马鹿 的留言板留了言 半小时前
• 菜单
  warbrai 在 雷达 的留言板留了言 半小时前

• 菜单
  住在乡下 送了一个“路过”给 semtex 的日志 江湖大佬 半小时前

  其他参与者:逍遥探花, 唐家山, 赫然, drknight, 黑洞的颜色, landlord, moletronic, helloworld, 黄序, 方恨少, 长叶林, 马鹿, mezhan

• 菜单
  住在乡下：去山里，寒风刺骨，在暖棚里，烤壁炉，吃铁锅炖？带人气王，傻白甜？ 半小时前 (回复)

• 菜单
  天狼星 回复了 晨枫 的话题 为什么DeepSeek的特别版叫V3.2 Speciale 1 小时前

  其他参与者:晨枫

• 菜单
  逍遥探花 在 warbrai 的留言板留了言 1 小时前
• 菜单
  逍遥探花 回复了 齐若散 的话题 2025年12月3日签到红包 1 小时前

  其他参与者:zhouzp, 我爱潜水, 赫然, 皇家骑警总监, 无言, mezhan, 宁娜, jellobean, helloworld, 喜欢, 黄序, 马鹿, 清凉山, 齐若散

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

  其他参与者:drknight, 方恨少, testjhy, mezhan, 老票, 马鹿, 石璧

• 菜单
  晨枫 发表了新话题 2 小时前

  

  土耳其Kizilelma无人机发射空空导弹是多大个事
  土耳其的Kizilelma无人机在飞行中依靠自己的雷达捕获目标，然后发射一枚土耳其自行研制的Gokdogan雷达制导空空导弹，成功地击中目标。土耳其很激动，到处宣扬。 ...

• 菜单
  drknight 送了一个“鲜花”给 indy 的日志 倭岛有事，蛙岛有事 3 小时前
• 菜单
  drknight 送了一个“鲜花”给 可梦之 的日志 日本人的一根筋初窥 3 小时前

  其他参与者:testjhy, 蓦然回首

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

  其他参与者:landlord, testjhy, 石璧, xiejin77, mezhan

• 菜单
  mezhan 在 沉宝 的留言板留了言 8 小时前
• 菜单
  mezhan 在 黄序 的留言板留了言 8 小时前

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

  其他参与者:长叶林, 北京阿新, 黄序, testjhy, mezhan, 松叶牡丹, 老票, 石璧, 我爱潜水, 方恨少

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

  15马上参与

  江湖大佬
  这半年我老妈生病，因为病比较少见，花了很长时间诊断。我也一直在医院陪床。 住院要做很多检查，尤其老妈这种疑难杂症。她做检查有一个现实的困难，当时医 ...

• 菜单
  鳕鱼邪恶：日本继烧了一个社区之后，钢铁厂发生爆炸。。忽然想起，低烈度战争形式应该也包括特务破坏吧？东亚三国最近火灾一个连一个，棒子最大的. 9 小时前 (回复)
• 菜单
  鳕鱼邪恶：兔子用机器人在中印边境站岗，被阿三拍下来放网上了～ 9 小时前 (回复)

• 菜单
  齐若散：[landlord]2025年12月1日首5? http://www.aswetalk.net/bbs/plugin.php?id=luckypacket&pid=6626 10 小时前 (回复)

• 菜单
  林美好 送了一个“鲜花”给 semtex 的日志 回乡偶感 2 10 小时前

昨天

• 菜单
  林美好 送了一个“鲜花”给 马鹿 的日志 2025回国散记-1 昨天 23:51

• 菜单
  孟词宗：DeepSeek 3.2 正式版和特别版发表了。 昨天 23:06 (回复)

• 菜单
  黄序 在 heinsect 的留言板留了言 昨天 22:30

  其他参与者:常挨揍

• 菜单
  heinsect 在 testjhy 的留言板留了言 昨天 21:07

  其他参与者:马鹿

• 菜单
  方恨少 回复了 晨枫 的话题 放雪假：孩子欢乐大人愁 昨天 19:06

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

• 菜单
  唐家山 发表了新日志 昨天 18:56 (评论)

  9马上参与

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

• 菜单
  xiejin77 回复了 晨枫 的话题 中国人这次为什么不抵制日货了 昨天 15:25

  其他参与者:可梦之
• 菜单
  xiejin77 回复了 大黑蚊子 的话题 论AI的“比学赶帮超” 昨天 13:59
• 菜单
  xiejin77 发表了新话题 昨天 13:37

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

• 菜单
  龙血树 发表了新日志 昨天 13:59 (评论)

  12马上参与

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

• 菜单
  马鹿 在 zhouzp 的留言板留了言 昨天 12:44
• 菜单
  马鹿 在 逍遥探花 的留言板留了言 昨天 12:42

• 菜单
  zhouzp 回复了 齐若散 的话题 2025年12月2日签到红包 昨天 12:44

  其他参与者:宁娜, 老爷王

• 菜单
  逍遥探花 在 我爱潜水 的留言板留了言 昨天 11:18
• 菜单
  逍遥探花 在 宁娜 的留言板留了言 昨天 11:18

• 菜单
  warbrai 在 可梦之 的留言板留了言 昨天 11:15
• 菜单
  warbrai 在 伯威 的留言板留了言 昨天 11:14
• 菜单
  warbrai 在 小书童 的留言板留了言 昨天 11:13