Formal & Physical Sciences Computing & CybersecurityENLec 30: CTL Model Checking AlgorithmsProf. Chandan KarfaAugust 21, 2026 36 min★ ★ ★ ★ ☆ 4/5CTLModel CheckingFormal Verification
Applied Sciences & Engineering Computing & CybersecurityEN5 utilisations INCROYABLES de NotebookLM (en 2026)5 INCREDIBLE ways to use NotebookLM (in 2026)The French BotJune 5, 2026 13 min★ ★ ★ ★ ☆ 4/5NotebookLMGoogle AIProductivity
Applied Sciences & Engineering Computing & CybersecurityENObsidian + Claude Code : ce que ce débutant a fait en 10 jours est bluffantObsidian + Claude Code: What this beginner accomplished in 10 days is astounding.Eliott MeunierMarch 6, 2026 50 min★ ★ ★ ★ ☆ 4/5ObsidianClaude CodeSecond Brain
Applied Sciences & Engineering Computing & CybersecurityENMaster 95% of Claude Code Skills in 28 MinutesNate HerkFebruary 27, 2026 27 min★ ★ ★ ★ ☆ 4/5Claude CodeAI AgentsSkills