loading...
donaldkellett profile

#discussOn Humility

Donald Sebastian Leung・

Reactions
chat
2 min read
donaldkellett profile

A Gentle Introduction to Curry-Howard Isomorphism

Donald Sebastian Leung・

Reactions
chat
12 min read
donaldkellett profile

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

Donald Sebastian Leung・

Reactions
chat
7 min read
donaldkellett profile

#discussAn overview of programming languages (opinion)

Donald Sebastian Leung・

Reactions
chat
7 min read
donaldkellett profile

Testing logical equivalences (and more) using Z3 Theorem Prover

Donald Sebastian Leung・

Reactions
chat
6 min read
donaldkellett profile

#discussWhat are the hardest programming languages you have ever learned?

Donald Sebastian Leung・

Reactions
chat
2 min read
donaldkellett profile

Computer Science 101 - Introduction to Linked Lists

Donald Sebastian Leung・

Reactions
chat
4 min read
donaldkellett profile

#challengeImproving your programming skills with Codewars

Donald Sebastian Leung・

Reactions
chat
4 min read
donaldkellett profile

The Importance Of Following Conventions

Donald Sebastian Leung・

Reactions
3 min read
donaldkellett profile

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

Donald Sebastian Leung・

Reactions
chat
1 min read
donaldkellett profile

#discussHas type safety gone too far?

Donald Sebastian Leung・

Reactions
chat
2 min read
loading...