| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 85/0 |
已經更新到第二大關，目前有兩大關總共12小關
https://lixiang90.github.io/logic-game/ 第一大關（前10關）是單目標，第二大關是多個浮空島嶼，一個主目標和多個輔助目標，並且允許使用已證明的定理去證明其他... |
5-18 | 5-18 |
| 89/4 |
今天嘗試了一下對之前訓練的模型進行指令微調（SFT），目前它可以做一些日式輕小說創作
指令：寫一篇輕小說，講述少女組建樂隊的故事 序章：最後的希望 清晨的草原上，我趴下，看著夕陽把自己染成血紅色，手心冒汗的林中 清晨的草地上，我站在一片廣袤的草地，呼吸均勻，像是在尋找什麼... |
6-5 | 5-17 |
| 218/7 |
某大學生在閒魚出售學習機會
 |
5-12 | 4-20 |
| 110/1 |
荒廢了很久，重新開始學習，現在AI也能寫lean4了
25000行代碼的素數定理證明，20萬行代碼的球堆積問題證明，規模越來越大 |
4-20 | 4-20 |
| 754/11 |
圖像生成模型訓練實驗
首先訓練了VAE作為圖像壓縮模型，然後訓練DiT作為圖像生成模型 目前還只訓練了imagenet，一百多萬張圖，1000類，類別標籤生圖，後續考慮加上文本生圖 |
3-13 | 2-24 |
| 378/1 |
歡迎體驗邏輯遊戲
https://lixiang90.github.io/logic-game/ |
2-4 | 2-4 |
| 366/1 |
圍觀
這次我沒報名，作為旁觀者看看也不錯 |
2-2 | 2-2 |
| 787/2 |
看動漫這個行為是否正在讓更多人深陷貧困？
在日本，做漢堡比做動畫師賺得多，麥當勞一年2萬美元，動畫師一年1萬到1.5萬美元。根據《日經商務周刊》消息，業內人士稱：日本動畫師製作單價為平均每張250日元（約12元），這一價格已經十多年沒有變化。... |
9-16 | 8-31 |
| 938/4 | Happy Anniversary! | 8-25 | 8-24 |
| 720/2 | 鳳凰院凶真今天發送Dmail | 8-21 | 8-21 |
| 799/5 |
神吧留名
回首看，這個市場還真是21世紀史的轉折點 |
3-8 | 7-30 |
| 797/3 |
我意識到我的操作沒有考慮到別人的感受，給別人以不公平感
對不起@于氏偵探 |
7-30 | 7-29 |
| 2387/12 |
deepseek-R1寫小說測試
首先生成了一個大綱，然後逐段生成內容 第1段 - 要點：引入男女主角的基本設定與校園環境。描述兩人因選修同一門冷門校史課產生交集，通過教授提及學校30年前一名學生離奇墜樓事件埋下伏筆。突出男主角... |
4-21 | 2-19 |
| 769/1 | 元宵節/情人節快樂 | 2-14 | 2-14 |
| 913/1 |
定下計劃
明天繼續學習lean4數學形式化，教程學會以後，對看過的一些數學書做形式化 |
2-14 | 2-11 |
| 871/1 | 新年快到了 | 1-27 | 1-26 |
| 941/3 |
如何看待王星在泰國被綁架的事件
我心裡還是很難受的，因為我也有一些長期失聯，不知道在哪裡的朋友 |
1-11 | 1-9 |
| 1057/1 |
2025新年快樂
找到帳號了，回侃吧看看 |
1-1 | 1-1 |
| 924/1 |
黎巴嫩發生傳呼機、對講機等設備爆炸事件，
已造成20人死亡，4000人受傷 第一波是當地時間17日下午，涉及某台灣品牌的尋呼機，據分析被以色列摩薩德干預了生產過程，在電池旁植入能接收信號的爆炸物 第二波是當地時間18日下午，涉及日... |
9-30 | 9-19 |
| 1163/3 |
山西一高中生晚 11 點後上廁所被定重大違紀
新京報消息，9月18日，山西懷仁市雲東中學德育處工作人員告訴新京報記者，9月10日，該校一名學生因在當晚11點10分左右上廁所，被記嚴重警告處分一次，按「重大違紀」扣除班級本月德育考核成績5分... |
9-19 | 9-19 |
| 1883/9 |
Hello everyone
Happy to join the English club |
9-3 | 8-26 |
| 1465/8 |
自己練手訓練的大模型在185700步生成的效果
僅僅100M的參數量（GPT-4的萬分之一左右），目前還是base模型，沒有包含chat功能。數據里包含輕小說，模型是學會了語言風格，當然仔細一看就是胡言亂語了。測試時使用"我喜歡你，"作為開... |
8-19 | 8-17 |
| 888/2 | 搬磚4次終於升級到築樓工 | 8-8 | 8-8 |
| 740/0 |
不能吃太多椰子，否則會因為腹瀉而脫水
原來是因為這個才死亡的，注意這一點改吃魚肉和鳥肉以後就好多了，生存7天的成就達成 |
7-29 | 7-29 |
| 1069/7 |
讀書記錄
[其他] 這段時間讀了一些書，但感覺自己注意力過於分散，以後可能會集中在某些方面，其他書就隨便翻翻，本貼隨時記錄自己讀到的東西 |
9-19 | 7-27 |
| 808/0 |
沒看攻略體驗
第一次生存2天，第二次生存4天，第三次生存5天，死亡原因都是脫水，水源在遊戲裡是個不小的問題。 |
7-27 | 7-27 |
| 1158/1 |
自己寫了一遍GPT
難度還是不小的，有一些隱藏的坑 模型流程： 1. 文字序列首先被分成token，把token的序號輸入模型， 輸入張量的維數為(B,T), B是批次大小（也就是同時處理幾段文字），T是文字... |
7-23 | 7-22 |
| 1135/1 |
網友採訪身邊人，對「應試教育還會持續多久」這個問題的看法
作者：大萌餅王毛文龍 連結：https://zhuanlan.zhihu.com/p/704136179 來源：知乎著作權歸作者所有。商業轉載請聯繫作者獲得授權，非商業轉載請註明出處。... |
6-24 | 6-24 |
| 3728/19 |
符號積分算法
參考：https://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/issac98.pdf 計算機如何自動計算不定積分，是一個長期感興趣... |
6-27 | 6-22 |
| 1485/4 |
高鐵——悄悄開啟群發性地質災害的魔盒
本文章為釣魚文，切勿相信其中的內容！ 被無視的反對聲 2006年春節前，當千家萬戶沉浸在闔家團圓的歡樂氣氛中，一位老人孤獨地躺在西安交大附屬二院的病床上，在彌留之際反覆重複著一句話... |
6-20 | 6-19 |
等級：大魔導士 十七級
經驗：43549點 金幣：7585枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2026-6-20 18:53 最後發帖時間：2026-5-18 02:05 個人簡介： |
帖子 |