/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 leanprover-community.github.io
Maths in Lean: Topological, uniform and metric spaces
| | www.encyclopediaofmath.org
Standard Borel space - Encyclopedia of Mathematics
5.2 parsecs away

Travel
| | [AI summary] This text discusses the mathematical concept of standard Borel spaces, their properties, and related theorems in descriptive set theory.
| | terrytao.wordpress.com
245B, Notes 8: A quick review of point set topology | What's new
2.2 parsecs away

Travel
| | To progress further in our study of function spaces, we will need to develop the standard theory of metric spaces, and of the closely related theory of topological spaces (i.e. point-set topology)....
| | relatedwork.blogspot.com
Related Work: The Product Topology, or, How Not to Stumble into the Box Topology
5.0 parsecs away

Travel
| | WARNING : This post won't make much sense unless you've read at least my first Topology As Touching post. Product Topologies and the Myste...
| | andreabergia.com
Error handling patterns ยท Andrea Bergia's Website
21.5 parsecs away

Travel
| Error handling is a fundamental aspect of programming. Unless you are writing hello world, you will need to handle errors in your code. In this post, I will discuss a bit the most common approaches used by various programming languages. Return error codes This is one of the most ancient strategies - if a function can fail, it can simply return an error code - often a negative number, or null.