ViewTube

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

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

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

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

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

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

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

Build money-making AI automations in 7 days https://www.skool.com/buildroom/ Summary ⤵️ Learn how to use Google ...

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

🔥 In this video, I show you CLAUDE CODE, Anthropic's AI tool that is revolutionizing the way we program. What is Claude Code ...

Build money-making AI automations in 7 days https://www.skool.com/buildroom/ Summary ⤵️ Master Google's Vibe coding ...

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

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

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

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

If you would like to support me, please like, comment & subscribe, and check me out on Patreon: ...

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

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

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