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 RISC-V OSDev journey, so far

My RISC-V OSDev journey, so far

Reactions 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.

Already have an account? Sign in
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 29 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 14 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 7 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 114 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...