Skip to content

AICODEAgentic Programming · 67723 · 2026-7

Weeks Syllabus Lab schedule Course staff Notices Moodle

Week 5 · video 6 of 8

Type Checking

9:47subtitles: English, עברית, العربيةSlides (PDF)Transcript

←Previous videoWhat Tests Cost, and Which Ones to Keep Next videoLinters & Formatters→

Week 5 videos

01Formal Tools and Fuzzy Tools11:04 02Testing: Kinds of Tests, and Having the Agent Write Them13:32 03Testing GUIs and the Logic Behind Them11:40 04From Stories to Tests9:20 05What Tests Cost, and Which Ones to Keep14:5006Type Checking9:4707Linters & Formatters7:07 08Writing CLAUDE.md4:13

Feedback on the course? Tell us what works and what doesn't: aicode@cs.huji.ac.il

Agentic Programming · AICODE 67723 · 2026-7

Lab times and room — shnaton 67723

School of Computer Science & Engineering, Hebrew University of Jerusalem

Prof. Aviv Zohar