Skip to content

AICODEAgentic Programming · 67723 · 2026-7

Weeks Syllabus Lab schedule Course staff Notices Moodle

Week 5 · video 7 of 8

Linters & Formatters

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

←Previous videoType Checking Next videoWriting CLAUDE.md→

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:50 06Type Checking9:4707Linters & Formatters7:0708Writing 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