DEV Community

Donald Sebastian Leung profile picture

Donald Sebastian Leung

I perform IT troubleshooting and consulting duties at work, though deep down I am a cloud, virtualization and open source enthusiast.

Education

The Hong Kong University of Science and Technology

Work

Specialist in IT consulting at China Resources Enterprise Limited

My thoughts and experiences with Linux From Scratch

My thoughts and experiences with Linux From Scratch

Reactions 8 Comments 1
4 min read
SHA256le in 16 guesses (or less)

SHA256le in 16 guesses (or less)

Comments 1
2 min read
Introduction to OpenStack with MicroStack

Introduction to OpenStack with MicroStack

Reactions 5 Comments
16 min read
Introduction to Infrastructure as Code with Terraform and Packer

Introduction to Infrastructure as Code with Terraform and Packer

Reactions 8 Comments 1
15 min read
Introduction to Kubernetes with Amazon EKS

Introduction to Kubernetes with Amazon EKS

Reactions 2 Comments
26 min read
Introduction to the AWS CLI

Introduction to the AWS CLI

Reactions 7 Comments
15 min read
Setting up a single-node Hadoop cluster

Setting up a single-node Hadoop cluster

Reactions 6 Comments
10 min read
A brief introduction to LDAP

A brief introduction to LDAP

Reactions 8 Comments
13 min read
Enjoy the classic Snake arcade game in your terminal

Enjoy the classic Snake arcade game in your terminal

Reactions 7 Comments
3 min read
Containers from first principles with Rust

Containers from first principles with Rust

Reactions 7 Comments
12 min read
Giving a new life to a 15 year old computer

Giving a new life to a 15 year old computer

Reactions 4 Comments 3
2 min read
On Humility

On Humility

Reactions 3 Comments 2
2 min read
A Gentle Introduction to Curry-Howard Isomorphism

A Gentle Introduction to Curry-Howard Isomorphism

Reactions 21 Comments 3
12 min read
(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language

(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language

Reactions 113 Comments 15
7 min read
An overview of programming languages (opinion)

An overview of programming languages (opinion)

Reactions 14 Comments 2
7 min read
Testing logical equivalences (and more) using Z3 Theorem Prover

Testing logical equivalences (and more) using Z3 Theorem Prover

Reactions 33 Comments 1
6 min read
What are the hardest programming languages you have ever learned?

What are the hardest programming languages you have ever learned?

Reactions 94 Comments 130
2 min read
Computer Science 101 - Introduction to Linked Lists

Computer Science 101 - Introduction to Linked Lists

Reactions 54 Comments 3
4 min read
Improving your programming skills with Codewars

Improving your programming skills with Codewars

Reactions 41 Comments 11
4 min read
The Importance Of Following Conventions

The Importance Of Following Conventions

Reactions 13 Comments
3 min read
Should a good programming language enforce one particular paradigm or should it incorporate multiple paradigms?

Should a good programming language enforce one particular paradigm or should it incorporate multiple paradigms?

Reactions 9 Comments 2
1 min read
Has type safety gone too far?

Has type safety gone too far?

Reactions 15 Comments 26
2 min read
loading...