林子篆

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

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

thanks

May 25 '20

gRPC quick start in Go

A short answer is it's possible, but that also means you ar...

Mar 14 '20

NOTE: simply typed lambda calculus

Unfortunately, this kind of article with so many latex symb...

Mar 10 '20

🤑🥳😎Going down the youtube tech guru hole or how you can spot scam artists

I also feel not good with such courses but on the other han...

Feb 16 '20

Get Started Writing Scheme

Just take a look at awesome-racket, github.com/Junker/routy...

Feb 12 '20

NOTE: bounded polymorphism

forgot that MathJax expression xd. Did anyone know how to u...

Jan 27 '20

Phabricator is Phabulous

really cool, thanks for sharing.

Jan 22 '20

When is nesting good or neutral?

A few cases, sometimes we cannot extract out a function bec...

Jan 6 '20

View all 28 comments

林子篆

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

6 2

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

6 1

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

8 1

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

Infinite Type

#plt #language

3 min read

林子篆

Dec 8 '19

Haskell quick start

#haskell #beginners #plt #language

5 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

7 2

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

7 1

2 min read

林子篆

Jun 18 '19

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

#go

6 4

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

9 1

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

8 1

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

9 4

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

50 4

3 min read

林子篆

Oct 6 '18

Test LLVM Go binding in travis

#llvm #go #testing #travis

12 1

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

19 7

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

8 2

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

DEV Community is a community of 850,025 amazing developers

Recent comments

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

gRPC quick start in Go

NOTE: simply typed lambda calculus

🤑🥳😎Going down the youtube tech guru hole or how you can spot scam artists

Get Started Writing Scheme

NOTE: bounded polymorphism

Phabricator is Phabulous

When is nesting good or neutral?