DEV Community

loading...
Donald Sebastian Leung profile picture

Donald Sebastian Leung

IT Consultant at CR Enterprise

Education

The Hong Kong University of Science and Technology

Work

IT Consultant at CR Enterprise

A brief introduction to LDAP

A brief introduction to LDAP

Reactions 6 Comments
13 min read
Enjoy the classic Snake arcade game in your terminal

Enjoy the classic Snake arcade game in your terminal

Reactions 8 Comments
3 min read
Containers from first principles with Rust

Containers from first principles with Rust

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