原创 如何排查C++鏈接庫之間鏈接順序問題

今天浪費了8個小時排查了一個 C++ 庫編譯後依賴的cuda符號找不到的問題。後面在湊巧的情況下在 鏈接庫的地方加了一個可能會用到的庫,結果就通過了。但是湊巧肯定是有更深刻的原因,再反覆驗證,實際上是這樣的: link(A) link(B)

原创 類型和集合論

https://abuseofnotation.github.io/category-theory-illustrated/01_set/

原创 那些優秀但是再也不會更新的博客

這些博客仍然非常值得讀,雖然再也不會更新了: Vamei: https://www.cnblogs.com/vamei/ 一個程序員被騙去養豬 左耳朵耗子:https://www.coolshell.cn/ 我做系統架構的一些原則

原创 CMake 備忘錄

CMAKE 配置 protobuf Q: protobuf_generate_cpp 是 CMake 的內置函數麼? A: 不是的。protobuf_generate_cpp 不是 CMake 的內置函數,而是由 FindProtobuf

原创 Python執行命令的正確做法

在編寫 Python 程序的時候,很容易直接調用 system, subprocess.Popen, subprocess.run, subprocess.call, subprocess.check_call, subprocess.ch

原创 Python實用庫

flatten-json: 將object, dict, array 壓縮成一維 一個有趣的用法: from flatten_json import flatten def __flatten(*args): a = []

原创 C/C++/Rust等底層軟件開發應該學習哪些計算機知識

語言入門,循序漸進: C語言: CCF中學生計算機程序設計 入門/基礎/提高 三冊 阮一峯-網道: C語言教程 C程序設計語言: [美] Brian W. Kernighan / [美] Dennis M. Ritchie 原版正宗教

原创 如何健壯地批量資源創建

批量資源創建是一種典型的數據處理流程。這樣的數據處理流程典型步驟是 加載輸入數據集 遍歷數據集,對每個條目,創建目標資源,目標資源可能是一種,也可能是嵌套的有層次結構的樹狀結構的一系列資源。 這樣的處理流程,如果不做任何錯誤處理,整個程

原创 C++構建系統

收集C++構建系統(2023): 跟我一起寫Makefile (PDF重製版) CMake tutorial Conan, software package manager for C and C++ developers vcpkg-r

原创 mRNA(閱讀鏈接)

Five things you need to know about: mRNA vaccine safety Five things you need to know about: mRNA vaccines Understanding

原创 全棧軟件開發(1):HTML+CSS

編碼 UTF8編碼: https://wiki.tcl-lang.org/page/UTF-8+bit+by+bit HTML HTML 標準 文檔流 DOM API 標籤 事件 Web-Component CSS W3C

原创 技術的極限(13): 對過程和細節的可視化

上一篇:技術的極限(12): 探索編譯器 目錄: ** 0x01 Mozilla的Areweyet ** 0x02 做小的決策 ** 0x03 細胞地圖 ** 0x04 rga: 多文件類型行搜索 ** 0x05 Kaitai|又一個多語言

原创 現代編程語言:Julia

// TODO

原创 現代編程語言:Swift

// TODO

原创 現代編程語言:Scala

語言核心 在線執行測試|playground https://scastie.scala-lang.org/9Dy5HzHcTMiRuvUBFBx3lA 特性 Actor 跑一個簡單的Actor例子 Actor解決的問題是什麼? 一種