Reasoning with Negations: The Australian Plan, Negation-as-Failure and Card Selection Tasks (with Francesco Berto) 0 Home on consequently.org · 20d · discuss ·
F-Droid’s Android open-source app store has been rebuilt from the ground up 0 GadgeteerZA · 20d · discuss ·
Trial By Error: Journal of Psychosomatic Research Publishes First-Person Account of “Cure” with the Lightning Process 0 Virology Blog · 20d · discuss ·
Tobias Boege and Geva Yashfe: Recognizing Algebraic Matroids Is Undecidable 0 Combinatorics and more · 20d · discuss ·
An exceptional object for the irregular Waldron--Witaszek Fano fourfold 0 Pieter Belmans · 20d · discuss