navaati

Getting strong vibes of Asimov’s novel "The Gods Themselves" here ! For those who haven’t read it I recommend it. It’s a nice little self-contained book, not a grandiose series and universe, but I love it.

You can get 25G switches/router for not much nowadays, check Mikrotik. Throw a couple Intel NICs from ebay in your machines' PCIe ports and really it's not that much of a deal.

Hetzner also sells colocation

Oooooh, they do ! 120€ for 14U, now we're talking ! It's in Germany of course...

I think that indeed my problem here is that I live in too expensive a place, expensive for me, expensive for my servers ><.

Yes, that's my biggest "let down" with this writing: at least in my corner of the world (Paris), colo starts at 300€/month for something reasonable, or at the very least 100€ for low power 1U (so you can host... a switch). That's as much as a rent !

On the other hand you can get a nice enough dedicated server for 15€/month.

So yeah, if I'm missing something please tell me because I'd love to but I can't justify the price for hobby stuff.

Do you know https://wokwi.com/ ? I have found support for the -C3, and even Rust development. Although it's online, if you are looking for local stuff I don't know if what they use is available, or if it's a secret sauce.

It does not help you having a perfect and exact rule from initial conditions to future prediction... if you cannot have a complete and exact description of your initial conditions.

We might never be able to get this exact description of the internal state of a brain, this is what makes perfect prediction impossible.

At the most basic level, your process is in the D or S states rather than R state. Cloudlflare workers are not exactly Unix processes, but the same concept applies.

None of these have GPIOs, typically. A usecase you didn't mention is "I want a MCU to do electronics but easier to program, with Linux and a shell".

Hi, one probably really wants to use libvirt rather than qemu directly. That way you can create your VMs remotely with a GUI (virt-manager) using a ssh-based libvirt url, or a CLI (virsh) and it will handle all the right parameters for qemu, the required networking setup, etc. Check it out !

But it's the fun of alcohol!

Meh, I like wine more and more and being drunk less and less, one is seriously limiting the other :)

In France (and probably many other places), supermarkets have a shelf with "close to expiry date" produces. They slap a label on each with a new price at a certain discount, from -30 to -50%, and a new barcode over the original barcode.

I _love it_. As it's a rotating subset of what's in the shop, it gives me ideas on what to cook. I basically don't go in the other aisles anymore: I enter the shop, go straight straight to what I jokingly call "the rotten aisle" and make a menu for the next 3 to 5 days from what's available. Which means that yes, I'm often eating stuff a couple days past their official date, whatever.

It's made inflation bearable for me, the flip side being that I'm now unable to buy food anywhere else, the price shock is just too much, I'm like "no way I'm paying that for food" ^^".

Oh you do: this work completely differently from sudo, there is no suid binary involved, instead it does IPC to the systemd pid 1 and asks it to spawn you process, attached to your current terminal. So if you don't have systeme as pid 1, it'll have noone to talk to.

Whether you like that or not is for you to decide.

Aluminium trays, like that: https://www.emballagefute.com/img/plat-a-four-alu-sertissabl.... Yes, it’s non-reusable, pick your poison :/.

Well joke's on you: your website worked fine for me, however HN itself was down after reading your article :p.

Good job !

Flashback to that Clichy datacenter fire near Paris...

Well lucky us, Espressif is officially providing Rust packages for the ESP32 chips :) !

500$ apparently: https://www.alibaba.com/showroom/cheap-fusion-splicer.html.

Not too bad, way less than what I imagined !

What’s the advantage of Oculink over regular Thunderbolt/USB4 for eGPU ?

Putting aside the (very) funny aspect... If it worked somehow, would that fall under Computer Fraud and Abuse Act ?

Hey, thanks for Kaella ! It helped me a lot when I was a 12 years old French kid and struggling with English :) !

RedHat and a couple other companies will sell you OpenStack clusters, up to a certain size.

I don’t understand, isn’t the manpage for jq exactly that, a list of syntax constructs and reserved words (mostly builtin filters) ?

If anything, it’s _too_ formal and may be missing some example for more complex usages that combine several features.

Check this: https://penrose.cs.cmu.edu/

Makes sense, thanks for your answer.

There is an obvious solution to that but

I'm feeling a bit dense today and it's not obvious to me. Please do tell what that solution is and why it doesn't generalize :).

Why not remove these persons you don’t feel close to from your friends list ? When I was using facebook, after I moved in life, say going from highschool to university and my list grew with my new university acquaintances there, I pruned it from the acquaintances of the past life, high school people I knew didn’t matter so much to me once they were not part of my life anymore.

So my friend list organically went through cycles of growth and shrink and probably stayed roughly constant, with the only long term growth being people that "sticked around" in my life.

Ooh, we are talking about appartments, not houses ! Makes more sense.

I'm not from the US and I thought the HOA were only these evil organization that control the color of your paint and the height of your lawn, paying that much for these felt very wrong. In the context of an appartment building it's different (although still super expensive !).

Beg your pardon ? After you have sunk all that capital, you still have to pay an amount that's basically equal to a (small) rent ?

And yet Agda, which is a proof language, was included (in the ML family).

Looking at some TLA+ examples, I’d say, squinting a bit… somewhere around Prolog ? I’d love to hear someone chip in !

Oh it’s a ML alright, fits right next to Agda for example.