coffeecoffeecoffeecoffeecoffee
Most companies try to stay ahead of the curve when it comes to visual design, but for Planetaria we needed to create a brand that would still inspire us 100 years from now when humanity has spread across our entire solar system.
When you’re building a website for a company as ambitious as Planetaria, you need to make an impression. I wanted people to visit our website and see animations that looked more realistic than reality itself.
When we released the first version of cosmOS last year, it was written in Go. Go is a wonderful programming language, but it’s been a while since I’ve seen an article on the front page of Hacker News about rewriting some important tool in Go and I see articles on there about rewriting things in Rust every single week.
Lecture notes covering the definition of metric spaces, epsilon-neighborhoods, open and closed sets, and related propositions and examples in elementary topology. Includes discussion of open and closed sets, limit points, and properties of unions and intersections in metric spaces.