navaati

8 ms·

1.
by navaati 2y ago
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.
2.
by navaati 2y ago
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.
3.
by navaati 2y ago
> 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 se
4.
by navaati 2y ago
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
5.
by navaati 2y ago
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
6.
by navaati 2y ago
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
7.
by navaati 2y ago
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.
8.
by navaati 2y ago
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".
9.
by navaati 2y ago
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
10.
by navaati 2y ago
> 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 :)
11.
by navaati 2y ago
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 ba
12.
by navaati 2y ago
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
13.
by navaati 2y ago
Aluminium trays, like that: https://www.emballagefute.com/img/plat-a-four-alu-sertissabl... . Yes, it’s non-reusable, pick your poison :/.
14.
by navaati 2y ago
Well joke's on you: your website worked fine for me, however HN itself was down after reading your article :p. Good job !
15.
by navaati 3y ago
Flashback to that Clichy datacenter fire near Paris...
16.
by navaati 3y ago
Well lucky us, Espressif is officially providing Rust packages for the ESP32 chips :) !
17.
by navaati 3y ago
500$ apparently: https://www.alibaba.com/showroom/cheap-fusion-splicer.html . Not too bad, way less than what I imagined !
18.
by navaati 3y ago
What’s the advantage of Oculink over regular Thunderbolt/USB4 for eGPU ?
19.
by navaati 3y ago
Putting aside the (very) funny aspect... If it worked somehow, would that fall under Computer Fraud and Abuse Act ?
20.
by navaati 3y ago
Hey, thanks for Kaella ! It helped me a lot when I was a 12 years old French kid and struggling with English :) !
21.
by navaati 3y ago
RedHat and a couple other companies will sell you OpenStack clusters, up to a certain size.
22.
by navaati 3y ago
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
23.
by navaati 3y ago
Check this: https://penrose.cs.cmu.edu/
24.
by navaati 3y ago
Makes sense, thanks for your answer.
25.
by navaati 3y ago
> 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 :).
26.
by navaati 3y ago
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
27.
by navaati 3y ago
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 th
28.
by navaati 3y ago
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 ?
29.
by navaati 3y ago
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 !
30.
by navaati 3y ago
Oh it’s a ML alright, fits right next to Agda for example.

More ›