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, forensics, and gaming.

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 specific programming skills and projects. Each new level will …

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 Act theory which describes several forms of speech outputs, …

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 language and the representation of the program by logical sentences.

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 this sentence and a theory of the domain in which the program acts.

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 real-world applications, students are challenged to explore how computing and technology can impact the world.

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 organizations (e.g. electronic data interchange)