| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 780/12 |
deepseek-R1写小说测试
首先生成了一个大纲，然后逐段生成内容 第1段 - 要点：引入男女主角的基本设定与校园环境。描述两人因选修同一门冷门校史课产生交集，通过教授提及学校30年前一名学生离奇坠楼事件埋下伏笔。突出男主角... |
4-21 | 2-19 |
| 215/1 | 元宵节/情人节快乐 | 2-14 | 2-14 |
| 260/1 |
定下计划
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化 |
2-14 | 2-11 |
| 249/1 | 新年快到了 | 1-27 | 1-26 |
| 257/3 |
如何看待王星在泰国被绑架的事件
我心里还是很难受的，因为我也有一些长期失联，不知道在哪里的朋友 |
1-11 | 1-9 |
| 332/1 |
2025新年快乐
找到账号了，回侃吧看看 |
1-1 | 1-1 |
| 281/1 |
黎巴嫩发生传呼机、对讲机等设备爆炸事件，
已造成20人死亡，4000人受伤 第一波是当地时间17日下午，涉及某台湾品牌的寻呼机，据分析被以色列摩萨德干预了生产过程，在电池旁植入能接收信号的爆炸物 第二波是当地时间18日下午，涉及日... |
9-30 | 9-19 |
| 384/3 |
山西一高中生晚 11 点后上厕所被定重大违纪
新京报消息，9月18日，山西怀仁市云东中学德育处工作人员告诉新京报记者，9月10日，该校一名学生因在当晚11点10分左右上厕所，被记严重警告处分一次，按“重大违纪”扣除班级本月德育考核成绩5分... |
9-19 | 9-19 |
| 549/9 |
Hello everyone
Happy to join the English club |
9-3 | 8-26 |
| 627/8 |
自己练手训练的大模型在185700步生成的效果
仅仅100M的参数量（GPT-4的万分之一左右），目前还是base模型，没有包含chat功能。数据里包含轻小说，模型是学会了语言风格，当然仔细一看就是胡言乱语了。测试时使用"我喜欢你，"作为开... |
8-19 | 8-17 |
| 301/2 | 搬砖4次终于升级到筑楼工 | 8-8 | 8-8 |
| 235/0 |
不能吃太多椰子，否则会因为腹泻而脱水
原来是因为这个才死亡的，注意这一点改吃鱼肉和鸟肉以后就好多了，生存7天的成就达成 |
7-29 | 7-29 |
| 399/7 |
读书记录
[其他] 这段时间读了一些书，但感觉自己注意力过于分散，以后可能会集中在某些方面，其他书就随便翻翻，本贴随时记录自己读到的东西 |
9-19 | 7-27 |
| 245/0 |
没看攻略体验
第一次生存2天，第二次生存4天，第三次生存5天，死亡原因都是脱水，水源在游戏里是个不小的问题。 |
7-27 | 7-27 |
| 476/1 |
自己写了一遍GPT
难度还是不小的，有一些隐藏的坑 模型流程： 1. 文字序列首先被分成token，把token的序号输入模型， 输入张量的维数为(B,T), B是批次大小（也就是同时处理几段文字），T是文字... |
7-23 | 7-22 |
| 397/1 |
网友采访身边人，对“应试教育还会持续多久”这个问题的看法
作者：大萌饼王毛文龙 链接：https://zhuanlan.zhihu.com/p/704136179 来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。... |
6-24 | 6-24 |
| 1188/19 |
符号积分算法
参考：https://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/issac98.pdf 计算机如何自动计算不定积分，是一个长期感兴趣... |
6-27 | 6-22 |
| 518/4 |
高铁——悄悄开启群发性地质灾害的魔盒
本文章为钓鱼文，切勿相信其中的内容！ 被无视的反对声 2006年春节前，当千家万户沉浸在阖家团圆的欢乐气氛中，一位老人孤独地躺在西安交大附属二院的病床上，在弥留之际反复重复着一句话... |
6-20 | 6-19 |
| 505/2 |
这个id来自一篇钓鱼文
《高铁——悄悄开启群发性地质灾害的魔盒》，是一篇讽刺文章，仿照黄万里反对三峡的语气，虚构了一个反对高铁的张拾迈教授，还编了“夏尔谢夫力”等不存在的概念 |
6-19 | 6-18 |
| 297/3 | 到此一游 | 6-17 | 6-17 |
| 368/1 | 原来在古代坤真有鸡的意思 | 6-16 | 6-15 |
| 359/0 |
缺氧的新手指引做的不好
比如说玩家往往只有复制人失禁了才知道要建造厕所，很难意识到要形成房间系统才有士气加成，以及管道系统不易上手等。 不看攻略自己摸索的情况下，经常会是在一两百周期以后缺水缺藻类无法生产氧气，... |
5-17 | 5-17 |
| 378/0 |
简介
《缺氧》是一款通过Steam网络平台发行，由Klei Entertainment制作的太空模拟策略游戏，采用2D横版布局，玩家需要管理复制人，让他们挖掘、建立并维护起一个地下的基地，为此，玩家需要水、... |
5-17 | 5-17 |
| 467/1 |
lean4中文教程
https://lixiang90.github.io/mathematics_in_lean_CN/index.html 翻译进行中 英文原版见： https://leanprov... |
6-9 | 5-17 |
| 613/1 |
大学生就业为什么这么难呢？(转自知乎李劼）
“制造业”这个词百分百被用错了，导致了百分百的误解。 真正该用的词是“机械文明”，相对于今天的“赛博文明 ”。 机械文明时代，最大的就业红利其实不是叫大学生脱下长衫打螺丝（反正诸位长... |
6-16 | 5-4 |
| 729/6 |
lean4的简单程序
-- 两横线后面是注释-- 计算#eval 12+12 -- 计算，结果是24 -- 类型检查 def f (x :ℕ) := x + 3 #check f -- 类型检... |
5-4 | 5-3 |
| 714/3 |
lean4教程
https://leanprover-community.github.io/mathematics_in_lean/ 这个教程是关于如何用lean4和mathlib4做数学的 https... |
5-2 | 5-2 |
| 434/1 |
简介&安装教程
lean是一款数学形式化语言，它可以用编程语言撰写数学证明，便于计算机进行形式验证，因此一定程度上可以避免人工检查数学证明所带来的负担和错误。 类似的语言有coq，isabelle，metama... |
5-2 | 5-2 |
| 362/0 |
价格走势
上个月（2024.4）最高突破7万美元 月底大跌，如今（2024.5）只有5.7万美元左右 美联储加息/降息的选择影响 |
5-2 | 5-2 |
| 387/1 |
关注了
有点像b站的梗指南，还有梗百科 |
4-30 | 4-25 |
等級：上位魔導士 十五級
經驗：23711點 金幣：4245枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2025-5-23 20:00 最後發帖時間：2025-5-23 20:00 個人簡介： |
帖子 |