DEV Community

loading...
Donald Sebastian Leung profile picture

Donald Sebastian Leung

A Year 4 Computer Science and Engineering undergraduate at The Hong Kong University of Science and Technology

Location Hong Kong Joined Joined on  Email address donaldsebleung@gmail.com github website

Education

Year 4 CSE UG (HKUST)

Work

Software Developer (Intern) at M-Labs

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 19 Comments 2
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 104 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 31 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 53 Comments 3
4 min read
Improving your programming skills with Codewars

Improving your programming skills with Codewars

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