Static program analysis tools

Coccinelle (software)

Coccinelle (French for ladybug) is an open-source utility for matching and transforming the source code of programs written in the C programming language. (Wikipedia).

Video thumbnail

Trigonometry 5 The Cosine Relationship

A geometrical explanation of the law of cosines.

From playlist Trigonometry

Video thumbnail

Law of cosine, Proof with no words | visual proof #SoME2

One of the beautiful way to proof Law of cosine. I find it is easier to memorize in this way. ******************************************************* Music: Outgoing Hikikomori - Playing Outside | No Copyright BGM https://www.youtube.com/watch?v=qg-QpeMKtcM *****************************

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Kernel Recipes 2018 - Coccinelle: 10 Years of Automated Evolution in the Linux Kernel - Julia Lawall

 J. Lawall The Coccinelle C-program matching and transformation tool was first released in 2008 to facilitate specification and automation in the evolution of Linux kernel code. The novel contribution of Coccinelle is to allow software developers to write code manipulation rules in terms

From playlist Kernel Recipes 2018

Video thumbnail

Courir (to run) — Past, Present & Future (French verbs conjugated by Learn French With Alexa)

Alexa conjugates the French verb COURIR (TO RUN) in the Present, Past and Future Tense. Bisou Bisou 💋 Support us and get exclusive member benefits: https://www.youtube.com/channel/UCK6TzBHhEUCKa6dgjlsVHEw/join ---------------------------------------------- TAKE YOUR FRENCH TO THE

From playlist Alexa Polidoro: Common French Verbs | CosmoLearning French Language

Video thumbnail

Anais Crestetto: Micro-macro discretizations

The lecture was held within the of the Hausdorff Junior Trimester Program: Kinetic Theory Abstract: This talk aims to present asymptotic preserving (AP) schemes, based on micro-macro decomposition and particle method, for kinetic equations of Boltzmann-BGK type in the diffusive scaling.

From playlist HIM Lectures: Junior Trimester Program "Kinetic Theory"

Video thumbnail

Kernel Recipes 2022 - The Kernel Self-Protection Project and how you can help

This presentation will cover some of the most recent KSPP accomplishments, as well as some currently active efforts. Also, a brief explanation of how you can help us complete some particularly challenging work will be presented. Gustavo A. R. Silva More: https://kernel-recipes.org/en/202

From playlist Kernel Recipes 2022

Video thumbnail

Kernel Recipes 2018 - Knowing the definition of Linux kernel to...- Vaishali Thakkar

Self learning is underrated in the modern era of education. While kernel being the heart of an operating system, traditional universities [in India] are still far away from teaching anything more than the definition of Linux Kernel. The talk will mostly focus on my journey of self learning

From playlist Kernel Recipes 2018

Video thumbnail

Law of Cosines SSS

I make short, to-the-point online math tutorials. I struggled with math growing up and have been able to use those experiences to help students improve in math through practical applications and tips. Want my resources? https://www.youtube.com/channel/UCQv3dpUXUWvDFQarHrS5P9A/join If I h

From playlist Law of Cosines

Video thumbnail

Law of Cosines calculator SSS

I make short, to-the-point online math tutorials. I struggled with math growing up and have been able to use those experiences to help students improve in math through practical applications and tips. If I helped you in this video, I would love to have you subscribe. My subscribers are my

From playlist Law of Cosines

Video thumbnail

Supercharging Semantic Search with Pinecone and Cohere

Building your semantic search applications doesn’t have to be tedious and painful; Cohere and Pinecone are teaming up to show you how. Through an interactive demo, you will learn how to use Pinecone and Cohere to create sentence embeddings, index them in a vector database, and then identif

From playlist Talks

Video thumbnail

BAGUETTE 5E

My first "E" video!!!! Music ("Keep Calmed, Stay Relaxed") by JamieMo Copyright - Jamie Mo

From playlist BAGUETTE

Video thumbnail

Savoir (to know / know how to do something) — French verb conjugated by in the past tense

Alexa conjugates the French verb savoir (to know/know how to do something) in the past tense. Bisou Bisou 💋 Support us and get exclusive member benefits: https://www.youtube.com/channel/UCK6TzBHhEUCKa6dgjlsVHEw/join ---------------------------------------------- TAKE YOUR FRENCH T

From playlist Alexa Polidoro: Common French Verbs | CosmoLearning French Language

Video thumbnail

Savoir (to know / know how to do something) — Present Tense French Verb

Alexa conjugates the French verb SAVOIR (TO KNOW/KNOW HOW TO DO SOMETHING) in the PRESENT TENSE. Bisou Bisou 💋 Support us and get exclusive member benefits: https://www.youtube.com/channel/UCK6TzBHhEUCKa6dgjlsVHEw/join ---------------------------------------------- TAKE YOUR FRENC

From playlist Alexa Polidoro: Common French Verbs | CosmoLearning French Language

Video thumbnail

The Cosine Law in 37 seconds #shorts

What the title says. Carefree by Kevin MacLeod Link: https://incompetech.filmmusic.io/song/3476-carefree License: https://filmmusic.io/standard-license

From playlist Trigonometry

Related pages

Static program analysis | Program transformation