Type Driven Thoughts 🦀 – Telegram
Type Driven Thoughts 🦀
230 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
Finally received this awesome book by Mara Bos (team lead of rust library team).

Judging by reviews it is kind of a more hardcore version of Rustonomicon.
🔥14👎1
You can also find me on https://gloomypixels.space/@egor_ivkov now.

Not that I hate Elon Musk that much, it's just that my feed on Twitter became exceedingly less interesting as all the tech people moved to Mastodon.
👍2👎1😁1
Just found Linus on Fediverse (e.g. Mastodon / Akkoma) - https://social.kernel.org/users/torvalds

I hope he keeps his presence there, though when he registered on Twitter it seems he quickly forgot about it.
👍2👎1
Some Unix networking tools. Mostly common knowledge, but it's good to have them in one place.
5👎1
Must move types - https://smallcultfollowing.com/babysteps/blog/2023/03/16/must-move-types/

A recent post by Niko Matsakis, one of the core contributors to Rust. It is basically about linear types, the concept which some of you might be familiar with if you played with Idris2 for example. These types have a restriction that they should be used exactly once.

On the practical side Niko ties this feature with negative trait bounds, which are required for it to work, and async drop, which might be easier to implement with must move types.
3👎1
Forwarded from Impure Pics
4👎1😁1
So here is a random late Sunday poll. What shell do you use as your default?

Can't avoid mentioning that nushell is written in Rust :D
Anonymous Poll
25%
bash
47%
zsh
21%
fish
5%
nushell
2%
other (in comments)
👎1
Cover of the dreaded and abhorred Rustonomicon
🔥4👎1
Good old C, though I prefer the "C: A Reference Manual" by Samuel P. Harbison and Guy L. Steele Jr. textbook.
👎2
Forwarded from RWPS::Mirror
Homesick for a place I’m not sure still exisis
👎1
A recent article by Alex Kladov - Zig and Rust

Most of you might know Alex as the original creator of JetBrains Rust Plugin and rust-analyzer and he is now working on TigerBeetle database in Zig. So this article is rather interesting, at least to me:
1. As it highlights a couple of insights into the architecture of TigerBeetle, mentioning exactly how Zig helped them
2. And gives a weighted opinion about Zig as a language from a perspective of a person who used Rust a lot.

The thing is I haven't seen yet any other weighted opinion on Zig, all of the other blogs/posts are usually hate/love comments without much detail. And about the TigerBeetle architecture what is curious is that they went for extreme controllability and simplicity at the same time and it seems that it works.
👍5👎1
A discussion of C23 standard - https://queue.acm.org/detail.cfm?id=3588242

This article seems to be all over the internet (hacker news, twitter, reddit). I'm not into C enough to know all the details. But it seems to me that there are some good additions in the standard in the safety area - like checked arithmetic. And I am not sure why everybody hates the new unreachable keyword so much, it's quite ok in Rust with pretty much the same semantics.
👍2👎1
so, a quick PSA moment

The Rust Foundation (not to be confused with The Rust Project, who actually develop Rust) is currently planning to put up trademark policies that are so restrictive that this channel would be affected. essentially, they want to prohibit usage of the word “Rust” in names of any projects, including non-commercial. (they also banned a bunch of stuff like modifying Rust logo and selling Rust merch).

that’s kinda awful. if you also find this policy kinda awful, please, express your disagreement in the feedback form. as far as I understand, it would be open for a week.

sorry for offtop & pinning, I hope that won’t happen again.
👍5👎1
So it's time to rewrite our bash noscripts in Rust I guess🤷‍♂.

But seriously:
- We already have build.rs noscripts, so having more Rust noscripts in the repo that uses Rust probably wouldn't hurt
- It's an awesome feature for prototyping - Rust online playground isn't as versatile
🔥81👎1
Finally he joined the Rust Evangelism Strike Force😁
🔥9👎1😱1😢1🎉1
This media is not supported in your browser
VIEW IN TELEGRAM
😁4👎1
In Rust it's mostly "and also write a book". Doc comments are really good for most of the libraries on crates.io
👍3👎1
Forwarded from Ноунейм мемы
👍5😁2👎1
And Rust experiences "is a plus"😁
😁7😢3👍1👎1
Hah it's nice to see the project I worked at previously trending in crate of the week. Good job Qdrant team!
👍6👎1