Dr. Sobek

https://social.sciences.re/@Sobex

He/Him — Doctor in Computer Science / Micro-architecture security, since 2023. Rustacean 🦀, rail-fan.

Il/Lui — Docteur en informatique depuis janvier 2023. Rustacé 🦀 et fan de trains. Breton exilé en Germaine occidentale.

Public Key

npub1h2n9av67umnaxksptc3e45xtzcuddxk0th7p9umu35vj07mwxdjsfetjlj

NIP-05 Address

sobex_at_social.sciences.re@momostr.pink

Profile Code

nprofile1qqst4fj7kd0wde7ntgq4ugu66r93vwxknt84mlqj7d7g6xf8ldhrxegpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dssgwysf

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1h2n9av67umnaxksptc3e45xtzcuddxk0th7p9umu35vj07mwxdjsfetjlj

Show more details

Last Notes

2026-05-21 05:33:07 UTC

- reply

Got the same package, and also really happy about it <3.
(You’ll pry the collector English 3rd volume with its Italian side from my dead hands, I’m keeping it).

2026-04-07 14:21:39 UTC

- reply

Honnêtement, propre.

2026-04-07 14:15:50 UTC

- reply

C'est toujours appréciable le test commercial. Ils reprennent le Air pour recyclage à ce tarif là ?

2026-04-07 14:02:17 UTC

- reply

C'est un peu short pour un produit Apple, mais pas non plus complètement prématuré.
Je sais que certains modèles ont eu des soucis de vieillissement prématuré des cables d'écrans, mais le prix de remplacement d'écran, c'est apple qui vous l'a donné après vérification du problème du coup ?
Au moins, le Neo est significativement plus réparable que ses prédécesseurs.

2026-04-07 13:52:46 UTC

- reply

Quid de l'âge ?

2026-04-07 13:40:44 UTC

- reply

Il a quel âge le MB Air ?
(À noter quand même que le Néo, il est fortement recommandé de prendre la version à +100€ pour doubler le stockage et avoir touch ID)
Et il lui est arrivé un truc particulier pour l'écran ?

2026-03-22 16:33:48 UTC

- reply

Well, in a way that's depressing to see we build these foundation of sexism so early.

2026-03-18 06:23:15 UTC

- reply

