唐家山@爱吱声 http://aswetalk.net/bbs/home.php?mod=space&uid=1830 爱吱声 Copyright(C) 爱吱声 Discuz! Board by Comsenz Inc. Sun, 12 Apr 2026 06:49:23 +0000 http://aswetalk.net/bbs/static/image/common/logo_88_31.gif 爱吱声 http://aswetalk.net/bbs/ 从V2Ray到Xray http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94711 唐家山 Fri, 10 Apr 2026 13:30:08 +0000 现场播报 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94675 唐家山 Tue, 10 Mar 2026 02:05:00 +0000 硅基生物的“人性” http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94674 唐家山 Fri, 06 Mar 2026 01:29:42 +0000 别把豆包不当干粮 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94671 唐家山 Thu, 05 Mar 2026 01:42:37 +0000 双雄记 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94667 唐家山 Wed, 04 Mar 2026 04:01:20 +0000 三“英”战吕布 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94640 唐家山 Sat, 14 Feb 2026 11:17:56 +0000 点评一下最近用到的AI工具 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94635 唐家山 Thu, 12 Feb 2026 01:28:11 +0000 关于AI辅助交互定理证明 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94618 唐家山 Sun, 01 Feb 2026 02:51:54 +0000 无语了 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94599 唐家山 Tue, 20 Jan 2026 08:50:05 +0000 看了知乎的两个帖子 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94579 唐家山 Mon, 12 Jan 2026 01:24:26 +0000 看了mingxiaot兄的史海钩沉 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94540 唐家山 Wed, 17 Dec 2025 01:31:58 +0000 AI辅助做定理证明的几点心得（续） http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94520 唐家山 Tue, 02 Dec 2025 10:56:14 +0000 DeepSeek的元验证感觉是通向AGI的关键一步 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94511 唐家山 Fri, 28 Nov 2025 00:42:53 +0000 AI辅助做定理证明的几点心得 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94503 唐家山 Thu, 20 Nov 2025 08:40:04 +0000 继续折腾验证工具 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94438 唐家山 Wed, 01 Oct 2025 07:40:55 +0000 有感两则 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94437 唐家山 Wed, 01 Oct 2025 00:58:55 +0000 WSL的再次接触 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94434 唐家山 Sat, 27 Sep 2025 12:31:35 +0000 AI帮忙捞河泥 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94414 唐家山 Wed, 17 Sep 2025 10:22:23 +0000 微信公众号转存pdf时图片缺失的问题 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94348 唐家山 Mon, 04 Aug 2025 04:20:22 +0000 scrcpy投屏 http://aswetalk.net/bbs/home.php?mod=space&uid=1830&do=blog&id=94337 唐家山 Mon, 28 Jul 2025 11:06:14 +0000