Dan's Blog

A programming language theory and system software lover, I study math and CS for fun.

• Email: [email protected]
• GitHub: @dannypsnl
• Mastodon: @dannypsnl
• Resume: resume.pdf

• [2023-03-20] cone, its category, and limit
• [2023-03-16] STLC 的 categorical semantic
• [2023-03-07] NOTE: Alternative proof of Infinitude of Primes
• [2023-02-24] NOTE: slice category
• [2023-02-22] NOTE: latex 漢字支援
• [2023-01-31] 基因演算法
• [2023-01-01] NOTE: idris2 與 nix
• [2022-12-31] 什麼是啟動編譯器？
• [2022-12-19] NOTE: resource algebra
• [2022-12-09] gcd 終止、正確性與程式
• [2022-12-08] rust 的 wasm ABI
• [2022-12-07] NOTE: functional programming 對執行區塊上鎖
• [2022-12-06] NOTE: ADT 風格 AST 標記位置訊息技巧
• [2022-11-30] NOTE: 輸出特殊數學字元的 vim plugin
• [2022-11-30] NOTE: 解決 GHC 9.2.5 暫時不受 hls 支援的問題
• [2022-11-29] NOTE: Git 工具 delta
• [2022-11-25] 解析 conversion check
• [2022-11-23] Unique things in Group
• [2022-11-22] 今天也對質數有意見
• [2022-11-20] 簡單的演算法證明操作技巧
• [2022-11-19] 群元素的階層與性質
• [2022-11-17] NOTE: Racket 升級
• [2022-11-16] 哈代-拉馬努金數
• [2022-11-16] 用 gpg 簽署 git commit
• [2022-11-14] NOTE: 圖片工具
• [2022-11-12] wasm 實用小技巧
• [2022-11-10] NOTE:《逆向工程》
• [2022-11-03] 用依值型別規範 layering 系統
• [2022-11-03] polymorphism 的執行期設計
• [2022-11-02] 自動轉發 mastodon 到其他平台
• [2022-11-02] NOTE: 重複賽局
• [2022-10-30] 左偏樹（leftist tree）
• [2022-10-18] NOTE: 型別論中的指數意義
• [2022-10-18] NOTE: effect type system
• [2022-10-02] NOTE: Potential of Wasm
• [2022-10-02] Termination problem
• [2022-09-27] NOTE: 閱讀紀錄
• [2022-09-20] NOTE: agda configuration example
• [2022-09-20] NOTE: joint denial
• [2022-09-17] picopass: let's break nanopass down
• [2022-09-04] NOTE: 利用參考等價性質的技巧
• [2022-09-04] NOTE: Practical issue in de Bruijn indices
• [2022-09-03] NOTE: racket/future 的限制與想像
• [2022-09-01] NOTE: dependent type language
• [2022-08-28] NOTE: ee-lib
• [2022-08-19] Understand macro and its strategies by tracking typed/racket
• [2022-08-04] NOTE: how to test Racket GUI preferences
• [2022-07-25] sauron development: new file indexing maintaining system
• [2022-07-19] NOTE: crontab
• [2022-07-14] NOTE: 待辦事項處理程式想法
• [2022-07-14] NOTE: bytes encoding conversion in Racket
• [2022-07-07] NOTE: write your resume in LaTeX
• [2022-07-04] NOTE: rename the title of Utterances issues
• [2022-06-30] Leibniz product rule
• [2022-06-28] NOTE: 集合類型論 – 差集類型
• [2022-06-16] Common patterns in nanopass
• [2022-06-03] NOTE: Riemann integral
• [2022-05-29] NOTE: scribble latex requirement on macOS
• [2022-05-26] NOTE: rhombus first try
• [2022-04-10] NOTE: Archimedean Principle
• [2022-04-06] NOTE: application transformation of function with implicit
• [2022-04-02] NOTE: Homotopy Type Theory
• [2022-03-21] closure conversion
• [2022-03-16] NOTE: let/cc in typed/racket
• [2022-03-04] NOTE: ordered field
• [2022-03-01] NOTE: Nat recursor
• [2022-02-19] encode scheme object in 64 bits
• [2022-02-16] indexing boolean algebra
• [2022-02-15] NOTE: trigger formatting by hook
• [2022-02-12] NOTE: Racket prop:custom-write
• [2022-01-30] NOTE: core of macro
• [2022-01-22] NOTE: Let Racket GC manage your FFI object
• [2022-01-21] Phoenix with svelte
• [2022-01-21] SSH to my NixOS
• [2022-01-20] quick sort: pivot selection
• [2022-01-20] Cocoa in Racket
• [2022-01-19] NOTE: arm64 print number by use svc
• [2022-01-19] church number in racket
• [2022-01-14] setup libraries for chez scheme
• [2022-01-12] zig: show list of files in a directory
• [2022-01-10] Arduino zig: seven segment display
• [2022-01-08] Forth in Arm64
• [2022-01-06] NOTE: Phoenix and TimescaleDB
• [2022-01-06] NOTE: useful nix commands
• [2022-01-04] Arduino zig: blink
• [2021-12-31] errlang
• [2021-12-12] tree command on macOS
• [2021-12-11] Julia MacroTools
• [2021-10-09] 數列
• [2021-10-08] 發明矩形面積公式
• [2021-09-27] idris2 FFI
• [2021-08-19] syntax-property 與 local-expand 的實際運用
• [2021-07-17] 不要誤用 with
• [2021-07-16] Run Postgres on GitHub Action
• [2021-07-06] Elixir, Phoenix, and GraphQL(Absinthe)
• [2021-07-06] Phoenix with React
• [2021-07-03] find max subsequence
• [2021-06-18] VSCode remote developing
• [2021-06-04] Racket: Lexer and Parser
• [2021-05-11] S-expression, macro and develop
• [2021-05-04] 推書
• [2021-05-02] strictly positive check
• [2021-04-22] NOTE: Deploy Racket Bot r16 on Heroku
• [2021-03-31] NOTE: Racket CI(GitHub Action) cache
• [2021-03-13] delimited/undelimited continuation
• [2021-03-10] Unit sphere is convex
• [2021-03-06] NOTE: Racket GUI 避免重複開啟視窗
• [2021-02-12] NOTE: Nix home-manager 基本設定
• [2021-02-04] NOTE: 安裝 NixOS
• [2021-01-29] 12-1 月總結
• [2021-01-19] Lean 4, Idris 2 安裝
• [2021-01-13] termination checking(終止檢查)
• [2021-01-07] subtle racket macro
• [2020-12-22] 循序式語意
• [2020-12-20] 12 月推書
• [2020-11-16] 9-11 月總結
• [2020-11-16] A wrong question: Is a Square a Rectangle?
• [2020-10-07] 廢到有剩 Macro: comment
• [2020-09-17] NOTE: Lambda Cube
• [2020-09-01] NOTE: scribble and xelatex
• [2020-08-23] [racket macro] define/where
• [2020-08-19] NOTE: Coq tactics
• [2020-08-07] NOTE: how to setup a julia project
• [2020-08-07] Infinite, how big?
• [2020-08-01] NOTE: represent type by s-exp when doing inference
• [2020-07-31] NOTE: Bad Idea, put Haskell in S expression?
• [2020-07-30] NOTE: Racket GUI framework and editor component
• [2020-07-26] How to find mk fixed point
• [2020-07-15] Why Logic Programming?
• [2020-07-12] NOTE: Algebra Structure
• [2020-07-03] 小說推薦：優質國度
• [2020-06-20] NOTE: 演算法的量級
• [2020-06-17] 大阪燒
• [2020-06-12] NOTE: lambda 2
• [2020-06-11] NOTE: ZFC
• [2020-06-04] 正確實作 substitution 有多難
• [2020-05-31] NOTE: 樸素集合論三大悖論
• [2020-05-31] Currying
• [2020-05-24] Hindley-Milner type system: Incrementally build way & Make new
• [2020-05-16] De Bruijn index: why and how
• [2020-05-13] Programming 生涯回顧
• [2020-05-12] NOTE: 演算法的各種時間複雜度
• [2020-05-10] 奶油白醬義大利麵
• [2020-05-09] A beautiful proof: There have infinite primes
• [2020-05-03] How to parse expression with the parser combinator
• [2020-04-25] 程式設計思考（二）操作介面
• [2020-04-17] NOTE: how to install Nix package manager on MacOS Catalina
• [2020-04-13] NOTE: class member initialization order in C++
• [2020-04-11] From Functor to Applicative
• [2020-04-03] NOTE: Seven Bridges of Königsberg and Eulerian graph
• [2020-04-01] 小說推薦：天防者
• [2020-03-21] Binary Encoding of Integer
• [2020-03-08] NOTE: simply typed lambda calculus
• [2020-02-16] A Racket macro tutorial – get HTTP parameters easier
• [2020-02-06] 一些推薦去嘗試看看的程式語言
• [2020-01-31] 不會騎 Gogoro 的兩個鄉巴佬
• [2020-01-26] NOTE: C++ optional
• [2020-01-24] NOTE: a little bit Z3 solver
• [2020-01-24] NOTE: bounded polymorphism
• [2020-01-19] 最後一次抱怨 Go
• [2020-01-16] Type as Constraint: Why we need more type?
• [2020-01-04] Reflection on Working effectively with legacy code — chapter 20 to 23
• [2020-01-03] Reflection on Working effectively with legacy code — chapter 11 to 19
• [2020-01-01] NOTE: What is lambda calculus
• [2019-12-22] Interaction with C in Zig
• [2019-12-20] NOTE: get labels from Pod
• [2019-12-14] How to test in Haskell: HSpec setup
• [2019-12-13] NOTE: If we write kubernetes client in Rust
• [2019-12-13] From Infinite Type to Functor
• [2019-12-08] Infinite Type
• [2019-12-08] Haskell quick start
• [2019-12-07] Reflection on Working effectively with legacy code — chapter 6 to 10
• [2019-11-30] Mergeable replicated data types
• [2019-11-24] Reflection on Working effectively with legacy code — Part I
• [2019-11-19] Algebra data type vs Class
• [2019-11-09] 程式設計思考（一）核心領域
• [2019-11-08] How to use .gitignore
• [2019-10-31] Weird behavior in Go: encoding/gob
• [2019-10-19] DPDK usertools: devbind
• [2019-10-18] DPDK – EAL Input/output error
• [2019-10-05] Why not a big script
• [2019-09-12] nix report
• [2019-09-01] Privileged Pod – Debug kubernetes node
• [2019-08-15] cgo can be a trouble
• [2019-08-13] Notes: Ruby Conf Taiwan 2019
• [2019-07-31] How trait with lifetime can be a trouble and how to fix it
• [2019-06-25] tcpdump cheat sheet
• [2019-06-18] A simple way to ensure interface won't be implemented
• [2019-05-25] The Go concurrency bug I made
• [2019-05-18] Kubernetes Networking: concept and overview from underlying perspective
• [2019-05-04] HugePages on Kubernetes
• [2019-04-27] 5 tools for file transfer
• [2019-04-13] gRPC proxy: approach & pain
• [2019-04-04] Write a hashmap in Go
• [2019-03-17] Introduction of LLDB
• [2019-03-03] Make googletest-like test framework from scratch
• [2019-03-01] 戴德金分割與1為何等於0.9…(無限循環)
• [2019-01-25] Tracing source code of Kubernetes client-go
• [2018-12-09] Kubernetes context
• [2018-12-28] How to compare Go benchmark in TravisCI
• [2018-12-22] Should I learn?
• [2018-11-30] fun networking: tcp close
• [2018-11-30] XDP some note
• [2018-11-17] Testing in Go
• [2018-10-27] Kubernetes 從 Pod 開始
• [2018-10-06] Test LLVM Go binding in travis
• [2018-09-23] Go quick start
• [2018-09-16] Use httpexpect to test server
• [2018-09-03] Mark Sweep GC
• [2018-08-16] gRPC quick start in Go
• [2018-08-07] Practical issue about DNS – EDNS0
• [2018-07-22] Reflection in Go: create a stack[T]
• [2018-07-04] Magic in redux-go v2.1: package rematch
• [2018-06-22] Error is Value
• [2018-05-26] How to get start with Rust
• [2018-05-17] Design of Redux-go v2
• [2018-05-01] Some thinking from Elixir X Ruby Conf
• [2018-04-23] Go Channels 入門
• [2018-04-02] Nginx 安裝與啟動
• [2018-03-31] Phoneix 安裝與啟動
• [2018-03-17] How to disable Go test caching
• [2018-02-25] Introduction Of Char Recognizing – Lexer Tech
• [2018-02-15] Create a WaitGroup by yourself
• [2018-02-14] Sort by interface in Go
• [2018-02-12] The best practice of Singleton in Golang
• [2018-02-09] You should know about this
• [2018-02-08] OpenCV introduction
• [2018-01-05] Erlang Quick Start
• [2017-12-23] Type driven development in C++
• [2017-12-04] llvm Go bindings
• [2017-10-24] Vim replace
• [2017-09-29] Extension hack
• [2017-09-29] Swift – extension概念入門
• [2017-09-03] ANTLR v4–introduction
• [2017-07-08] lexer 原理解釋
• [2017-06-26] C++ thread 基礎