Explore >> Select a destination
|
You are here 
|
blog.japaric.io | ||
| | | | |
9elements.com
|
|
| | | | | Rust is a strongly typed, low-level programming language built for safety, speed, and concurrency from the ground up. It is mostly developed byMozillaand has been battle tested byover a hundred companiesincludingDropboxand the game... | |
| | | | |
tmandry.gitlab.io
|
|
| | | | | My last post, The Rust Organization in 2021, was about how things got done. In this post, I want to talk about what I'd like to see get done: the biggest language, library, and compiler features I'd like to see in 2021. To be sure, this post is more of a "wish list," in the sense that it may not be possible to do all of it in a year. But these are the most important things I can think of to make progress on. | |
| | | | |
smallcultfollowing.com
|
|
| | | | | ||
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
