原创 技術的極限(13): 對過程和細節的可視化
上一篇：技術的極限(12): 探索編譯器 目錄： ** 0x01 Mozilla的Areweyet ** 0x02 做小的決策 ** 0x03 細胞地圖 ** 0x04 rga: 多文件類型行搜索 ** 0x05 Kaitai｜又一個多語言
2020-12-25 13:30:25
1
原创 現代編程語言：Scala
語言核心 在線執行測試|playground https://scastie.scala-lang.org/9Dy5HzHcTMiRuvUBFBx3lA 特性 Actor 跑一個簡單的Actor例子 Actor解決的問題是什麼？ 一種
2020-12-04 12:58:32
原创 現代編程語言：TypeScript
0x01 安裝 00x2 語言內核 0x03 實戰案例 TypeScript的泛型約束 TypeScript的泛型存在和C#的泛型一樣的使用上的不便利，泛型參數在作用域內能夠調用的方法一定是要通過泛型參數的約束來指定的，例如一個泛型函數：
2020-11-25 12:58:28
原创 計算還是推理？
有一個朋友（X）問我（F）一個數學小問題，下面是我們的對話。 X：“一個log函數，我怎樣能把增長趨勢網上擡一點呢？如下圖：” X：“下面這個就比較好調整：” F：“下面這個指數函數圖是1爲分界線的，0.4這種小於1的是減函數” X：“
2020-11-20 12:58:30
原创 zig
語言核心 描述：Zig和C語言競爭，和Rust一樣現代，但是比Rust引入的概念少，學習曲線相對低很多： 官方文檔：https://ziglang.org/ 參考資料 [1]Assorted thoughts on zig (and ru
2020-10-21 12:58:30
原创 技術的極限(12): 探索編譯器
面對不同的技術，我現在的看法是，先不用問有什麼好處，有機會就寫起來用起來。很多真正的不同，只有在實際操作的時候才能理解。有很多新的設計，用老的思維去看，永遠會看不到。這是我體會很深的一點，新事物來的時候，如果總是想用舊事物的概念去套，往往會
2020-10-06 12:58:27
原创 鍊金術(9): 簡約而不簡單，永不停歇的測試 -- always_run
最強戰力，永不停歇的測試：always_run 許多工程師寫完程序後，都不願意對自己的程序做仔細測試。 很多測試說會做自動化測試，可能工作好幾年都沒真做過多少自動化測試。 我們的解決方案是，在系統的測試環境裏，常駐跑一個always_run
2020-08-15 14:29:11
原创 [讀書摘要] 學校的英文閱讀教學錯在哪裏？--經驗主義和認知科學的PK
原文：https://www.apmreports.org/episode/2019/08/22/whats-wrong-how-schools-teach-reading 傳統的閱讀三部曲：記住單詞、通過上下文猜單詞、猜不出來跳過去 m
2020-07-29 14:29:28
2
原创 技術的極限(11): 有趣的編程
目錄： ** 0x01 達夫設備 ** 0x02 switch+goto ** 0x03 硬件加速 ** 0x04 O(1)大數據傳輸 ** 0x05 C語言的異常跳轉 ** 0x06 非歐幾里得引擎 ** 0x07 爲什麼現代軟件開發令人
2020-07-23 14:30:35
原创 軟件工程作業設計(1): [個人項目] 實現一個日誌查看頁面
題目：實現一個日誌查看頁面，如圖所示 要求： 使用Vue/React框架或者HTML5開發。 基本功能(基本佈局)： 左側【導航】列表 點擊【實時日誌】顯示日誌列表 日誌列表每行一條日誌，日誌有trace/debug/info/war
2020-07-09 14:29:49
原创 證明與計算(3): 二分決策圖(Binary Decision Diagram, BDD)
0x01 布爾代數(Boolean algebra) 大名鼎鼎鼎的stephen wolfram在2015年的時候寫了一篇介紹George Boole的文章：George Boole: A 200-Year View。 怎樣用數學公理重新表
2020-05-30 19:28:29
原创 軟工+C(9): 助教指南
上一篇:提問與回覆 下一篇:從命令行開始逐步培養編程能力(Java) 目錄: ** 0x00 Handshake ** 0x01 點評 ** 0x02 評分 ** 0x03 知識儲備 ** 0x04 明確課程主線條 ** 0x05 項目設
2020-05-30 19:28:29