23JULPropositions as Types : An Introduction to Program SynthesisThu, Jul 23 · 06:30 PMETH Zurich / Zentrum / CAB G 52
26JULJunior Programmer Certification Course Sun, Jul 26 · 09:30 AMBUE ( The British University in Egypt)
29JULPapers We Love: Brooklyn - DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement LearningWed, Jul 29 · 06:30 PMMindspace Williamsburg
30JULJava Compiler Superpowers: Annotation Processors, Error Prone, and Coding AgentsThu, Jul 30 · 06:30 PMFree Times Cafe