Type Driven Thoughts 🦀 – Telegram
Type Driven Thoughts 🦀
232 subscribers
62 photos
1 video
117 links
Thoughts, jokes, articles about software engineering, type systems, sysprog, shiny new languages and of course Rust.

A personal channel of @eadventurous
Download Telegram
Not that I was planning to join the hype, but someone went and made an NFT of me😂. Actually quite good and the interesting fact is I was really doing Kendo for several years.

The NFT is a part of the pack that was made by some community members for some employees in our company. Never thought this good about the community 😅.
Wanted to publish this for a long time. It is an overview of different RwLock implementations for Async Rust. Actually the results were quite surprising for me. I assumed everywhere fair scheduling was used, but seems like it is not the case.

The overview is 1 year old, so some things might have changed. And I guess this needs more investigation. Though might serve as a reminder of how careful we should be with async for now, especially with locks.

https://www.reddit.com/r/rust/comments/f4zldz/i_audited_3_different_implementation_of_async/
I so much want to publish a review on this meme and tell them not to use unwrap😅 I guess there is no cure for this.
Sometimes I start with "How did that ever work" one and then come to realise that I was actually not that stupid at the time of writing and handled all the cases 😁.
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
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.
Forwarded from pub ThisWeekInRust {}
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.
Forwarded from Hacker News
Programming and Writing (Score: 103+ in 5 hours)

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