| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 175/4 |
神吧留名
回首看，這個市場還真是21世紀史的轉折點 |
8-12 | 7-30 |
| 120/3 |
我意識到我的操作沒有考慮到別人的感受，給別人以不公平感
對不起@于氏偵探 |
7-30 | 7-29 |
| 1029/12 |
deepseek-R1寫小說測試
首先生成了一個大綱，然後逐段生成內容 第1段 - 要點：引入男女主角的基本設定與校園環境。描述兩人因選修同一門冷門校史課產生交集，通過教授提及學校30年前一名學生離奇墜樓事件埋下伏筆。突出男主角... |
4-21 | 2-19 |
| 339/1 | 元宵節/情人節快樂 | 2-14 | 2-14 |
| 372/1 |
定下計劃
明天繼續學習lean4數學形式化，教程學會以後，對看過的一些數學書做形式化 |
2-14 | 2-11 |
| 354/1 | 新年快到了 | 1-27 | 1-26 |
| 348/3 |
如何看待王星在泰國被綁架的事件
我心裡還是很難受的，因為我也有一些長期失聯，不知道在哪裡的朋友 |
1-11 | 1-9 |
| 424/1 |
2025新年快樂
找到帳號了，回侃吧看看 |
1-1 | 1-1 |
| 364/1 |
黎巴嫩發生傳呼機、對講機等設備爆炸事件，
已造成20人死亡，4000人受傷 第一波是當地時間17日下午，涉及某台灣品牌的尋呼機，據分析被以色列摩薩德干預了生產過程，在電池旁植入能接收信號的爆炸物 第二波是當地時間18日下午，涉及日... |
9-30 | 9-19 |
| 479/3 |
山西一高中生晚 11 點後上廁所被定重大違紀
新京報消息，9月18日，山西懷仁市雲東中學德育處工作人員告訴新京報記者，9月10日，該校一名學生因在當晚11點10分左右上廁所，被記嚴重警告處分一次，按「重大違紀」扣除班級本月德育考核成績5分... |
9-19 | 9-19 |
| 739/9 |
Hello everyone
Happy to join the English club |
9-3 | 8-26 |
| 768/8 |
自己練手訓練的大模型在185700步生成的效果
僅僅100M的參數量（GPT-4的萬分之一左右），目前還是base模型，沒有包含chat功能。數據里包含輕小說，模型是學會了語言風格，當然仔細一看就是胡言亂語了。測試時使用"我喜歡你，"作為開... |
8-19 | 8-17 |
| 411/2 | 搬磚4次終於升級到築樓工 | 8-8 | 8-8 |
| 333/0 |
不能吃太多椰子，否則會因為腹瀉而脫水
原來是因為這個才死亡的，注意這一點改吃魚肉和鳥肉以後就好多了，生存7天的成就達成 |
7-29 | 7-29 |
| 481/7 |
讀書記錄
[其他] 這段時間讀了一些書，但感覺自己注意力過於分散，以後可能會集中在某些方面，其他書就隨便翻翻，本貼隨時記錄自己讀到的東西 |
9-19 | 7-27 |
| 347/0 |
沒看攻略體驗
第一次生存2天，第二次生存4天，第三次生存5天，死亡原因都是脫水，水源在遊戲裡是個不小的問題。 |
7-27 | 7-27 |
| 597/1 |
自己寫了一遍GPT
難度還是不小的，有一些隱藏的坑 模型流程： 1. 文字序列首先被分成token，把token的序號輸入模型， 輸入張量的維數為(B,T), B是批次大小（也就是同時處理幾段文字），T是文字... |
7-23 | 7-22 |
| 510/1 |
網友採訪身邊人，對「應試教育還會持續多久」這個問題的看法
作者：大萌餅王毛文龍 連結：https://zhuanlan.zhihu.com/p/704136179 來源：知乎著作權歸作者所有。商業轉載請聯繫作者獲得授權，非商業轉載請註明出處。... |
6-24 | 6-24 |
| 1492/19 |
符號積分算法
參考：https://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/issac98.pdf 計算機如何自動計算不定積分，是一個長期感興趣... |
6-27 | 6-22 |
| 659/4 |
高鐵——悄悄開啟群發性地質災害的魔盒
本文章為釣魚文，切勿相信其中的內容！ 被無視的反對聲 2006年春節前，當千家萬戶沉浸在闔家團圓的歡樂氣氛中，一位老人孤獨地躺在西安交大附屬二院的病床上，在彌留之際反覆重複著一句話... |
6-20 | 6-19 |
| 586/2 |
這個id來自一篇釣魚文
《高鐵——悄悄開啟群發性地質災害的魔盒》，是一篇諷刺文章，仿照黃萬里反對三峽的語氣，虛構了一個反對高鐵的張拾邁教授，還編了「夏爾謝夫力」等不存在的概念 |
6-19 | 6-18 |
| 388/3 | 到此一游 | 6-17 | 6-17 |
| 492/1 | 原來在古代坤真有雞的意思 | 6-16 | 6-15 |
| 447/0 |
缺氧的新手指引做的不好
比如說玩家往往只有複製人失禁了才知道要建造廁所，很難意識到要形成房間系統才有士氣加成，以及管道系統不易上手等。 不看攻略自己摸索的情況下，經常會是在一兩百周期以後缺水缺藻類無法生產氧氣，... |
5-17 | 5-17 |
| 451/0 |
簡介
《缺氧》是一款通過Steam網絡平台發行，由Klei Entertainment製作的太空模擬策略遊戲，採用2D橫版布局，玩家需要管理複製人，讓他們挖掘、建立並維護起一個地下的基地，為此，玩家需要水、... |
5-17 | 5-17 |
| 568/1 |
lean4中文教程
https://lixiang90.github.io/mathematics_in_lean_CN/index.html 翻譯進行中 英文原版見： https://leanprov... |
6-9 | 5-17 |
| 731/1 |
大學生就業為什麼這麼難呢？(轉自知乎李劼）
「製造業」這個詞百分百被用錯了，導致了百分百的誤解。 真正該用的詞是「機械文明」，相對於今天的「賽博文明 」。 機械文明時代，最大的就業紅利其實不是叫大學生脫下長衫打螺絲（反正諸位長... |
6-16 | 5-4 |
| 864/6 |
lean4的簡單程序
-- 兩橫線後面是注釋-- 計算#eval 12+12 -- 計算，結果是24 -- 類型檢查 def f (x :ℕ) := x + 3 #check f -- 類型檢... |
5-4 | 5-3 |
| 909/3 |
lean4教程
https://leanprover-community.github.io/mathematics_in_lean/ 這個教程是關於如何用lean4和mathlib4做數學的 https... |
5-2 | 5-2 |
| 563/1 |
簡介&安裝教程
lean是一款數學形式化語言，它可以用程式語言撰寫數學證明，便於計算機進行形式驗證，因此一定程度上可以避免人工檢查數學證明所帶來的負擔和錯誤。 類似的語言有coq，isabelle，metama... |
5-2 | 5-2 |
等級：上位魔導士 十五級
經驗：23796點 金幣：4310枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2025-8-18 18:54 最後發帖時間：2025-8-17 23:57 個人簡介： |
帖子 |