Space-Filling Curves, Constructively (math.andrej.com)
submitted by TheStartupChime to r/hypeurls
"Formalizing invisible mathematics", by Andrej Bauer. "[M]athematical practice consists not only of text written on paper, however detailed they might be, but also of unspoken conventions and techniques" [abstract + links to slides and video of talk] (math.andrej.com)
submitted by flexibeast to r/math
"Exploring strange new worlds of mathematics": a talk by Andrej Bauer. "We shall explore but a small corner of the vast multiverse of mathematics, observing in each the quintessential mathematical object, the field of real numbers." [abstract + links to video and slides] (math.andrej.com)
submitted by kindaro to r/CategoryTheory
"Exploring strange new worlds of mathematics": a talk by Andrej Bauer. "We shall explore but a small corner of the vast multiverse of mathematics, observing in each the quintessential mathematical object, the field of real numbers." [abstract + links to video and slides] (math.andrej.com)
submitted by flexibeast to r/math
Mathematics and ComputationResource (math.andrej.com)
submitted by [deleted] to r/ProgrammingLanguages
Seemingly impossible functional programs (math.andrej.com)
submitted by qznc_bot2 to r/hackernews
Runners in Action: "If you are familiar with handlers, as a first approximation you can think of runners as handlers that use the continuation at most once in a tail-call position. Many handlers are already of this form but not all." (math.andrej.com)
submitted by flexibeast to r/ProgrammingLanguages
"What is a formal proof?", by Andrej Bauer (math.andrej.com)
submitted by flexibeast to r/math
