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




Software Developer (Intern) at M-Labs

Giving a new life to a 15 year old computer

Reactions 4 Comments 3
2 min read

On Humility

Reactions 3 Comments 2
2 min read

A Gentle Introduction to Curry-Howard Isomorphism

Reactions 19 Comments 1
12 min read

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

Reactions 99 Comments 15
7 min read

An overview of programming languages (opinion)

Reactions 14 Comments 2
7 min read

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?

Reactions 94 Comments 130
2 min read

Computer Science 101 - Introduction to Linked Lists

Reactions 53 Comments 3
4 min read

Improving your programming skills with Codewars

Reactions 39 Comments 11
4 min read

The Importance Of Following Conventions

Reactions 13
3 min read

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?

Reactions 14 Comments 25
2 min read