Code && Coffee Past Events November 25th, 2025: 2 + 2 = 4? Prove it! October 3rd, 2025: Introduction to Linux November 22nd, 2024: The λ-Calculus is Practical, Actually