Hmm, wasn’t it a RTG (https://en.wikipedia.org/wiki/Radioisotope_thermoelectric_generator) ?

2026-01-29 14:43:27 UTC

@npub16ys…sjae Here's my door today, after a colleague actually pestered me about adding the last few episodes ^^' (and I got her to do the printing and help moving everything up to make room for the new row)
So sounds like I know have to keep adding comics (and I'll have to find more wall or door space to invade if necessary).
https://social.sciences.re/system/media_attachments/files/115/978/881/570/801/168/original/faba91a2e3e42d39.jpeg

2026-01-02 20:57:47 UTC

- reply

🐸 ?

2025-12-26 08:14:37 UTC

- reply

*@npub16ys…sjae has been turned into a toad by the wicked toad witch*
To appease the witch, please reply with your best frog / toad related memes :D

2025-12-25 20:43:50 UTC

- reply

Where’s the little frog ? 🐸

2025-12-17 17:45:16 UTC

- reply

Et ma porte de bureau à l’université se remplie de cette série. (Help I’m running out of space).

2025-12-09 06:32:55 UTC

- reply

Any chance of getting this fixed ? (I.e. has ffmpeg a sans development process, and no FDO involvement ?)

2025-11-24 06:05:41 UTC

- reply

Wait, who was it this time ?
(I assume that framework no longer is the latest)

2025-11-20 06:28:47 UTC

- reply

Well, even with a proof that the unwrap can never fail, some changes elsewhere can invalidate the proof.
Here Cloudflare unwrap was supposed to never fail, until a bug elsewhere violated the assumption.

2025-10-31 18:44:00 UTC

- reply

Can you quickly summarise what this RPG is about ?
(The book cover is gorgeous, please add some alt-texts so that I may boost).

2025-10-10 11:22:17 UTC

- reply

Why are you doing that ?
(I assume one of you at least knows how to install gentoo generally ?)
Also, is this Asahi gentoo or plain old amd64 ?

2025-09-13 14:06:57 UTC

- reply

Question :
1. On peut savoir quels sont les chefs d'accusations en question ?
2. Est-ce qu'une procédure en appel est possible ?

2025-09-01 20:30:21 UTC

- reply

Hmm, I would expect some of these coin to have reached China, which is cut off.
The eastern find make sense due to the Silk road and similar trade-routes.

2025-08-12 12:59:26 UTC

- reply

Stolen with alt-text @npub1ppl…up9u
https://social.sciences.re/system/media_attachments/files/115/015/899/391/151/096/original/9d6bfe722c7f764d.png

2025-08-08 20:32:14 UTC

Houston, well, .... 🪦
Goodbye Jim Lovell.
He was the commander of Apollo XIII.
May he rest in peace, on Earth.

2025-07-15 16:44:08 UTC

@npub1kkw…hdj3 Hello, j'avais envie de mettre des sous dans les caisses de grève, mais vous avez l'air d'avoir changé votre site, et il n'y a plus de rubrique pour faire des dons ?
C'est normal ? Je peux avoir des instructions pour soutenir financièrement la lutte sans adhérer ni cotiser ?

2025-07-03 13:21:52 UTC

- reply

Is filibuster a thing in the Chamber, I thought it was only a thing in the Senate, and that the Big Ugly Deficit Bill was bypassing that anyways.

2025-07-01 15:24:36 UTC

- reply

looking forward to hearing about your dev progress again, or other projects.
Best luck !
Can you already say what you intend to stream about soon ?

2025-05-27 11:45:17 UTC

- reply

Aaaaaaahhhhhh 🙀
How long have they been at it, and any percentage indication ?

2025-04-08 17:14:26 UTC

- reply

Hypothesis, relying on the fact that mole contain 10^23 atoms.
You put a massive pile of the purified stuff in a detector, and you observe some disintegration, (few), from which you can reconstruct the exponential decrease.

2025-04-01 19:50:39 UTC

- reply

including this one ?

2025-02-20 17:54:54 UTC

#nouveaufrontpopulaire #nfp @npub1823…sjqx
En vue de la présidentielle et des législatives 2027, est-ce qu'on pourrait prévoir une vraie primaire de la gauche (allant du PS à LFI), pour sélectionner un unique candidat derrière lequel se ranger (tous), qui pourrait éventuellement être combiné avec une seconde question pour la répartition des circonscription.
(La proportion nationale rentrera permettant de raprtir le nombre de circonscription à chaque parti, et le vote local influant sur l'attribution de circonscriptions)

2025-01-25 06:21:06 UTC

- reply

Wasn’t it the reverse, where the cat decided to domesticate some hairless apes ?

2024-12-25 18:00:32 UTC

#cuisine #cooking A quick poll :
Do you use a pressure cooker / Utilisez vous une cocotte minute ?
(I wonder if there's a generational shift going on, with younger people ike me ignoring this awesome tool to cook stuff in short time, e.g. potatoes in 7 min)
Please Boost to make sure pots cook without burning.
Free comment as a reply is also appreciated !

2024-12-07 12:51:51 UTC

- reply

Modern CPUs are wider than that, Sklylake would probably decode something like 5 nops per cycle, and I think modern AMD and Apple Silicon get to 8-wide, which would decode 8 nops per cycle. And given nops usually don't consume actual units, it is likely going to be on that order of magnitude.
Now, obviously this also depends on the performance of the fetch / memory hierarchy, but that looks like highly prefetchable.

2024-12-05 21:25:04 UTC

@npub1cxq…6wtz WRT https://arstechnica.com/civis/threads/join-us-tomorrow-for-ars-live-how-asahi-linux-ports-open-software-to-apple’s-hardware.1504400/post-43351783 would you mind expanding on how much help you ended up getting from Apple ?

2024-11-21 10:04:10 UTC

- reply

Is this a subtoot about Asahi linux team ?

2024-11-13 11:54:44 UTC

- reply

What I was more interested in were the symptoms. Steam crashed upon launch / failed to update ?

2024-11-13 11:45:07 UTC

- reply

What was the steam update problem ?

2024-11-12 22:51:44 UTC

- reply

Ayant-droits / le label / hadopi ?
(En vrai, ça aurait été malin de dire qu'Hadopi ne peut pas poursuivre pour des titres non disponibles en France, ça aurait les éditeurs à pas faire de géoblocage stupide)

2024-11-12 22:28:54 UTC

- reply

Ça répond à un besoin que j'avais (merci le géoblocking).
Maintenant je me demande comment ça marche (sans parler de la légalité). Mais bon, si Quobuz avait bien voulu me vendre le truc que je voulais, on en serait pas là.

2024-10-11 16:02:58 UTC

- reply

i have an interesting keyboard layout in Steam (host has correct FR (Apple), by steam uses QWERTY, had to go hunting for special chars ^^’)

2024-10-11 15:47:16 UTC

- reply

Remarque, il suffisait de passer à Fedora 40 d’abord :D

2024-10-11 15:20:26 UTC

- reply

Tabarnac, qu’est-ce qui s’ passe. Pourquoi mon dnf install trouve pas ma locomotive, et dnf update se prend une 404 ?
https://social.sciences.re/system/media_attachments/files/113/289/459/427/822/820/original/6eaf4b19da0bafd6.jpeg

2024-10-11 14:31:11 UTC

- reply

When is it released ? Right now !
C'est le genre de déclaration qu'on a l'habitude d'entendre de la bouche d'Apple :D
👏 👏

2024-10-11 14:03:19 UTC

- reply

Aaaand, I loved that intro.
Though, the stream appears to have cut off the side of the slide 😭
(I'll keep watching, and do you have any explanation (optionally, in French) of how that magic wand works)

2024-10-11 13:55:35 UTC

- reply

Yeaay, got the context of the quote, I must watch that XDC talk. Merci !!!!
(I love the bit about "eventually in English", and the sneaky approuvé par l'OQLF likely gave away the reason for the line)
Now though, how do you call in French the pastry improperly called in English a Chocolate Croissant ?

2024-10-11 11:54:45 UTC

- reply

Broken thread ? Whose talk ? En Français ?

2024-10-11 09:40:13 UTC

- reply

Excellent article d'utilité publique (je peux distribuer quelques copies via mon abonnement, me mettre un MP avec l'adresse mail).

2024-10-09 14:24:23 UTC

- reply

This is for the house, but the Senate is still likely red, right ?
Or do we have a serious hope of a slim blue trifecta ?

2024-09-15 21:08:09 UTC

- reply

Are you saying she was invited to that funeral because that kid was a fan, whom she didn’t know, and accepted that invitation ?
That’s beautiful, if I understand correctly (yet sad, no children deserves to die so young).

2024-08-31 11:37:08 UTC

- reply

Hmm, what’s the ratio of those replies that are only visible to you, the harasser and their followers ?

2024-08-30 20:28:16 UTC

- reply

Well yeah Moscow will likely vanish from the map, and so will the rest of the world.
Basically nuking Russia means you cannot think the after. That’s the point of MAD.

2024-08-30 20:24:44 UTC

- reply

Well, if the target is Russia, this isn’t going to burn that much of the biggest cities. Retaliation would do much worse than that.
I don’t see a lot of other countries who might threaten France vital interests.
Perhaps a major disagreement with Brazil ?

2024-08-30 20:00:53 UTC

- reply

Apparently it is meant to inflict damages comparable to France population and industry to the USSR. So world altering, but by itself unable to destroy everything.
Unfortunately using up these would likely result in a general nuclear war which would destroy everything, as soon as either Russia or the USA gets involved.

2024-08-30 19:45:25 UTC

- reply

Consequently, France arsenal is hard capped at ~500 warheads, and it currently thought to be ~300 warheads. (Some margin for recycling, and for the futur, as losses do occur over time).

2024-08-30 19:37:05 UTC

- reply

France is the one country that still has a nuclear arsenal but has to recycle its military grade fissile fuel, as it has dismantled the Marcoule installations producing military grade Pu 239, and the Pierrelatte military U 235 enrichment plant. https://fr.m.wikipedia.org/wiki/Usine_d%27enrichissement_militaire_de_Pierrelatte
(The last military grade generating reactor shut down in 2009).
Tritium is still being produced (given its short half life in the range of a decade), nowadays from a Civilian reactor.

2024-08-30 19:35:01 UTC

- reply

South Africa is the only one to fit question 2 (renounce to nuclear weapons).
What about 1 (such country would have a non-zero arsenal)

2024-08-30 19:15:25 UTC

- reply

(if true, which country (ies) ?)

2024-08-30 19:14:52 UTC

- reply

Has any country entirely dismantled its nuclear arsenal after having built its first nuclear weapon ?

2024-08-30 19:12:45 UTC

- reply

Now a question for you (you can make it a poll)
Has any nuclear weapon country removed its ability to produce military grade material, and thus capped strictly its arsenal ?

2024-08-30 11:40:57 UTC

- reply

Is there a platform where the amount of work to do for drivers is manageable for a from scratch linux replacement ? (And distro could then pick between the rinux or the linux kernel on that platform, and then extend the work to other modern platforms one at a time)
Or are there a lot of drivers that can be used on most platforms, and that would need to get RIIR before such a kernel could replace linux ?

2024-08-30 11:38:42 UTC

- reply

I feel the driver situation could still kill such an effort, unless you can get a lot of important players on board to develop the Rust drivers too.
I wonder what would happen, if instead Rust In Linux did a harder fork, and stopped playing LKML politics with their tree, and be able to pull drivers from mainline, while they rewrite various subsystems in Rust

2024-08-30 04:34:46 UTC

- reply

The Nuclear Reduction treaties were items of my senior high-school curriculum.
(In France)

2024-08-23 08:44:30 UTC

- reply

Wtf is jerkcity ?

2024-08-22 20:42:53 UTC

- reply

Are we sure it is the US, and not an ugly influence op by say, the Russian, to cause hate against the US ?

2024-08-06 16:20:48 UTC

- reply

effectivement, mais quid de cette même question pour les watermarks dont tu parles de façon plus générale dans ta réponse de tout à l’heure ?

2024-08-06 16:10:20 UTC

- reply

Hmm, pour préciser, les watermarks sont un ajout délibéré au texte produit, ou juste des caractéristiques de la production d’un LLM qui sont détectable ?
Est-ce qu’un détecteur fonctionnerait toujours dans un écosystème ou 1. Les poids du réseau sont disponibles 2. L’outil est librement accessible et 3. Un adversaire à des ressources pour mener l’entraînement d’un réseau adversarial afin de tromper le détecteur ?

2024-08-06 12:25:48 UTC

- reply

Je ne suis pas convaincu que l'outil, mis dans la nature ne puisse pas être contourné aisément. (Pour retirer la watermark d'un contenu généré par IA par exemple).

2024-07-05 15:43:29 UTC

- reply

Out of curiosity, the environment of 1TR provides all the usual graphics framework, or does one need to be a bit careful to make a graphical application that does run there ?