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