Dan's Blog

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

[2023-06-08] NOTE: 2023 年怎麼用 idris2
[2023-06-04] parser combinator：文法規則就是組合子的運用
[2023-06-04] NOTE: armv8 store/load 尋址模式
[2023-05-30] NOTE: tagless final
[2023-05-17] Dafny programming language
[2023-05-10] Haskell extension: flexible contexts
[2023-05-02] The power of OOP and abstraction
[2023-04-16] Pythagorean triples computation
[2023-04-13] State monad in Haskell
[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: 解決 GHC 9.2.5 暫時不受 hls 支援的問題
[2022-11-30] NOTE: 輸出特殊數學字元的 vim plugin
[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] polymorphism 的執行期設計
[2022-11-03] 用依值型別規範 layering 系統
[2022-11-02] NOTE: 重複賽局
[2022-11-02] 自動轉發 mastodon 到其他平台
[2022-10-30] 左偏樹（leftist tree）
[2022-10-18] NOTE: effect type system
[2022-10-18] NOTE: 型別論中的指數意義
[2022-10-02] NOTE: Potential of Wasm
[2022-10-02] Termination problem
[2022-09-27] NOTE: 閱讀紀錄
[2022-09-20] NOTE: joint denial
[2022-09-20] NOTE: agda configuration example
[2022-09-17] picopass: let's break nanopass down
[2022-09-04] NOTE: Practical issue in de Bruijn indices
[2022-09-04] NOTE: 利用參考等價性質的技巧
[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] church number in racket
[2022-01-19] NOTE: arm64 print number by use svc
[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] Phoenix with React
[2021-07-06] Elixir, Phoenix, and GraphQL(Absinthe)
[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] Currying
[2020-05-31] NOTE: 樸素集合論三大悖論
[2020-05-24] Hindley-Milner type system: Incrementally build way & Make new
[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: bounded polymorphism
[2020-01-24] NOTE: a little bit Z3 solver
[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] From Infinite Type to Functor
[2019-12-13] NOTE: If we write kubernetes client in Rust
[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] XDP some note
[2018-11-30] fun networking: tcp close
[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-03] ANTLR v4–introduction
[2017-07-08] lexer 原理解釋
[2017-06-26] C++ thread 基礎