Leaky Nun

covariance is unacceptable

Maths department of SecretLabs SE Branch (https://chat.stackexchange.com/rooms/52269/secretlabs-se-branch). Each period (with undetermined duration) will explore a topic in mathematics ranging from philosophy of mathematics to real world implementations, in particular, the room focuses on new ways and thinking to approach old and new problems. Topics are given in $\textbf{[Bold square brackets]}$ Latex: http://tinyurl.com/cfqcvpc.

a reading group for chapter 7 of Milne's ANT notes, see http://www.jmilne.org/math/CourseNotes/ant.html. Also, see https://www.maths.nottingham.ac.uk/plp/pmzibf/book/vol.pdf for some useful notes from Fesenko.

Lean theorem prover: https://leanprover.github.io/ TIO: https://tio.run/#lean

Practice your Jelly :) Rules and stuff are here: https://golfingsuccess.github.io/jelly-hypertraining/

Discussion générale pour http://codegolf.stackexchange.com/ en français

Allgemeine Diskussion für http://codegolf.stackexchange.com/ in Deutsch

Discussion about the J language (http://www.jsoftware.com/) (http://code.jsoftware.com/wiki/Main_Page) (http://tryj.tk/)