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 ...

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

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

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

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

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

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

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

A very brief introduction to programming for total beginners.

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

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

The HiRSE Summer of Programming Languages series features 'Fortran' presented by Damian Rouson from the Lawrence ...

In today's video I will try to convince you that you need to learn multiple programming languages and be aware of other stacks.

Which programming languages can help you get paid? Let's see. Now, if you want to become a software engineer without a ...

Programming is hard. But mastering it can be harder. My talk will be about some tips and tricks i've learnt in my 10+ years coding ...

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

INFO 101 This video is part of a course on social networking technologies taught by Bob Boiko at the University of Washington.

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 ...

Subscribe for more coding related videos. I will be uploading programming languages' lectures soon. So subscribe now .

Note: the course planning has changed. Please see Brightspace for an up-to-date version.