touisteur

4 ms·

1. 1.▲
   by touisteur 16d ago

   I miss the years of writing CLI tools, web servers and clients, in Ada (and of course, real-time complex distributed system...). Felt so simple and right and fast and robust. The code is still readable today and maintaining it is a zero eff
2. 2.▲
   by touisteur 19d ago

   Asterix is an actual standard for radar data, coming from civilian radar systems. I wish it was updated somehow for 3d beam-steered (and moving) sensors, but still it covers most of the industry's needs... I keep hearing so many grumbl
3. 3.▲
   by touisteur 22d ago

   Just in case, and for people who actually do cable management...
4. 4.▲
   by touisteur 22d ago

   I was thinking the point was it was so light to have it hanging on the cables themselves, as I'm certain absolutely no one does in any of their installations...
5. 5.▲
   by touisteur 25d ago

   Building micromvs with no network support helps with isolation and (more) kernel surface reduction.
6. 6.▲
   by touisteur 25d ago

   Been hoping for some time someone would write it better than my local ugly hack. This immediately useful. Thanks a bunch.
7. 7.▲
   by touisteur 26d ago

   Thanks. I was just wondering, since I think I saw NXP had Arm SKUs with Mali GPU and had some hope someone here would Cunningham's Law me.
8. 8.▲
   by touisteur 27d ago

   Any foundry in Europe able or going to manufacture a chip with this on ?
9. 9.▲
   by touisteur 1mo ago

   Yes that was the second part of my comment. I've been benchmarking many things AI or not on those boards and while one can sometimes get to 600W I haven't seen more than 10% gain for those last 250W. If someone has a workload that
10. 10.▲
    by touisteur 1mo ago

    For more in this vein, look up "Automation should be like Iron Man, not like Ultron". Sad to see so many people let go of their agency.
11. 11.▲
    by touisteur 1mo ago

    I'm curious whether actual inference workloads actually push to 600W (and not 350W) and what the last 250W get you. Rare is the (generic gpu) workload where I get >5%, some rare light inference benchmarks up to 10%...
12. 12.▲
    by touisteur 1mo ago

    Data movement and local operations are still bottlenecked today on memory bandwidth. Butterfly primitives, sorting/fft/1D-convolution, the whole cub library, could be ported there and have great performance wins. But the pain of p
13. 13.▲
    by touisteur 1mo ago

    Venlafaxine has also been a godsend for me. My doctor started me on ut first and past the two weeks of rebalancing (big ideation swings and so much calling to act on it...) and all kinds of pains (digestive mostly), it literally allowed me
14. 14.▲
    by touisteur 2mo ago

    In a previous life I managed to deliver a system with (basic-block) coverage measurement compiled in (gcov) but instead of the mess of files gcov generates, the whole coverage structure was streamed to a remote server (it compressed very we
15. 15.▲
    by touisteur 2mo ago

    I wish John Regehr was more widely read. The constant grind that improving formal method tools is a somehow unrewarding but worthy calling. Missing runtime checks are a pain and I remember one that struck me as hard: https://www
16. 16.▲
    by touisteur 2mo ago

    rsyslog is an incredible piece of software. Every time I'm looking for something to do with logs, opening the docs or googling finds the feature for me and myriads alternatives. I know it still exists and use it heavily on any system I
17. 17.▲
    by touisteur 2mo ago

    Really curious about people's workflows with these agentic-but-not-for-coding workflows. Are there some interesting people to follow there or just good testbeds/environments to get an idea ?
18. 18.▲
    by touisteur 2mo ago

    I have a reproducible way to have a pwrite syscall on a specific SSD on a specific machine take 15+ seconds and completely block any syscall related to that SSD by any other thread or core during that amount of time. I tried and couldn&#x27
19. 19.▲
    by touisteur 2mo ago

    I half-wished I'd get Cunningham's law-ed here. I read a bit more and there seems to be some support for tcp and udp offload, https://netdevconf.info/0x17/sessions/talk/tcp-offload-via-a... but I ha
20. 20.▲
    by touisteur 2mo ago

    Especially if it can be run as a read-only replica.
21. 21.▲
    by touisteur 2mo ago

    I think access to offload engines is a big part of the appeal of dpdk still, especially for me all the GPUdirect nvidia-only packet steerer. I need to check about the af_xdp ecosystem around fragmentation/reassembly in UDP too, every t
22. 22.▲
    by touisteur 2mo ago

    I thought MI350P wasn't available yet, curious where to source it right now.
23. 23.▲
    by touisteur 2mo ago

    I think the "Jim Keller" story around Zen is a bet on modularity, core-complexes, then chiplets. Smaller, less monolithic designs and a clean re-design of the x86 cores for compacity, ease of validation and scalability (in core co
24. 24.▲
    by touisteur 2mo ago

    Don't see how it could be cheaper with HBM than the RTX 6000 Blackwell Server Pro but in these times of relative shortage any additionnal supply should be slurped ? I was remarking on the MI350P because I've had a hard time procur
25. 25.▲
    by touisteur 2mo ago

    Time for AMD to improve their directstorage story I guess. Is there a good writeup on how one would use it there ? Same for gpudirect (more useful for scale-out or training). Everyone is focused on AI but these are two interesting techs tri
26. 26.▲
    by touisteur 2mo ago

    Hopefully the MI350 P is available soon, at last a standard PCIe SKU, if a bit too-much previous-generation and gimped compared to the MI350X
27. 27.▲
    by touisteur 2mo ago

    As much as I enjoy these articles and for AMD to write more light technical articles, it really feels constrained, even strained, to be unable to cite the equivalent terms from the precursor here (NVIDIA). Another batch of jargon for very s
28. 28.▲
    by touisteur 2mo ago

    Yes it gets hard really fast. We had a fun (if tongue-in-cheek) exploration of this (proving a sort implementation) with Yannick Moy of SPARK fame some time ago https://www.adacore.com/blog/i-cant-believe-that-i-can-pro
29. 29.▲
    by touisteur 2mo ago

    GOTO is back ! So glad to see CBMC used. I used to write translators to GOTO for simple code checking and was wondering where the recent state of the art was. Thanks for the pointers. Did you have a look at why3 and generating verification
30. 30.▲
    by touisteur 2mo ago

    Cool that the Wikipedia page links to the "Mean Dinosaur" paper https://dl.acm.org/doi/10.1145/3025453.3025912 that I love to get out each time someone sends me mean, median, or stddev to measure proces