robinm

joined 1 year ago
[–] [email protected] 6 points 3 weeks ago (1 children)

This post from 2022 was very interesting:

There are approximately 1.5 million total lines of Rust code in AOSP across new functionality and components [...] These are low-level components that require a systems language which otherwise would have been implemented in C++.

To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.

https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

[–] [email protected] 2 points 1 month ago (1 children)

git worktree could become your new friend then :)

[–] [email protected] 1 points 1 month ago

The quote (and the associated discussion) is such an important part of Rust and why I love this language so much. Anything that can be automated should at one point be automated reliably, and the sooner the better.

[–] [email protected] 1 points 2 months ago

It's a question of workflow. Git doesn't guide you (it's really workflow agnostic) and I find it easier to taillor CLI to fit my exact need, or use whatever was recently added (like worktrees a few years ago). I have yet to find a GUI/TUI that I'm not frustrated with at one point but everyone has its own preferences.

[–] [email protected] 1 points 2 months ago (2 children)

If you use the git command line (and I do) you should spam git log --graph (usualy with --oneline).

And for your filesystem example I sure do hope you use tree!

[–] [email protected] 7 points 3 months ago

Thank you! I didn’t realized that I was using my lemmy account and not my mastodon account.

 

Hello,

I’m trying to follow Lennard Poetting (@pid_[email protected]) from my programming.dev account without success.

On its user profile on mastodon.social, when I click on the “follow” button, then enter “programming.dev” (which is in the completion list) then “take me home”, I am redirected to https://programming.dev/authorize_interaction?uri=https%3A%2F%2Fmastodon.social%2Fusers%2Fpid_eins which is a 404 error.

I also tried to search for “@pid_[email protected]” directly from programming.dev, found it, but 0 toot, and no button to be able to follow it.

Am I doing something wrong? Is mastodon.social and programming.dev not federated?

[–] [email protected] 2 points 3 months ago

I absolutely agree that method extraction can be abused. One should not forget that locality is important. Functionnal idioms do help to minimise the layer of intermediate functions. Lamda/closure helps too by having the function much closer to its use site. And local variables can sometime be a better choice than having a function that return just an expression.

[–] [email protected] 8 points 3 months ago (3 children)

Good advice, clear, simple and to the point.

Stated otherwise: "whenever you need to add comments to an expression, try to use named intermediate variables, method or free function".

[–] [email protected] 1 points 3 months ago

A fun read but it really seems that his writting style is hit or miss!

[–] [email protected] 10 points 4 months ago

I never understood why python won agaist ruby. I find ruby an even better executable pseudo code language than python.

[–] [email protected] 2 points 4 months ago

Awesome! It reminds me of that clip that uses the windows task manager to run doom on a 896 core CPU.

[–] [email protected] 2 points 5 months ago* (last edited 5 months ago)

It's so anoying that at $WORK we have multiple git repos with symbolic link that points above their respective .git to each other and need to be in sync. So of course git workree and git bisect don't work that well…

 

The Rust for Linux (RFL) project may not have (yet) resulted in user-visible changes to the Linux kernel, but it seems the wider world has taken notice. Hongyu Li has announced that the Rust for Linux code is now part of a satellite just launched out of China. The satellite is running a system called RROS, which follows the old RTLinux pattern of running a realtime kernel alongside Linux. The realtime core is written in Rust, using the RFL groundwork.

Despite its imperfections, we still want to share RROS with the community, showcasing our serious commitment to using RFL for substantial projects and contributing to the community's growth. Our development journey with RROS has been greatly enriched by the support and knowledge from the RFL community. We also have received invaluable assistance from enthusiastic forks here, especially when addressing issues related to safety abstraction

(Thanks to Dirk Behme).

view more: next ›