|
You are here |
www.lihaoyi.com | ||
| | | | |
dehora.net
|
|
| | | | | Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere. | |
| | | | |
grundlefleck.github.io
|
|
| | | | | ||
| | | | |
degoes.net
|
|
| | | | | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts | |
| | | | |
alanrendall.wordpress.com
|
|
| | | In a previous post I discussed the Brouwer fixed point theorem and I mentioned the fact that it applies to any non-empty closed bounded convex subset of a Euclidean space, since a subset of this kind is homeomorphic to a closed ball in a Euclidean space. However I did not prove the latter statement. I... | ||