DEV Community

林子篆 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?

Comments
2 min read

Want to connect with 林子篆?

Create an account to connect with 林子篆. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in
How to find mk fixed point

How to find mk fixed point

Comments
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

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

De Bruijn index: why and how

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

How to parse expression with the parser combinator

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

Explain Homotopy type theory like I'm five

4
Comments
1 min read
From Functor to Applicative

From Functor to Applicative

6
Comments
2 min read
Binary Encoding of Integer

Binary Encoding of Integer

5
Comments
3 min read
NOTE: simply typed lambda calculus

NOTE: simply typed lambda calculus

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

A Racket macro tutorial – get HTTP parameters easier

10
Comments
5 min read
NOTE: bounded polymorphism

NOTE: bounded polymorphism

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

Type as Constraint: Why we need more type?

8
Comments
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

7
Comments
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

6
Comments
4 min read
Interaction with C in Zig

Interaction with C in Zig

17
Comments
5 min read
NOTE: get labels from Pod

NOTE: get labels from Pod

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

How to test in Haskell: HSpec setup

8
Comments
2 min read
From Infinite Type to Functor

From Infinite Type to Functor

6
Comments
4 min read
elz inviting contributors

elz inviting contributors

4
Comments
1 min read
Infinite Type

Infinite Type

7
Comments
3 min read
Haskell quick start

Haskell quick start

16
Comments
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

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

Reflection on Working effectively with legacy code — Part I

7
Comments 2
2 min read
Algebra data type vs Class

Algebra data type vs Class

6
Comments
2 min read
How to use .gitignore

How to use .gitignore

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

Weird behavior in Go: encoding/gob

6
Comments
1 min read
DPDK usertools: devbind

DPDK usertools: devbind

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

DPDK – EAL Input/output error

6
Comments
1 min read
nix report

nix report

6
Comments
3 min read
Privileged Pod – Debug kubernetes node

Privileged Pod – Debug kubernetes node

10
Comments
1 min read
Notes: Ruby Conf Taiwan 2019

Notes: Ruby Conf Taiwan 2019

8
Comments
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

5
Comments
2 min read
tcpdump cheat sheet

tcpdump cheat sheet

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

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

The Go concurrency bug I made

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

Kubernetes Networking: concept and overview from underlying perspective

9
Comments 1
13 min read
HugePages on Kubernetes

HugePages on Kubernetes

7
Comments
3 min read
5 tools for file transfer

5 tools for file transfer

6
Comments
3 min read
gRPC proxy: approach & pain

gRPC proxy: approach & pain

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

6
Comments
3 min read
Introduction of LLDB

Introduction of LLDB

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

Make googletest-like test framework from scratch

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

Tracing source code of Kubernetes client-go

6
Comments
6 min read
A lightweight web framework for Go

A lightweight web framework for Go

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

How to compare Go benchmark in TravisCI

7
Comments
1 min read
Kubernetes context

Kubernetes context

6
Comments
3 min read
Testing in Go

Testing in Go

50
Comments 4
3 min read
Test LLVM Go binding in travis

Test LLVM Go binding in travis

12
Comments 1
2 min read
Go quick start

Go quick start

17
Comments
4 min read
Use httpexpect to test server

Use httpexpect to test server

7
Comments
1 min read
gRPC quick start in Go

gRPC quick start in Go

19
Comments 7
2 min read
Practical issue about DNS – EDNS0

Practical issue about DNS – EDNS0

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

Reflection in Go: create a stack[T]

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

Magic in redux-go v2.1: package rematch

8
Comments
6 min read
Error is Value

Error is Value

8
Comments 2
3 min read
Another build system for Cpp

Another build system for Cpp

9
Comments
1 min read
How to get started with Rust

How to get started with Rust

13
Comments
2 min read
Design of Redux-go v2

Design of Redux-go v2

8
Comments
4 min read
Create a WaitGroup by yourself

Create a WaitGroup by yourself

11
Comments
2 min read
loading...