Rust 1.53 will have nested or patterns. This is actually a huge improvement for pattern matching. I remember several places in the codebase I am working on now, that could benefit from this.

https://twitter.com/m_ou_se/status/1389222957642403847?s=19

I didn't manage to get into any of the async vision doc design sessions with Niko, which is sad, but it is due to time zone issues. So at least found this recent interview, which is quite cool, I like how it explores the history and elaborates on the future of Rust.

https://www.youtube.com/watch?v=alD0l_8W9Sc&t=3374s

AWS SDK is released for Rust. I am all for these types of SDK, they promote programming deploy pipelines in some decent languages instead of bash😁.

Actually people at AWS are doing good job for the whole Rust ecosystem it seems by the latest news.

https://aws.amazon.com/blogs/developer/a-new-aws-sdk-for-rust-alpha-launch/

New iteration of the usual Rust "Who is hiring" thread https://www.reddit.com/r/rust/comments/n78324/official_rrust_whos_hiring_thread_for_jobseekers/

The magic of the Dot.

Actually it's not that hard to add from the IDE standpoint for functional languages. But I guess the community will be against🤷‍♂️.

Source: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ECOOP-July09.pdf

Tuple unpacking looks nice. More and more functional programming features in Rust. I definitely like where it is going.

https://internals.rust-lang.org/t/tuple-unpacking/14688/5

I saw some screenshots of this, and while it is still in its early stages, I can't say I am not excited😁. This is long overdue.

Crate of the week: tokio-console

This week's crate is tokio-console, a "top"-like utility to view your tasks run.

Scala 3 is out!

It is definitely a huge improvement of the language, I guess the do listen to community a lot. Improving implicits is of course my favourite😁.

New in Scala 3.

Scala 3 is here blog post.

I remember Brandon Sanderson also outlined that these jobs are similar, and explicitly mentioned that usually it is difficult to do them at the same time. Both programming and writing activate the same thought routines and therefore do not feel like one of them helps you rest from the other.

Programming and Writing (Score: 103+ in 5 hours)

Link: https://readhacker.news/s/4LCmm
Comments: https://readhacker.news/c/4LCmm

Thread on Reddit: What you don't like about Rust?

My favourite comment is this one:

The typesystem is just expressive enough that it activates the "must check everything with types" part of my brain, but the immediate way of doing so is often either very clunky or impossible (GADTs come to mind).

https://www.reddit.com/r/rust/comments/nejlf4/what_you_dont_like_about_rust/?utm_medium=android_app&utm_source=share

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.