Tuit catalog

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

57,037 tuit · 983 channels · 42 domains · Last update: Nov 15, 2026
Granular Thema (1,955)
57037 tuit · page 220/1426
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