So richtig hat das #rustc ja keien HKTs (Higher kinded types), aber interessanter Blog wie man ihnen nahe kommt, wenn man z.b. eine kleien #fp Sprache schreieben will:

"Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler"

Oder einfach: Propositions as Types, Proofes as Values ;)

https://www.harudagondi.space/blog/torturing-rustc-by-emulating-hkts/

[Перевод] Rust 1.93.0: обновление встроенного musl, глобальный аллокатор и tls, cfg в asm

Команда Rust рада сообщить о новой версии языка — 1.93.0. Rust — это язык программирования, позволяющий каждому создавать надёжное и эффективное программное обеспечение. Если у вас есть предыдущая версия Rust, установленная через rustup , то для обновления до версии 1.93.0 вам достаточно выполнить команду: $ rustup update stable Если у вас ещё не установлен rustup , вы можете установить его с соответствующей страницы нашего веб-сайта, а также посмотреть подробные примечания к выпуску на GitHub. Если вы хотите помочь нам протестировать будущие выпуски, вы можете использовать канал beta ( rustup default beta ) или nightly ( rustup default nightly ). Пожалуйста, сообщайте обо всех встреченных вами ошибках. Что стабилизировано в 1.93.0

https://habr.com/ru/articles/988890/

#перевод #новости_технологий #clippy #cargo #rustc #rust #release #stable

[Перевод] Rust 1.92.0: проверка типа never, unused_must_use, генерация таблицы раскрутки стека на Linux, Валидация #[macro_export]

Команда Rust рада сообщить о новой версии языка — 1.92.0. Rust — это язык программирования, позволяющий каждому создавать надёжное и эффективное программное обеспечение. Если у вас есть предыдущая версия Rust, установленная через rustup , то для обновления до версии 1.92.0 вам достаточно выполнить команду: $ rustup update stable Если у вас ещё не установлен rustup , вы можете установить его с соответствующей страницы нашего веб-сайта, а также посмотреть подробные примечания к выпуску на GitHub. Если вы хотите помочь нам протестировать будущие выпуски, вы можете использовать канал beta ( rustup default beta ) или nightly ( rustup default nightly ). Пожалуйста, сообщайте обо всех встреченных вами ошибках.

https://habr.com/ru/articles/976134/

#clippy #cargo #rust #rustc #rustfmt #rustfix #release #stable #перевод #новости_технологий

#ThreeGoodThings #3GoodThings

+ #AdventOfCode mit #RustC angefangen
+ Hörbuch
+ In der Vorlesung gewesen

We (SCI Semiconductor) are about to hire some folks in the next couple of months (probably starting in January, since we're about to hit Christmas):

We're aiming to hire 1-3 FAEs, who can build out the open-source bits of the #CHERIoT software stack (including drivers / various communication stacks), build demos, and work with customers on use-case bringup.

We also want to hire someone else on the toolchain side. Primarily #LLDB + #OpenOCD, but also working with our #LLVM (and #RustC) folks.

Let me know if you're interested!

EDIT: We are a full-remote company. It's easiest for us to hire people in the UK (and one of our investors would really like us to hire more people in Sheffield), but elsewhere is possible (though might, for tax purposes, require you to be officially a contractor for a while).

We're also going to be hiring people for our hardware verification and RTL teams soon (more on the verification side than design at the moment, I think). I'm not responsible for them, but I can find out more details if anyone is interested. Our first CHERIoT chip is nearly finished, we're starting to work on the second.

EDIT 2: Thanks to all of the people who have expressed interest (in public and private posts). I'll try to get back to you all next week!

EDIT 3: I hope I've replied to everyone now! If I missed you (there were more replies than I expected!) please let me know. I think we'll aim to do another hiring round over the summer next year, so if the current timeline doesn't work out for you, please still let me know and I'll keep you in mind next time!

#GetFediHired

RE: https://hachyderm.io/@tshepang/115292317131043364

main Rust repo is now also done \0/
https://github.com/rust-lang/rust

#rustc #rustlang

Much discussion in my feeds around the rustc problem/bug generating bad code to do with SSE2;

https://lists.debian.org/debian-release/2024/11/msg00459.html

Can't say I understand what is the root case there, but rust is not making friends in the vintage/retro computing world.

Nor the folks maintaining old kit for customers.

#i386
#rustc #SSE2 #bug
#Debian 13
#Devuan 6

[Перевод] Rust 1.91.0: aarch64-pc-windows-msvc на Tier 1, отлавливание сырых указателей

Команда Rust рада сообщить о новой версии языка — 1.91.0. Rust — это язык программирования, позволяющий каждому создавать надёжное и эффективное программное обеспечение. Если у вас есть предыдущая версия Rust, установленная через rustup , то для обновления до версии 1.91.0 вам достаточно выполнить команду: $ rustup update stable Если у вас ещё не установлен rustup , вы можете установить его с соответствующей страницы нашего веб-сайта, а также посмотреть подробные примечания к выпуску на GitHub. Если вы хотите помочь нам протестировать будущие выпуски, вы можете использовать канал beta ( rustup default beta ) или nightly ( rustup default nightly ). Пожалуйста, сообщайте обо всех встреченных вами ошибках. Что стабилизировано в 1.91.0

https://habr.com/ru/articles/962050/

#clippy #cargo #rust #rustc #rustfmt #rustfix #release #stable #перевод #новости_технологий

Как работает система владений и ссылок в Rust на низком уровне

Привет Хабр! В этой статье я хотел поговорить о теме вечных конфликтов разработчиков на C++ и Rust. Стоит ли того система управления памятью в Rust или все-же это бестолковый механизм стремящийся составить конкуренцию родному методу? Систему управления памятью я разберу, а вот выводы остаются уже за вами.

https://habr.com/ru/articles/955628/

#rust #rustc #ownership #memory #lowlevel #assembler #ir #compiler

for those looking to contribute to the Rust compiler
https://rustc-dev-guide.rust-lang.org/#what-should-i-work-on

#rustc #rustlang