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

Getting started with OSDev on RISC-V

Getting started with OSDev on RISC-V

Reactions 8 Comments
3 min read
Evaluating Rust and its ecosystem

Evaluating Rust and its ecosystem

Reactions 28 Comments 2
4 min read
Hello Embedded World - booting a minimal Linux with Busybox on RISC-V, from source

Hello Embedded World - booting a minimal Linux with Busybox on RISC-V, from source

Reactions 21 Comments 2
9 min read
Solving RISC-V Kata locally, the not-so-easy way

Solving RISC-V Kata locally, the not-so-easy way

Reactions 9 Comments 1
9 min read
My thoughts and experiences with Linux From Scratch

My thoughts and experiences with Linux From Scratch

Reactions 12 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 6 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 3 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 8 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...