/explore
|
You are here 
|
dygalo.dev | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
blog.lohr.dev
A review by a Rust enthusiast |
|
| | | | | ||
| | | | |
stackoverflow.blog
[AI summary] An in-depth look at why the Rust programming language is gaining popularity, focusing on its static typing, memory safety, and performance advantages over C, C++, and managed languages. |
|
| | | | | ||
| | | | |
rakhim.org
[AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. |
|
| | | |||
