14:00 UTC
Anna Kovacs
Game Theory in Everyday Decisions
Mathematics
17:30 UTC
Raj Patel
Solving Advent of Code 2025 Live
Programming
20:00 UTC
Lena Fischer
Formal Verification with Lean 4
Logic
22:00 UTC
James Chen
Philosophy of Consciousness Debate
Philosophy