CS50 or AP Computer Science teaches students how to think algorithmically and solve problems efficiently. Problem sets inspired by real-world domains of biology, cryptography, finance, …

Our Coding Levels, similar to martial arts belt system, defines programming skill levels from beginner all the way to skilled. With each level, students will be expected to gain proficiency in …

So in the end, it’s up to you to figure out how a Mexican agouti, tarsier, or axolotl will guide you on your programming journey. For now, I did my best to decipher a few myself.

May 3, 2023 · Elephant 2000 is a programming language to specify programs that accept user speech as text inputs and outputs speech text. The inputs and outputs are based on Dialogue …

Collection of classic computer science paradigms, algorithms, and approaches written in JavaScript. This is the source code for the series of blog posts on my website.

We introduce the “programming languages” Algol 48 and Algol 50 to illustrate in a simpler setting some ideas to be used in Elephant 2000. These are the explicit use of time in a programming …

An Elephant program is itself a logical sentence (or perhaps a syntactic sugaring of a logical sentence). The extensional correctness properties of the program are logical consequences of …

AP Computer Science Principles introduces students to the foundational concepts of computer science and programming in JavaScript. With a unique focus on creative problem solving and …

This is a draft of a proposal for a programming language in which its input and output statements are characterized as speech acts and programs can refer directly to the past.

Elephant 2000 is a proposed programming language good for writing and verifying programs that interact with people (e.g. transaction processing) or interact with programs belonging to other …