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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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