Computing & Cybersecurity

4441 tuit · page 18/112
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
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

Bon, tout ça va trop loin là

Okay, this has gone too far

DevArt
14 min
★ ★ ★ ☆ ☆ 3/5
AIAI RisksViral Tweet
Humanities, Social Sciences & Thought Computing & Cybersecurity
EN

0x33F - Vincetopia - First thing first!

PolySécure Podcast
62 min
★ ★ ★ ☆ ☆ 3/5
Romance ScamMicrosoft TeamsAI Safety
Formal & Physical Sciences Computing & Cybersecurity
EN

You Need To See This At Least Once

axiom code
19 min
★ ★ ★ ★ ☆ 4/5
MathProofsDivision by Zero
Applied Sciences & Engineering Computing & Cybersecurity
EN

Quantum Advantage in Less Than Five Years

Dr. Bert de Jong
66 min
★ ★ ★ ★ ☆ 4/5
Quantum ComputingQuantum AdvantageSuperconducting Qubits
Formal & Physical Sciences Computing & Cybersecurity
EN

0x33D - Actu - 6 septembre 2026

0x33D - News - September 6, 2026

PolySécure Podcast
49 min
★ ★ ★ ★ ☆ 4/5
CybersecurityArtificial IntelligenceAI Safety
Formal & Physical Sciences Computing & Cybersecurity
EN

Lec 41: JPEG-1 Compression Standard

Prof. Samit Bhattacharya
21 min
★ ★ ★ ★ ☆ 4/5
MPEG-1JPEGVideo Compression