Search
Issues
Tracks
Calls
Archives
About us
Guidelines
Email
RSS
Source code
Issues
Tracks
Calls
Archives
About us
Guidelines
Email
RSS
Source code
Posts
2026
Too much information? The usefulness of talking redundantly
The Story of Moscow's Methodological Circle
The Axiom of Bad Choice and its Equivalents
Rotating Shapes: Two Möbius make a Klein
Proving Everything While Revealing Nothing: An Introduction to Zero-Knowledge Proofs
Logic Dating Profiles
Interview with Prof. Catarina Dutilh Novaes
2025
2025 ii: Hints and Solutions to Cryptic Clues
2025 ii: Editorial Note
Regularity Properties of the Reals and the Axiom of Choice
Merkle Puzzles: How to tell a secret
Mathematicians, list your ingredients!
Engineering Sexual Orientation
When *if* comes after *then*
Rotating Shapes: The long(est) line
Mathematical Structures in Programming Languages
Ingredients and Logic - Is putting pineapple on pizza rational?
Construct Colimits in a Topos Using Elementary Methods
The Logico-Empirical Foundations of Medieval Witchcraft Ascertainment: A Pythonian Analysis
The Illogicians' Conversation