#RUST

Jagoda Ślązakj_g00da@fosstodon.org
2025-05-04

🦀 New post in the series!
Are We Embedded Yet?

And yes, we’ve got another new backend!

📰 jslazak.com/are-we-embedded-ye

TUI everywhere.

#rust #rustlang #ratatui #tui #embedded

2025-05-04

A slice in time slowly being consumed by it. The mechanical, tactile controls we gave up for touch screens?
#radio #antique #vehicles #rust #buttons #dials

Rusty dash of a very old truck (50’s?) with, near as I can make out from left to right
Upper:
* ashtray slot w/hole for lighter
* radio with 3 “knobs” and a peephole view of current frequency
* no idea, rectangle indented plate with small hole
Below that:
* shaft of knob?
* remnant of knob or switch
* slot for key
* empty hole
* another switch or knob remnant

Under dash:
* maybe a pull knob, for choke or ventA rusty and leafy view of far left/bottom of dash and foot pedal area. The dash area has three wide oval knobs, the kinds of things your hand can get a good purchase on and pull or push with authority. One could be for releasing hood latch but that seems like the age when you just reached under front of hood, felt around then pulled up on hidden latch. They could be for headlights, maybe a choke, perhaps something fancy like timing advance. Any other likely candidates?
Below that, on what’s left of the floorboard, there are two round rubber pedals with concentric “grip” circle texture. Most like clutch on left and brake on right. The gas pedal is missing but we can just make out a hole in the firewall with a cable coming through.Closeup of the odometer, where a speedometer cable snaking its way up from transmission area to hook to gears that rotate a dial to indicate speed using a dial coming out of the empty hole in the middle and below that it would drive other gears to slowly tick over a series of numbered wheels to track total miles. This may be showing 12193x for mileage, or depending on angle it could be 23204x (‘x’ means I can’t read that dial).
Jan David :ferris:jdno@hachyderm.io
2025-05-04

I'm tinkering a bit with command-line applications in #rust, and I'm kinda surprised that there doesn't seem to be a "full-stack" framework for them yet.

There are tons of good options to parse command-line arguments, but there's so much more I want my CLI to do. Features like error handling, logging and tracing, interactive & non-interactive modes, (optional) structured output, ...

Am I just missing something?

Richard Carlssonrichcarl@mastodon.nu
2025-05-04

Need an excuse to try out Rust? My friend Olle Wreede has written a very nice introduction to Game Development in Rust with Macroquad - easy and very pedagogical: mq.agical.se/index.html (also as print book) #Rust #gamedev #MacroQuad

2025-05-04

Neuer Beitrag auf unserer Webseite: "Ein Jahr voller Energie: „Voltron Nevera powered by Rimac“ feiert ersten Geburtstag mit über 3,25 Millionen Fahrgästen" | quadruvium.club/2025/05/ein-ja | #Ausflugsziele #Deutschland #Europa #Freizeitparks #BadenWrttemberg #EuropaPark #Rust #Schwarzwald

TheMovieBlogTheMovieBlog@c.im
2025-05-04

Rust Review: A Western Tinged With Real-Life Sadness

Joel Souza’s Rust, a contemplative Western born from tragedy, arrives under the long shadow of an unspeakable real-life event. As a film, it seeks to tell a story of familial redemption and moral reckoning in the dust-blown plains of 1880s Kansas....

#AlecBaldwin #JoelSouza #PatrickScottMcDermott #Rust #TravisFimmel

Jan :rust: :ferris:janriemer@floss.social
2025-05-03

F* (fstar) Interactive Tutorial:

fstar-lang.org/tutorial/

I'm only like 10% into the tutorial, but this language is CRAZY (fun)! :awesome: 😄

I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I can ultimately formally verify my #Rust crate (former attempts with #Creusot and #Kani failed for me).

Aeneas:
github.com/AeneasVerif/aeneas

See part two of toot for a toy example of proving function equivalence

1/2

#FormalVerification #FunctionalProgramming #RustLang

Cam Cookscrum_log
2025-05-03

"Relying on integer overflow’s wrapping behavior is considered an error."

Well, I wasn't intending on it, but now you told me not to 😈

Legoraftlegoraft
2025-05-03

Couldn't be written in or something, is just not the greatest thing. Being downstream of a closed source project to mod some small things is also a huge part of the problem though.

Iris Encryption Quantum-Safe by Darkart (Eye Encryption) This program is intended solely for ethical and educational purposes #anonymous #biometrics #programing #coding #engineers #technology #hacker #game #gaming #pc #python #linux #c #rust #security #Tool #book #compter #encryption #tech #bio

2025-05-03

✋ Procedural macros
👉 Object-oriented macros

#Rust #programming #shitpost

Deadlinedeadline
2025-05-03

‘Thunderbolts*’ Now Aiming For $73M-$77M, ‘Sinners’ Full Of Grace With $33M+, ‘Rust’ Not Good – Saturday Box Office Update

deadline.com/2025/05/box-offic

Nik | Klampfradler 🎸🚲nik@toot.teckids.org
2025-05-03

Inspiriert von @pinguin habe ich als kleine #Rust-Fingerübung eine Live-Karte aller Busse in #Bonn gebaut:

naturalnet.de/~nik/bonnbusmap/

(Das erste Laden dauert ein paar Minuten, weil das API der SWB nicht so gerne mag, wenn man es benutzt…)

Quick'n'dirty code: codeberg.org/Natureshadow/bonn

2025-05-03

I rarely talk well about #web3 or #blockchain, on my blog, even if I work basically daily on them with #rust, and I've never talked about #internetcomputer which for me is one of the only two blockchains which are valid and to be trusted to build decentralised applications.

So, do not be sceptical, and go read why the Internet Computer is a great project for decentralised applications.

blog.veeso.dev/blog/en/why-as-

2025-05-03

#holoRUST 】PVP #2 この戦いを終わらせに来たのら(・o・🍬)【姫森ルーナ/ホロライブ】
youtube.com/watch?v=_0C9PG3Np6

#youtube_HimemoriLuna #ホロライブ #hololive #バーチャルyoutuber #Vtuber #RUST

0xdeafbeefdeafbeef
2025-05-03

What will this code return?

```
let f = OpenOptions::new()
.create(true).open()?
```

Of course
` Invalid argument (os error 22)`

Guess who spent an hour with strace chasing a phantom open/filesystem bug - only to find nothing?

It works in c and python, but rust restricts this.

github.com/rust-lang/rust/issu

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst