Elkhound, Elsa and Cqual++: Open-Source Static Analysis...

Why it's on BrighterTube

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Covers open-source static analysis tools Elkhound, Elsa, and Cqual++. Teaches program analysis techniques for security and correctness verification.

What you'll learn

A 42-minute video from Google TechTalks: “Elkhound, Elsa and Cqual++: Open-Source Static Analysis...”.

Programming & CS Skills

Video by Google TechTalks, played through YouTube's embedded player.

Emacs Org-mode - a system for note-taking and project planning Google TechTalksProgramming & CS

331K views

Lecture 6: Version Control (git) (2020)Missing SemesterProgramming & CS

752K views

How to Do 90% of What Plugins Do (With Just Vim)thoughtbotProgramming & CS

991K views

How To Design A Good API and Why it Matters Google TechTalksProgramming & CS

453K views

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math

Intro25.1M views

Let's build GPT: from scratch, in code, spelled out.Andrej KarpathyProgramming & CS

8.21M views

The spelled-out intro to neural networks and backpropagation: building micrograd Andrej KarpathyProgramming & CS

Intro4.41M views

Transformers, the tech behind LLMs | Deep Learning Chapter 5 3Blue1BrownProgramming & CS

Intro11.6M views

How to Speak MIT OpenCourseWareSkills

23.5M views

24:26

The Beauty of Bézier Curves Freya HolmérProgramming & CS

2.23M views

2:04:55

CS50x 2024 - Lecture 0 - Scratch CS50Programming & CS

Intro2.2M views

2:27:41

CS50x 2024 - Lecture 1 - C CS50Programming & CS

Intro1.41M views

Emacs Org-mode - a system for note-taking and project planning

Google TechTalks

331K views

Carsten Dominik, Org-mode's creator, demonstrates using it for notes, planning and project management.

Lecture 6: Version Control (git) (2020)

Missing Semester

752K views

MIT's Missing Semester lecture on Git: the data model of blobs, trees, commits and references, then the commands built on it.

How to Do 90% of What Plugins Do (With Just Vim)

thoughtbot

991K views

Max Cantor shows how to get fuzzy file finding, tag jumping, autocomplete and build integration in Vim using only built-in features.

How To Design A Good API and Why it Matters

Google TechTalks

453K views

Joshua Bloch (Effective Java) gives principles for designing good APIs: naming, minimality, documentation, error handling and evolving interfaces without breaking users.

But what is a neural network? | Deep learning chapter 1

3Blue1Brown

Intro25.1M views

Builds up what a neural network actually is — neurons as numbers, layers, weights and biases — using handwritten-digit recognition as the running example.

Let's build GPT: from scratch, in code, spelled out.

Andrej Karpathy

8.21M views

Building a GPT-style language model from scratch in code, following 'Attention Is All You Need'.

The spelled-out intro to neural networks and backpropagation: building micrograd

Andrej Karpathy

Intro4.41M views

Building micrograd, a tiny autograd engine, to understand backpropagation completely.

Transformers, the tech behind LLMs | Deep Learning Chapter 5

3Blue1Brown

Intro11.6M views

How transformer models (the 'T' in GPT) turn text into vectors and predict the next token, step by step.

How to Speak

MIT OpenCourseWare

23.5M views

Patrick Winston's MIT lecture on how to speak: openings, structure, slides and closings.

24:26

The Beauty of Bézier Curves

Freya Holmér

2.23M views

Freya Holmér builds Bézier curves from linear interpolation up, covering de Casteljau's algorithm, derivatives, arc length and their use in games and graphics.

2:04:55

CS50x 2024 - Lecture 0 - Scratch

CS50

Intro2.2M views

CS50x 2024 lecture 0: how computers represent information, algorithms, and first programs in Scratch.

2:27:41

CS50x 2024 - Lecture 1 - C

CS50

Intro1.41M views

CS50x 2024 lecture 1: an introduction to C — syntax, types, conditionals, loops and compiling.