Explore >> Select a destination
|
You are here 
|
sunfishcode.github.io | ||
| | | | |
degoes.net
|
|
| | | | | Effect tracking is not a non-goal for commercial software development; the real reasons to use functional effect systems lie elsewhere | |
| | | | |
nora.codes
|
|
| | | | | [AI summary] The article explains the concept of 'unsafe' in Rust, clarifying that it allows specific low-level operations while maintaining overall memory safety through the language's type system and safe abstractions. | |
| | | | |
www.ralfj.de
|
|
| | | | | ||
| | | | |
cronokirby.com
|
|
| | | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/ | ||
