ViewTube

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

Get 40% OFF CodeCrafters: https://app.codecrafters.io/join?via=the-coding-gopher ⬆️ Best project-based coding platform.

Why Learning to Code in 2025 Might be a Waste of Time (Do This Instead) Don't have projects to showcase? Try Codecrafters: ...

How do you analyse qualitative text data? What is coding? This video tutorial will give a basic introduction to different methods of ...

Get 40% OFF CodeCrafters: https://app.codecrafters.io/join?via=the-coding-gopher Join my free newsletter on Go & backend ...

When we first get started with VS Code, it can feel a little overwhelming, so in this video I take a look at the basics, starting off with ...

Unlock the full power of GitHub — even if you're not a coder! In this ultimate beginner's guide, we'll show you how to find free AI ...

In this video I discuss some tools that you can use to learn Linux better, even when you don't have internet access or a functioning ...

This video will show you how to make image recognition bots as fast as possible using Python. I will cover the basics of Pyautogui, ...

This video goes over the fundamental make commands using the C or C++ language. This video is a introduction to the make ...

Today, I would like to introduce you to a pretty cool tool for WebXR that allows you to create AR/VR experiences with literally 0 ...

This is a quick video overview of the free and open source Geany IDE which will help you get started using it. Download Geany ...

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

Check out Supabase: https://supabase.plug.dev/qnxeTMY ❤️ Get 40% OFF CodeCrafters: ...

This tutorial introduces the key tools and techniques to create virtual worlds using CoSpaces Edu! Jump to a specific topic: The ...

You can now make a Unity game without writing a single line of code — and I'll show you how. In this tutorial, I use Cursor, ...

Watch part 2: https://www.youtube.com/watch?v=yhBzUjDEXtU In this video, I go on a trip down memory lane and visit Scratch, ...

In this video I showcase the Emacs Claude Code package, which provides seamless integration between Emacs and Claude AI's ...

In this video, you'll learn how to make a simple Cookie Clicker game using Code.org's App Lab. Code.org: https://code.org/ Open ...

Learn how to use Microsoft makecode with microbit. If you're just getting started, then that's cool, we'll check out the editor, the ...