Viewing profile — touisteur

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…

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…

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…

Especially if it can be run as a read-only replica.

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 ecosys…

I thought MI350P wasn't available yet, curious where to source it right now.

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 compaci…

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…

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). Every…

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

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…

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…

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 pointe…

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 st…

And yet the automation we pour trillions in, is the one that will do anything, including everything I find interesting and will never clean my own house.

Haven't seen much about SPARK and why3 recently, combined with frontier LLMs. It would seem easier to progressively prove properties from an actual implementation (going from absen…

If your soul can bounce back, finding ways your previous research might help, or combine with the breakthrough (or not !) can help. I've used many previous formal/analytic SOTA alg…

You might want to read Dan Simmons' Ilium and if you can stomach some weird post-9/11 shit, Olympos. One of the overarching themes is what you describe... or similar.

Might be a very good occasion to actually improve the test suites from our load-bearing software projects. I feel this will be the decade of a cat and mouse game between LLM PRs an…

I have a similar relationship with wireshark. I understand the use of a live capture and display and the attraction of the click GUI. But at some point I just figured I was wasting…

In the case of the Quantas A380 departing from Changi some shrapnel from the engine explosion did go through the aircraft's body, cutting cables, making a mess of the control-comma…

Keep exploring and writing (please ?) ! Love seeing people explore ... even after Fabrice Bellard had a go at it.

Very interesting work on microvms there. I would add that removing any kind of storage or file-system interaction is reachable for even faster bringup and removing the risk of atta…

SPARK does static analysis (proof) of Absence of Runtime Errors (AoRTE).

As with all things mathworks, migrating away from simulink to alternatives isn't an easy ride. Just having an alternative to Embedded Coder to generate code in another (safer) lang…