loading...
林子篆 profile picture

林子篆

I am a programming language theory lover; good at system software like Networking, OS.

Education

Kaohsiung Medical University

A wrong question: Is a Square a Rectangle?

A wrong question: Is a Square a Rectangle?

Reactions 0
2 min read
How to find mk fixed point

How to find mk fixed point

Reactions 0
9 min read
Hindley-Milner type system: Incrementally build way & Make new language in Racket

Hindley-Milner type system: Incrementally build way & Make new language in Racket

Reactions 6 Comments 2
12 min read
De Bruijn index: why and how

De Bruijn index: why and how

Reactions 6
6 min read
How to parse expression with the parser combinator

How to parse expression with the parser combinator

Reactions 6
5 min read
Explain Homotopy type theory like I'm five

Explain Homotopy type theory like I'm five

Reactions 2
1 min read
From Functor to Applicative

From Functor to Applicative

Reactions 6
2 min read
Binary Encoding of Integer

Binary Encoding of Integer

Reactions 5
3 min read
NOTE: simply typed lambda calculus

NOTE: simply typed lambda calculus

Reactions 6 Comments 1
2 min read
A Racket macro tutorial – get HTTP parameters easier

A Racket macro tutorial – get HTTP parameters easier

Reactions 6
5 min read
NOTE: bounded polymorphism

NOTE: bounded polymorphism

Reactions 8 Comments 1
1 min read
Type as Constraint: Why we need more type?

Type as Constraint: Why we need more type?

Reactions 8
3 min read
Reflection on Working effectively with legacy code — chapter 20 to 23

Reflection on Working effectively with legacy code — chapter 20 to 23

Reactions 7
3 min read
Reflection on Working effectively with legacy code — chapter 11 to 19

Reflection on Working effectively with legacy code — chapter 11 to 19

Reactions 6
4 min read
Interaction with C in Zig

Interaction with C in Zig

Reactions 11
5 min read
NOTE: get labels from Pod

NOTE: get labels from Pod

Reactions 4
2 min read
How to test in Haskell: HSpec setup

How to test in Haskell: HSpec setup

Reactions 8
2 min read
From Infinite Type to Functor

From Infinite Type to Functor

Reactions 6
4 min read
elz inviting contributors

elz inviting contributors

Reactions 4
1 min read
Infinite Type

Infinite Type

Reactions 7
3 min read
Haskell quick start

Haskell quick start

Reactions 16
5 min read
Reflection on Working effectively with legacy code — chapter 6 to 10

Reflection on Working effectively with legacy code — chapter 6 to 10

Reactions 7
7 min read
Reflection on Working effectively with legacy code — Part I

Reflection on Working effectively with legacy code — Part I

Reactions 7 Comments 2
2 min read
Algebra data type vs Class

Algebra data type vs Class

Reactions 6
2 min read
How to use .gitignore

How to use .gitignore

Reactions 8
2 min read
Weird behavior in Go: encoding/gob

Weird behavior in Go: encoding/gob

Reactions 6
1 min read
DPDK usertools: devbind

DPDK usertools: devbind

Reactions 7
1 min read
DPDK – EAL Input/output error

DPDK – EAL Input/output error

Reactions 6
1 min read
nix report

nix report

Reactions 6
3 min read
Privileged Pod – Debug kubernetes node

Privileged Pod – Debug kubernetes node

Reactions 10
1 min read
Notes: Ruby Conf Taiwan 2019

Notes: Ruby Conf Taiwan 2019

Reactions 8
5 min read
How trait with lifetime can be a trouble and how to fix it

How trait with lifetime can be a trouble and how to fix it

Reactions 5
2 min read
tcpdump cheat sheet

tcpdump cheat sheet

Reactions 7 Comments 1
2 min read
A simple way to ensure interface won’t be implemented accidently

A simple way to ensure interface won’t be implemented accidently

Reactions 6 Comments 4
1 min read
The Go concurrency bug I made

The Go concurrency bug I made

Reactions 8
3 min read
Kubernetes Networking: concept and overview from underlying perspective

Kubernetes Networking: concept and overview from underlying perspective

Reactions 10 Comments 1
13 min read
HugePages on Kubernetes

HugePages on Kubernetes

Reactions 7
3 min read
5 tools for file transfer

5 tools for file transfer

Reactions 6
3 min read
gRPC proxy: approach & pain

gRPC proxy: approach & pain

Reactions 8 Comments 1
3 min read
on -- A CLI tool helps you work on certain context

on -- A CLI tool helps you work on certain context

Reactions 6
3 min read
Introduction of LLDB

Introduction of LLDB

Reactions 6
3 min read
Make googletest-like test framework from scratch

Make googletest-like test framework from scratch

Reactions 5
4 min read
Tracing source code of Kubernetes client-go

Tracing source code of Kubernetes client-go

Reactions 6
6 min read
A lightweight web framework for Go

A lightweight web framework for Go

Reactions 9 Comments 4
1 min read
How to compare Go benchmark in TravisCI

How to compare Go benchmark in TravisCI

Reactions 7
1 min read
Kubernetes context

Kubernetes context

Reactions 6
3 min read
Testing in Go

Testing in Go

Reactions 43 Comments 4
3 min read
Test LLVM Go binding in travis

Test LLVM Go binding in travis

Reactions 12 Comments 1
2 min read
Go quick start

Go quick start

Reactions 17
4 min read
Use httpexpect to test server

Use httpexpect to test server

Reactions 7
1 min read
gRPC quick start in Go

gRPC quick start in Go

Reactions 18 Comments 7
2 min read
Practical issue about DNS – EDNS0

Practical issue about DNS – EDNS0

Reactions 5
2 min read
Reflection in Go: create a stack[T]

Reflection in Go: create a stack[T]

Reactions 6
2 min read
Magic in redux-go v2.1: package rematch

Magic in redux-go v2.1: package rematch

Reactions 8
6 min read
Error is Value

Error is Value

Reactions 8 Comments 2
3 min read
Another build system for Cpp

Another build system for Cpp

Reactions 9
1 min read
How to get started with Rust

How to get started with Rust

Reactions 11
2 min read
Design of Redux-go v2

Design of Redux-go v2

Reactions 8
4 min read
Create a WaitGroup by yourself

Create a WaitGroup by yourself

Reactions 11
2 min read
loading...