Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

robinm

@robinm@fosstodon.org
mastodon 4.7.3
  • Open on fosstodon.org

- dev #Cpp/#Rust
- #git entousiast
- I love to share knowledge and learn new things

Grenoble, France (fr + en)

49 Followers
147 Following
18 Posts
Joined July 25, 2023
Open post
robinm @robinm@fosstodon.org
· 2mo ago
Replying to
@PacoVelobs@mamot.fr @keyboards@mastodon.social j'ai jamais compris le concept d'avoir des claviers splitté (monobloc ou non) non matriciel. Ils sont ou les marteaux de machine à écrire qui expliquent le décalage à gauche des colonnes sur les deux mains !?
1
2
0
0
Open post
robinm @robinm@fosstodon.org
· 6mo ago
Replying to
@ottaross@mastodon.social @jannem@fosstodon.org @sil@mastodon.social you guys are getting 12? I got 9!
3
0
0
0
Open post
robinm @robinm@fosstodon.org
· 5mo ago
Replying to
@PacoVelobs@mamot.fr @ashiel@eldritch.cafe dans l'idée oui. Je suis dispo le we du 6-7
1
1
0
0
Open post
robinm @robinm@fosstodon.org
· 5mo ago
Replying to
@BoydStephenSmithJr @slava gc solves it for memory, but not for any other ressources (ie. anything that has a tear_down step)
1
0
0
0
Open post
robinm @robinm@fosstodon.org
· 5mo ago
Replying to
@lindenshieldarts What I love about artists is how they look at normal everyday life and make something beautiful of it!
1
0
0
0
Open post
robinm @robinm@fosstodon.org
· 6mo ago
Replying to
@supersingular @noratrieb So you're telling me that if I need to exaustively search in a 2^64 space, I only need 15'000$, that's crazy cheap! This also imply that a state-level malicious actor with a budget of 150'000'000 can crack an 80 bits password. Gosh!
1
3
0
0
Open post
robinm @robinm@fosstodon.org
· 6mo ago
Replying to
@FrutigerAero00@mastodon.social @rpsu@mas.to It actually kill people because it mess up the brain enough for some to get accidents. Our brain really don't like to change when to wake up and go to sleep. Also electricity exist, and good LED exists that can imitate sunlight, so it's not really an issue in winter if we wake up before sunset. Basically all cons, no pro.
1
0
0
0
Open post
robinm @robinm@fosstodon.org
· 25mo ago
Replying to

@pinskia@hachyderm.io @scherzog@mastodon.gamedev.place @crazyeddie@mastodon.social @lina@vt.social

Plus Rust the langauge still does not a decent specifications

Could we please stop to use this argument where the arternatives don't have specs either. The language used in the kernel is /not/ ISO C, it's C with GNU dialect. It litteraly took years to make it possible to compile it with clang and it's not possible to compile it with MSVC. Having a spec does help C in the kernel. Rust not having a spec should therfore be a non issue.

7
15
2
0
Open post
robinm @robinm@fosstodon.org
· 10mo ago
Replying to
@Mara amazing!
1
0
0
0
Open post
robinm @robinm@fosstodon.org
· 17mo ago
Replying to
@meduz @atsemtex Tellement ! Merci de me l'avoir fait remarqué !
2
0
0
0
Open post
robinm @robinm@fosstodon.org
· 25mo ago
Replying to
@Conan_Kudo@fosstodon.org @pinskia@hachyderm.io @scherzog@mastodon.gamedev.place @crazyeddie@mastodon.social @lina@vt.social In your case, aren't the Rust RFC enough, or does divergeance between when they where accepted and the real implementation too much? And when you speak about squeezing out everything from the language feels like compiler work (which isn't an issue if there is a single blessed implementation) than application/library work, or do I miss something?
1
3
0
0
Open post
robinm @robinm@fosstodon.org
· 7mo ago
Replying to
@NuclearSquid Par contre le gros problème c'est qu'à l'époque de stackoverflow les gens faisaient un minimum gaffe de relire le code qu'ils copiait-collait. Alors qu'avec les LLM les gens s'étonnent quand on leur dit "t'es pas censé me donner un brouillon de mauvaise qualité, mais du boulot pro"
0
0
0
0
Open post
robinm @robinm@fosstodon.org
· 25mo ago
Replying to
@Conan_Kudo@fosstodon.org @pinskia@hachyderm.io @scherzog@mastodon.gamedev.place @crazyeddie@mastodon.social @lina@vt.social How is a spec more valuable than documentation? And UB are unfortunately underspecified in Rust, C and C++. We don't have a complete list for any of those languages.
0
10
0
0
Open post
robinm @robinm@fosstodon.org
· 25mo ago
Replying to
@Conan_Kudo@fosstodon.org @pinskia@hachyderm.io @scherzog@mastodon.gamedev.place @crazyeddie@mastodon.social @lina@vt.social I'm surprised because I read a lot of C++ papers (I'd about 5% of them since many years) for fun, but I never needed to refer to them to resolve issue when using C++. However I do use cppreference.com a lot. And the only time I did not found what I needed in cppreference and had to open the corresponding paper (it was about deducing this), I just read the usage example, lot the implementation notes in legalized language.
0
8
1
0
Open post
robinm @robinm@fosstodon.org
· 25mo ago
Replying to
@Conan_Kudo@fosstodon.org @pinskia@hachyderm.io @scherzog@mastodon.gamedev.place @crazyeddie@mastodon.social @lina@vt.social Makes sence. thanks for the detailled explanation.
0
0
0
0
Open post
robinm @robinm@fosstodon.org
· 25mo ago
Replying to
@pinskia@hachyderm.io @scherzog@mastodon.gamedev.place @crazyeddie@mastodon.social @lina@vt.social I may have been in the wrong, I didn't know GNU extension where specified. I still don't think that spec are needed, just good documentation.
0
12
0
0
Open post
robinm @robinm@fosstodon.org
· 5mo ago
Replying to
@PacoVelobs@mamot.fr @ashiel@eldritch.cafe je pense qu'il me manque du contexte. L'idée c'est d'aller voler ?
0
5
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 14:34:55 UTC