ViewTube

My favourite Gleam feature - use - is often misunderstood, and many people find it confusing. Let's take a look at how it works, how ...

Voiced by @tokisuno ... Check out his channel. So, in this talk I want to tell about the reasons I love the Zig programming language ...

I show how to prove a basic result in logic using the Lean prover, first in tactic mode and then in term mode. Try Lean online with ...

Episode 0002 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Paul Graham says that "Lisp programs itself." Other famous hackers claim that "Lisp is the language of God." Really? What's so ...

A very brief survey of the most essential concepts about data types common to most programming languages. Follow up to ...

Rust is a programming language, but it's also a way for Marxists to subvert the establishment and overthrow institutions.

In this video we will discuss why Swift is not just an iOS app language and is not tied to the Apple ecosystem as it may seem.

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a ...

Notes -- https://filmsbykris.com/scripts/MyNotes/2025/notes/QRcodes%20Printable%20Pages https://odysee.com/@metalx1000:c ...

A very brief introduction to programming for total beginners.

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a ...

Why Go Should Be Your First Programming Language? The first programming language can make or break an aspiring ...

Talk presented at dotAI 2025: https://www.dotai.io/ Who is Vaibhav Gupta? Vaibhav is the Founder of Boundary, a Y Combinator ...

Solve a leetcode problem with the most popular programming languages of the '60s! Timestamps: 0:00 Intro 0:38 Leetcode ...

Script: https://joshua861.github.io/blog/posts/programming-history/ Credits, and sources: ...

An introduction to programming with a reductively simple programming language. Part of a larger series teaching programming.

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a ...

Are you a secret smoothbrain who doesn't know the difference between a terminal emulator and bash? Find out the difference ...

How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a ...