loading...

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

Reactions 4 Comments 2
12 min read

De Bruijn index: why and how

Reactions 3
6 min read

How to parse expression with the parser combinator

Reactions 2
5 min read

#explainlikeimfiveExplain Homotopy type theory like I'm five

Reactions 2
1 min read

From Functor to Applicative

Reactions 6
2 min read

Binary Encoding of Integer

Reactions 5
3 min read

NOTE: simply typed lambda calculus

Reactions 7 Comments 1
2 min read

A Racket macro tutorial – get HTTP parameters easier

Reactions 6
5 min read

NOTE: bounded polymorphism

Reactions 5 Comments 1
1 min read

Type as Constraint: Why we need more type?

Reactions 4
3 min read

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

Reactions 6
4 min read

Interaction with C in Zig

Reactions 8
5 min read

NOTE: get labels from Pod

Reactions 2
2 min read

How to test in Haskell: HSpec setup

Reactions 8
2 min read

From Infinite Type to Functor

Reactions 4
4 min read

#showdevelz inviting contributors

Reactions 4
1 min read

Infinite Type

Reactions 7
3 min read

Haskell quick start

Reactions 16
5 min read

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

Reactions 6 Comments 2
2 min read

Algebra data type vs Class

Reactions 6
2 min read

How to use .gitignore

Reactions 8
2 min read

Weird behavior in Go: encoding/gob

Reactions 6
1 min read

DPDK usertools: devbind

Reactions 7
1 min read

DPDK – EAL Input/output error

Reactions 3
1 min read

nix report

Reactions 4
3 min read

Privileged Pod – Debug kubernetes node

Reactions 9
1 min read

Notes: Ruby Conf Taiwan 2019

Reactions 4
5 min read

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

Reactions 5
2 min read

tcpdump cheat sheet

Reactions 6 Comments 1
2 min read

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

Reactions 6 Comments 4
1 min read

The Go concurrency bug I made

Reactions 8
3 min read

Kubernetes Networking: concept and overview from underlying perspective

Reactions 10 Comments 1
13 min read

HugePages on Kubernetes

Reactions 7
3 min read

5 tools for file transfer

Reactions 6
3 min read

gRPC proxy: approach & pain

Reactions 4 Comments 1
3 min read

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

Reactions 7
3 min read

Introduction of LLDB

Reactions 4
3 min read

Make googletest-like test framework from scratch

Reactions 5
4 min read

Tracing source code of Kubernetes client-go

Reactions 6
6 min read

#showdevA lightweight web framework for Go

Reactions 9 Comments 4
1 min read

How to compare Go benchmark in TravisCI

Reactions 5
1 min read

Kubernetes context

Reactions 4
3 min read

Testing in Go

Reactions 45 Comments 4
3 min read

Test LLVM Go binding in travis

Reactions 12 Comments 1
2 min read

Go quick start

Reactions 17
4 min read

Use httpexpect to test server

Reactions 7
1 min read

gRPC quick start in Go

Reactions 18 Comments 7
2 min read

Practical issue about DNS – EDNS0

Reactions 10
2 min read

Reflection in Go: create a stack[T]

Reactions 8
2 min read

Magic in redux-go v2.1: package rematch

Reactions 8
6 min read

Error is Value

Reactions 8 Comments 2
3 min read

Another build system for Cpp

Reactions 7
1 min read

How to get started with Rust

Reactions 11
2 min read

Design of Redux-go v2

Reactions 8
4 min read

Create a WaitGroup by yourself

Reactions 9
2 min read
loading...