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

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

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

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.

Think you're too old to start coding at 30? Think again. In this video, I share why your age—and life experience—might be your ...

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

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

Can speed typing help you code faster? That's the question of the day! Thanks for dropping by (and don't mind the thumbnail.

In this video, we're going to see how we can take a basic single server setup to a full blown scalable system. We'll take a look at ...

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

A good rule of thumb is to never use "if" statements when writing shell or bash scripts. 90% of the time, you can get what you want ...

Learn how to implement the FFT in this practical coding tutorial in which I guide you step-by-step through the process of writing a ...

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

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

To find your nearest Summit Service Center, click here. https://www.summit.com/locations.

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

WEBSITE: https://lukesmith.xyz ❓ DONATE NOW: https://lukesmith.xyz/support.

Inquiries: thecodinggopher@gmail.com ‍ Get 40% OFF CodeCrafters: https://app.codecrafters.io/join?via=the-coding-gopher ...

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

In recent years, the way we write code has transformed—with AI assistants entering our text editors, autocomplete becoming ...

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

As part of our 'Introduction to coding' session, we look at what coding is, what coding languages are, and why you might want to ...

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

We have entered a new age of programming. It is the age of "vibe coding," which is using A.I. tools like ChatGPT or Gemini to write ...

Testing Claude Code, to automate Arduino coding/debugging for Metro & OPT 4048! On the most recent Desk of Ladyada, we ...