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
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
Forwarded from pub ThisWeekInRust {}
Crate of the week: Qdrant

This week's crate is Qdrant, an open source production ready vector database/similarity search engine written in Rust. There are APIs available for Rust, Python, Javanoscript/Typenoscript and Go.
🔥6👎1
Not a problem anymore
🤩8😁4👎1
But you have to use a monad to print Hello World! 🌚
😁3👎1
Forwarded from Impure Pics
👍2👎1😁1
That's all you need to know about Rust governance btw. The RFC process sadly has been non-existent for many years already.
😢7👎1
Oof nice release - Rust 1.70

Many things stabilized:
- OnceCell
- IsTerminal
- Arc, Rc::into_inner

These are a few immediately useful for me.

It's a good break from all the governance drama
👍3👎1
A proposed ownership design for D Lang in an article published in 2009, which as you could guess predates Rust's ownership system - https://bartoszmilewski.com/2009/06/02/race-free-multithreading-ownership/

Though as the author himself notes on Twitter, Graydon Hoare when working on Rust might have also been aware of the papers that D Lang ownership proposal lists as references.
👍5👎1
And another slide by Graydon Hoare explaining the move semantics from way back, when Rust was only incubating. I like how from beginning they decided to make the terminology not too academic.
👍5👎1
This media is not supported in your browser
VIEW IN TELEGRAM
👎1