林子篆

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

Taiwan Joined on May 23, 2018 dannypsnl@gmail.com https://dannypsnl.github.io/

Education

Kaohsiung Medical University

林子篆

Nov 19 '20

A wrong question: Is a Square a Rectangle?

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.

Create Account

Already have an account? Sign in

林子篆

Nov 19 '20

How to find mk fixed point

9 min read

林子篆

May 24 '20

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

#plt #hindleymilner #racket

12 min read

林子篆

May 20 '20

De Bruijn index: why and how

#plt #racket

6 min read

林子篆

May 20 '20

How to parse expression with the parser combinator

#parser #racket

5 min read

林子篆

Apr 14 '20

Explain Homotopy type theory like I'm five

#explainlikeimfive

1 min read

林子篆

Apr 11 '20

From Functor to Applicative

#plt #applicative #language #haskell

2 min read

林子篆

Mar 21 '20

Binary Encoding of Integer

#fundamental

3 min read

林子篆

Mar 10 '20

NOTE: simply typed lambda calculus

#plt

2 min read

林子篆

Feb 16 '20

A Racket macro tutorial – get HTTP parameters easier

#metaprogramming #racket

5 min read

林子篆

Jan 27 '20

NOTE: bounded polymorphism

#plt #language #haskell

1 min read

林子篆

Jan 16 '20

Type as Constraint: Why we need more type?

#plt #language

3 min read

林子篆

Jan 4 '20

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

#programming #testing

3 min read

林子篆

Jan 4 '20

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

#programming #testing

4 min read

林子篆

Dec 22 '19

Interaction with C in Zig

#zig #c #language

5 min read

林子篆

Dec 20 '19

NOTE: get labels from Pod

#note #kubernetes

2 min read

林子篆

Dec 15 '19

How to test in Haskell: HSpec setup

#haskell #beginners #testing

2 min read

林子篆

Dec 12 '19

From Infinite Type to Functor

#plt #language #haskell

4 min read

林子篆

Dec 9 '19

elz inviting contributors

#showdev #contributorswanted

1 min read

林子篆

Dec 8 '19

Haskell quick start

#haskell #beginners #plt #language

5 min read

林子篆

Dec 8 '19

Infinite Type

#plt #language

3 min read

林子篆

Dec 7 '19

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

#programming #testing

7 min read

林子篆

Nov 24 '19

Reflection on Working effectively with legacy code — Part I

#programming #testing

2 min read

林子篆

Nov 24 '19

Algebra data type vs Class

#plt #scala #haskell

2 min read

林子篆

Nov 8 '19

How to use .gitignore

#git

2 min read

林子篆

Nov 1 '19

Weird behavior in Go: encoding/gob

#gob #go #workrecord

1 min read

林子篆

Oct 20 '19

DPDK usertools: devbind

#dpdk #networking #workrecord

1 min read

林子篆

Oct 20 '19

DPDK – EAL Input/output error

#dpdk #networking #workrecord

1 min read

林子篆

Sep 18 '19

nix report

#nix #shell

3 min read

林子篆

Sep 18 '19

Privileged Pod – Debug kubernetes node

#kubernetes #debug

1 min read

林子篆

Aug 14 '19

Notes: Ruby Conf Taiwan 2019

#language #gc

5 min read

林子篆

Aug 1 '19

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

#rust

2 min read

林子篆

Jun 26 '19

tcpdump cheat sheet

#tcpdump #networking

2 min read

林子篆

Jun 18 '19

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

#go

1 min read

林子篆

May 25 '19

The Go concurrency bug I made

#go #concurrency #workrecord

3 min read

林子篆

Jul 20 '19

Kubernetes Networking: concept and overview from underlying perspective

#networking #kubernetes #linux

13 min read

林子篆

May 4 '19

HugePages on Kubernetes

#workrecord #hugepages #kubernetes #linux

3 min read

林子篆

Apr 27 '19

5 tools for file transfer

#tool

3 min read

林子篆

Apr 13 '19

gRPC proxy: approach & pain

#grpc

3 min read

林子篆

Mar 30 '19

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

#showdev #go #opensource

3 min read

林子篆

Mar 17 '19

Introduction of LLDB

#debugger

3 min read

林子篆

Mar 3 '19

Make googletest-like test framework from scratch

#metaprogramming #cpp

4 min read

林子篆

Jan 25 '19

Tracing source code of Kubernetes client-go

#kubernetes #go

6 min read

林子篆

Dec 29 '18

A lightweight web framework for Go

#showdev #go #opensource

1 min read

林子篆

Dec 29 '18

How to compare Go benchmark in TravisCI

#go #testing #travis

1 min read

林子篆

Dec 9 '18

Kubernetes context

#kubernetes

3 min read

林子篆

Nov 16 '18

Testing in Go

#go #testing #debug

3 min read

林子篆

Oct 6 '18

Test LLVM Go binding in travis

#llvm #go #testing #travis

2 min read

林子篆

Sep 25 '18

Go quick start

#go

4 min read

林子篆

Sep 16 '18

Use httpexpect to test server

#http #testing #networking #go

1 min read

林子篆

Aug 16 '18

gRPC quick start in Go

#networking #grpc #go

2 min read

林子篆

Aug 8 '18

Practical issue about DNS – EDNS0

#networking #dns #go

2 min read

林子篆

Jul 21 '18

Reflection in Go: create a stack[T]

#go #reflection

2 min read

林子篆

Jul 4 '18

Magic in redux-go v2.1: package rematch

#go #redux

6 min read

林子篆

Jun 21 '18

Error is Value

#go #errors

3 min read

林子篆

Jun 13 '18

Another build system for Cpp

#cpp

1 min read

林子篆

May 26 '18

How to get started with Rust

#rust

2 min read

林子篆

May 25 '18

Design of Redux-go v2

#go #redux

4 min read

林子篆

May 26 '18

Create a WaitGroup by yourself

#go #concurrency

2 min read