ViewTube

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

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

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

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

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

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

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

To try everything Brilliant has to offer—free—for a full 30 days, visit https://brilliant.org/IsaacHarrisHolt/ . You'll also get 20% off an ...

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

Drawing tables on paper; DrJava debugger https://w3.cs.jmu.edu/mayfiecs/cs149/

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

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

00:00 intro 00:47 CONTEXT AND ANNOUNCEMENT 02:02 WHY RUST? 03:49 CONSEQUENCES FOR THE DEBIAN ...

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

Check our documentary "Beyond The Success Of Kotlin: https://youtu.be/E8CtE7qTb-Q Integrate GitHub Copilot and ChatGPT ...

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

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

The Dart project includes a modern scalable language, libraries, and tools to help developers build large complex web ...

Webpage - http://filmsbykris.com Support - https://www.patreon.com/metalx1000 Donate ...

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