| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 79/0 |
已经更新到第二大关，目前有两大关总共12小关
https://lixiang90.github.io/logic-game/ 第一大关（前10关）是单目标，第二大关是多个浮空岛屿，一个主目标和多个辅助目标，并且允许使用已证明的定理去证明其他... |
5-18 | 5-18 |
| 83/4 |
今天尝试了一下对之前训练的模型进行指令微调（SFT），目前它可以做一些日式轻小说创作
指令：写一篇轻小说，讲述少女组建乐队的故事 序章：最后的希望 清晨的草原上，我趴下，看着夕阳把自己染成血红色，手心冒汗的林中 清晨的草地上，我站在一片广袤的草地，呼吸均匀，像是在寻找什么... |
6-5 | 5-17 |
| 215/7 |
某大学生在闲鱼出售学习机会
 |
5-12 | 4-20 |
| 103/1 |
荒废了很久，重新开始学习，现在AI也能写lean4了
25000行代码的素数定理证明，20万行代码的球堆积问题证明，规模越来越大 |
4-20 | 4-20 |
| 749/11 |
图像生成模型训练实验
首先训练了VAE作为图像压缩模型，然后训练DiT作为图像生成模型 目前还只训练了imagenet，一百多万张图，1000类，类别标签生图，后续考虑加上文本生图 |
3-13 | 2-24 |
| 377/1 |
欢迎体验逻辑游戏
https://lixiang90.github.io/logic-game/ |
2-4 | 2-4 |
| 364/1 |
围观
这次我没报名，作为旁观者看看也不错 |
2-2 | 2-2 |
| 783/2 |
看动漫这个行为是否正在让更多人深陷贫困？
在日本，做汉堡比做动画师赚得多，麦当劳一年2万美元，动画师一年1万到1.5万美元。根据《日经商务周刊》消息，业内人士称：日本动画师制作单价为平均每张250日元（约12元），这一价格已经十多年没有变化。... |
9-16 | 8-31 |
| 931/4 | Happy Anniversary! | 8-25 | 8-24 |
| 710/2 | 凤凰院凶真今天发送Dmail | 8-21 | 8-21 |
| 796/5 |
神吧留名
回首看，这个市场还真是21世纪史的转折点 |
3-8 | 7-30 |
| 795/3 |
我意识到我的操作没有考虑到别人的感受，给别人以不公平感
对不起@于氏侦探 |
7-30 | 7-29 |
| 2377/12 |
deepseek-R1写小说测试
首先生成了一个大纲，然后逐段生成内容 第1段 - 要点：引入男女主角的基本设定与校园环境。描述两人因选修同一门冷门校史课产生交集，通过教授提及学校30年前一名学生离奇坠楼事件埋下伏笔。突出男主角... |
4-21 | 2-19 |
| 765/1 | 元宵节/情人节快乐 | 2-14 | 2-14 |
| 909/1 |
定下计划
明天继续学习lean4数学形式化，教程学会以后，对看过的一些数学书做形式化 |
2-14 | 2-11 |
| 866/1 | 新年快到了 | 1-27 | 1-26 |
| 937/3 |
如何看待王星在泰国被绑架的事件
我心里还是很难受的，因为我也有一些长期失联，不知道在哪里的朋友 |
1-11 | 1-9 |
| 1050/1 |
2025新年快乐
找到账号了，回侃吧看看 |
1-1 | 1-1 |
| 921/1 |
黎巴嫩发生传呼机、对讲机等设备爆炸事件，
已造成20人死亡，4000人受伤 第一波是当地时间17日下午，涉及某台湾品牌的寻呼机，据分析被以色列摩萨德干预了生产过程，在电池旁植入能接收信号的爆炸物 第二波是当地时间18日下午，涉及日... |
9-30 | 9-19 |
| 1156/3 |
山西一高中生晚 11 点后上厕所被定重大违纪
新京报消息，9月18日，山西怀仁市云东中学德育处工作人员告诉新京报记者，9月10日，该校一名学生因在当晚11点10分左右上厕所，被记严重警告处分一次，按“重大违纪”扣除班级本月德育考核成绩5分... |
9-19 | 9-19 |
| 1880/9 |
Hello everyone
Happy to join the English club |
9-3 | 8-26 |
| 1459/8 |
自己练手训练的大模型在185700步生成的效果
仅仅100M的参数量（GPT-4的万分之一左右），目前还是base模型，没有包含chat功能。数据里包含轻小说，模型是学会了语言风格，当然仔细一看就是胡言乱语了。测试时使用"我喜欢你，"作为开... |
8-19 | 8-17 |
| 882/2 | 搬砖4次终于升级到筑楼工 | 8-8 | 8-8 |
| 740/0 |
不能吃太多椰子，否则会因为腹泻而脱水
原来是因为这个才死亡的，注意这一点改吃鱼肉和鸟肉以后就好多了，生存7天的成就达成 |
7-29 | 7-29 |
| 1067/7 |
读书记录
[其他] 这段时间读了一些书，但感觉自己注意力过于分散，以后可能会集中在某些方面，其他书就随便翻翻，本贴随时记录自己读到的东西 |
9-19 | 7-27 |
| 801/0 |
没看攻略体验
第一次生存2天，第二次生存4天，第三次生存5天，死亡原因都是脱水，水源在游戏里是个不小的问题。 |
7-27 | 7-27 |
| 1152/1 |
自己写了一遍GPT
难度还是不小的，有一些隐藏的坑 模型流程： 1. 文字序列首先被分成token，把token的序号输入模型， 输入张量的维数为(B,T), B是批次大小（也就是同时处理几段文字），T是文字... |
7-23 | 7-22 |
| 1128/1 |
网友采访身边人，对“应试教育还会持续多久”这个问题的看法
作者：大萌饼王毛文龙 链接：https://zhuanlan.zhihu.com/p/704136179 来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。... |
6-24 | 6-24 |
| 3708/19 |
符号积分算法
参考：https://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/issac98.pdf 计算机如何自动计算不定积分，是一个长期感兴趣... |
6-27 | 6-22 |
| 1481/4 |
高铁——悄悄开启群发性地质灾害的魔盒
本文章为钓鱼文，切勿相信其中的内容！ 被无视的反对声 2006年春节前，当千家万户沉浸在阖家团圆的欢乐气氛中，一位老人孤独地躺在西安交大附属二院的病床上，在弥留之际反复重复着一句话... |
6-20 | 6-19 |
等級：大魔導士 十七級
經驗：43549點 金幣：7585枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2026-6-20 18:53 最後發帖時間：2026-5-18 02:05 個人簡介： |
帖子 |