Skip to content
Search

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.

Location Hong Kong Joined Joined on  Email address donaldsebleung@gmail.com Personal website https://donaldsebleung.com github website

Education

The Hong Kong University of Science and Technology

Work

Specialist in IT consulting at China Resources Enterprise Limited

My RISC-V OSDev journey, so far
donaldsebleung profile

My RISC-V OSDev journey, so far

#riscv #osdev #c #linux
1
Comments
7 min read

Want to connect with Donald Sebastian Leung?

Create an account to connect with Donald Sebastian Leung. You can also sign in below to proceed if you already have an account.

Create Account
Already have an account? Sign in
Getting started with OSDev on RISC-V
donaldsebleung profile

Getting started with OSDev on RISC-V

#osdev #riscv #c #linux
8
Comments
3 min read
Evaluating Rust and its ecosystem
donaldsebleung profile

Evaluating Rust and its ecosystem

#discuss #rust #systemsprogramming
29
Comments 2
4 min read
Hello Embedded World - booting a minimal Linux with Busybox on RISC-V, from source
donaldsebleung profile

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

#linux #embedded #riscv #opensource
22
Comments 2
9 min read
Solving RISC-V Kata locally, the not-so-easy way
donaldsebleung profile

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

#riscv #linux #assembly #codewars
9
Comments 1
9 min read
My thoughts and experiences with Linux From Scratch
donaldsebleung profile

My thoughts and experiences with Linux From Scratch

#linux #linuxfromscratch #infotech #opensource
16
Comments 1
4 min read
SHA256le in 16 guesses (or less)
donaldsebleung profile

SHA256le in 16 guesses (or less)

#watercooler #hash #sha256 #wordle
Comments 1
2 min read
Introduction to OpenStack with MicroStack
donaldsebleung profile

Introduction to OpenStack with MicroStack

#cloud #iaas #openstack #microstack
9
Comments
16 min read
Introduction to Infrastructure as Code with Terraform and Packer
donaldsebleung profile

Introduction to Infrastructure as Code with Terraform and Packer

#devops #terraform #packer #aws
8
Comments 1
15 min read
Introduction to Kubernetes with Amazon EKS
donaldsebleung profile

Introduction to Kubernetes with Amazon EKS

#kubernetes #aws #cloud #containers
3
Comments
26 min read
Introduction to the AWS CLI
donaldsebleung profile

Introduction to the AWS CLI

#aws #cloudcomputing #linux #ubuntu
7
Comments
15 min read
Setting up a single-node Hadoop cluster
donaldsebleung profile

Setting up a single-node Hadoop cluster

#linux #ubuntu #hadoop #bigdata
8
Comments
10 min read
A brief introduction to LDAP
donaldsebleung profile

A brief introduction to LDAP

#linux #ldap #tutorial
8
Comments
13 min read
Enjoy the classic Snake arcade game in your terminal
donaldsebleung profile

Enjoy the classic Snake arcade game in your terminal

#node #javascript #linux #bash
7
Comments
3 min read
Containers from first principles with Rust
donaldsebleung profile

Containers from first principles with Rust

#linux #rust #containers
7
Comments
12 min read
Giving a new life to a 15 year old computer
donaldsebleung profile

Giving a new life to a 15 year old computer

#discuss #linux #opensource #reuse
4
Comments 3
2 min read
On Humility
donaldkellett profile

On Humility

#discuss #community #behavior #humantraits
3
Comments 2
2 min read
A Gentle Introduction to Curry-Howard Isomorphism
donaldkellett profile

A Gentle Introduction to Curry-Howard Isomorphism

#computerscience #theoremproving
21
Comments 3
12 min read
(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language
donaldkellett profile

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

#computerscience #discretemath #language #logic
114
Comments 15
7 min read
An overview of programming languages (opinion)
donaldsebleung profile

An overview of programming languages (opinion)

#discuss
14
Comments 2
7 min read
Testing logical equivalences (and more) using Z3 Theorem Prover
donaldkellett profile

Testing logical equivalences (and more) using Z3 Theorem Prover

#computerscience #discretemath #logic #smtsolvers
33
Comments 1
6 min read
What are the hardest programming languages you have ever learned?
donaldsebleung profile

What are the hardest programming languages you have ever learned?

#discuss
94
Comments 130
2 min read
Computer Science 101 - Introduction to Linked Lists
donaldkellett profile

Computer Science 101 - Introduction to Linked Lists

#computerscience #fundamentals #basics
54
Comments 3
4 min read
Improving your programming skills with Codewars
donaldsebleung profile

Improving your programming skills with Codewars

#challenge #education #learning
44
Comments 11
4 min read
The Importance Of Following Conventions
donaldkellett profile

The Importance Of Following Conventions

#productivity #bestpractices
13
Comments
3 min read
Should a good programming language enforce one particular paradigm or should it incorporate multiple paradigms?
donaldsebleung profile

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

#discuss
9
Comments 2
1 min read
Has type safety gone too far?
donaldsebleung profile

Has type safety gone too far?

#discuss
15
Comments 26
2 min read
loading...