Interesting results, never thought that Rust was more popular than Scala btw.

Solving halting problem with simply typed lambda calculus. Some Haskell knowledge is needed to go through the type checking logic :)

Actually the whole blog by Ben Lynn is fascinating.

https://crypto.stanford.edu/~blynn/lambda/simply.html

Also an interesting thing I discovered is that Haskell compiler actually uses simply typed lambda representations as their intermediate language. So hah now they are no longer purely theoretical 😂. Simon Peyton Jones said the only added like one case to it that differs from original mathematical definition.

Rusty XAML windows 🎉. I wonder if they will allow to use it in Xamarin.
https://github.com/microsoft/windows-rs/issues/81#issuecomment-848110943

Alexander Granin recently posted The Voids of Haskell - a collection of books that would benefit the Haskell community if they existed. To me it was actually interesting in a way I guess he didn't expect - he listed a lot of books as an examples on many CS topics - and I think it is a great reading list as mostly the topics are language agnostic.

Rust Std team is so toxic here. It is very strange, considering that usually Rust community is very welcoming both the working groups and user communities. But I guess maybe it is in general related to aggression towards blockchain, which seems to be kind of constant... But again this is weird and it is good that Niko corrected it in the end.

I filed an issue about it, better safe than sorry, and feel pretty affronted by the reaction https://github.com/rust-lang/rust/issues/85773

I feel like this part of type systems is underrated. Programmers have to be forced to keep "docs" up to date so that we don't eventually get the black box magic in the middle of critical apps😁

There was an interesting discussion recently in Rust Jobs chat about salary and location, so here is the question:

Good article, I think I agree with most of the points. Indeed senior position requires a lot more than just coding and even architecture design.

https://skamille.medium.com/an-incomplete-list-of-skills-senior-engineers-need-beyond-coding-8ed4a521b29f

I am interested what points would you add? Or which ones you disagree with? (In the comments)

Couldn't resist to share a quote from the The Manager's Path book:

In the most extreme case, one person reported meeting only twice with his manager in the span of six months, one of those times to receive a promotion.

Rocket web server framework finally will be possible to build in Rust stable! I think people only used it for personal projects because it was in nightly, I personally did😁. Now this changes things.

https://rocket.rs/v0.5-rc/news/2021-06-09-version-0.5-rc.1/

Just as I was planning to continue reading a book on formal verification here comes a meetup about it. And as you might have guessed (if you are familiar with the field of formal verification) they will be doing this in Coq - verifying a subset of Rust programs.

https://twitter.com/RustLondon_/status/1403334223394639872?s=20

Recently was going through OCaml references. Found out that monadic operations were just* introduced in 2018, this late in the language! This was a huge surprise for me. I mean the language designers have to be really devoted to introduce such big changes this late in the language.

* People could write a monad in OCaml before, but there was no explicit support for this pattern from the language side.

Rust 1.53.0 is out!

Nested or patterns, Unicode identifiers, IntoIterator for arrays and some other minor changes https://blog.rust-lang.org/2021/06/17/Rust-1.53.0.html

I should probably write my own WASM runtime one day :)

The WebAssembly runtime Wasmer 2.0 is released: up to +50% faster runtime speed, up to 70% faster hot startups, reference types, SIMD and more!

https://wasmer.io/posts/wasmer-2.0