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

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

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

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

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

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

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

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

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

In this video, Denshi goes over a simple explanation of what computer kernels are and how they work, alonside what makes the ...

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.

More new leads + 1500 followers + ALL my resources https://www.skool.com/buildroom/ Summary ⤵️ Learn how to use ...

Let's take a look at how we can use Compute Shaders and Compute Buffers to take some of the work that your CPU struggles with ...

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

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

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

Huge thanks to Jamango! for sponsoring this video and for allowing me to test out the early closed alpha version of Jamango! to ...