Tuit catalog

Synthesis notes of video analyses, assessed and condensed, in French and English.

55,839 tuit · 974 channels · 42 domains · Last update: Nov 10, 2026
Granular Thema (1,949)
55839 tuit · page 192/1396
Formal & Physical Sciences AI — Models & Research
EN

New BEST AI image generator is here

AI Search
32 min
★ ★ ★ ★ ☆ 4/5
GPT Image 2.5AI Image GenerationOpenAI
Humanities, Social Sciences & Thought History
EN

Minute-By-Minute: 9/11 As It Happened

Timeline - World History Documentaries
55 min
★ ★ ★ ★ ☆ 4/5
9/11World Trade CenterHijacking
Life & Natural Systems Biology
EN

MGV3702 - Genética de Populações Aula4

MGV3702 - Population Genetics Class4

Genes News - Genética e Processamento de Dados
159 min
★ ★ ★ ★ ☆ 4/5
Population GeneticsHardy-Weinberg EquilibriumChi-Square Test
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 44: Equivalence Checking between Programs

Prof. Chandan Karfa
50 min
★ ★ ★ ★ ☆ 4/5
Equivalence CheckingFormal VerificationCompiler Optimization
Formal & Physical Sciences AI — Models & Research
EN

Lec 43: Quantization & LLM Inference Optimization

Dr. Satyajit Das and Prof. Satyadhyan Chickerur (NPTEL IIT Guwahati)
23 min
★ ★ ★ ★ ☆ 4/5
QuantizationLLM InferencePost-Training Quantization
Applied Sciences & Engineering AI — Models & Research
EN

Lec 42: TensorRT & Hardware Acceleration

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
24 min
★ ★ ★ ★ ☆ 4/5
TensorRTInferenceGPU
Applied Sciences & Engineering AI — News & Applications
EN

Lec 41: ONNX Runtime

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
29 min
★ ★ ★ ★ ☆ 4/5
ONNX RuntimeModel ServingInference Optimization
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 41: Bounded Model Checking

Prof. Chandan Karfa, IIT Guwahati
39 min
★ ★ ★ ★ ☆ 4/5
Formal VerificationBounded Model CheckingSAT Solver
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 40: SAT based Symbolic Model Checking

Prof. Chandan Karfa
37 min
★ ★ ★ ★ ★ 5/5
SATSymbolic Model CheckingBounded Model Checking
Applied Sciences & Engineering Computing & Cybersecurity
EN

Lec 40: Graph Tracing, Batching & Concurrency

Dr. Satyajit Das and Prof. Satyadhyan Chickerur
28 min
★ ★ ★ ★ ☆ 4/5
AI InferenceCUDA GraphsBatching
Formal & Physical Sciences Mathematics
EN

Lec 39: Inference Fundamentals

Satyajit Das, Satyadhyan Chickerur (IIT Guwahati)
40 min
★ ★ ★ ★ ☆ 4/5
LLM InferenceKV CachePerformance Metrics
Humanities, Social Sciences & Thought Economics & Finance
EN

Le SEO est mort

SEO Is Dead

Renaud Dékode
21 min
★ ★ ★ ☆ ☆ 3/5
SEOArtificial IntelligenceGoogle