touisteur

6 ms·

91.
by touisteur 1y ago
There is limited chaining capability in io_uring that can be an actual gamechanger if your chain of ops can be fully in-kernel. An intern of mine wrote a whole tcp-checkpoint-(pause-ingress-and-egress-and-the-socket-save-all-state-unpause-e
92.
by touisteur 1y ago
Good fun. Now I wish RT cores would be programmable with some form of PTX, but for now it's Optix or die. Managed to do fun stuff with it but it's like pulling teeth.
93.
by touisteur 1y ago
I discovered his rant(s) about this recently and indeed thought it was interesting in the light of io_uring. If there's a similar compendium of Linus rants against io_uring I'm interested.
94.
by touisteur 1y ago
Yes Linus has been ranting for decades against O_DIRECT saying similar things (aka better hints on pages and cache usage). The notorious archive of Linus rants on [0] starts with "The thing that has always disturbed me about O_DIRECT i
95.
by touisteur 1y ago
I ... kind of agree with the difficulty. I don't get it - DPDK is at its core really not a complex API ! Allocate a pool of buffers, and in an infinite loop, ask your NIC to fill these buffers. There. After that, yes you have to deca
96.
by touisteur 1y ago
Recently did 400gb/s on a single core / 4x100gb nics (or just the one 400g nic, too) with dpdk. Mind you it's with jumbo frames and constant packet size for hundreds of mostly synchronized streams... You won't process ea
97.
by touisteur 1y ago
L40/L40S didn't have it either, which was announced late and felt like a gut-punch for the rare actual non-AI use-case at the time. A40 nvlink was limited though, one-to-one (bridge), never saw it daisy-chained or nvswitched (migh
98.
by touisteur 1y ago
I'm guessing the temperature could increase quite fast (milliseconds or less) in heavy duty areas, especially when going scalar-to-dense-vector operations. My best understanding of the avx-512 'power license' debacle on Intel
99.
by touisteur 1y ago
I wish I could have been paid to work on SPARK specification around io_uring so that one could have built on it. Or to work on SPARK-to-eBPF (there's already a llvm backend for gnat) and have some form of guarantees at the seams... ala
100.
by touisteur 1y ago
Intel Processor Trace was already pretty great. Built a MC-DC coverage tool with it. Used it for fine profiling, live program monitoring...
101.
by touisteur 1y ago
perf record -e "syscalls: ,sched: " is my go-to there - or just apply it on whole-system, aasone does.
102.
by touisteur 1y ago
Moreover the advantage of Mode S radar (ground-initiated transactions) is that you're using a self-coherent system: the radar knows what it sent and what it is supposed to receive, and when, in a narrow beam, etc. It makes lots of spoo
103.
by touisteur 1y ago
If you're lucky to be in an area where a Mode S radar is requesting BDS4,4 you can gather more (sparse) live meteorological data: wind speed/direction, temperature, air pressure, humidity... haven't seen BDS 4,4 requested in
104.
by touisteur 1y ago
Another fun thing to do is to get mode c (barometric altitude) from aircraft transponders (either SSR or Mode-S downlink 5 or 21 - same physical layer as ADS-B just different bitfield header) and compare it to its GNSS altitude (from ADS-B
105.
by touisteur 1y ago
Qwant also has an AI overview. Pretty bad too.
106.
by touisteur 1y ago
The most interesting part of SPARK for me is how all the runtime checks are implicitly, automatically generated and need to be proved. A whole bunch of assumptions about the language are hidden and the verification conditions are generated
107.
by touisteur 1y ago
Now wondering whether the author might be able to force a core dump. With recent snapshot abilities, on Modern Intel processors one can get a Processor Trace that can be helpful even without getting an actual interactive debugging session (
108.
by touisteur 1y ago
Ideally you don't make the cuda cores aware but rather the ray-tracing circuitry. RT cores are designed to perform ray-triangle intersections in a BVH. You get the teraflops and memory bandwidth (or more of it) if you fit the RT-core c
109.
by touisteur 1y ago
Think more of it as 'tasking by hand' where you have one kernel driving the 18k+ cores and you manually (or using device libraries) fine-grained synchronize them, handle memory traffic asynchoronously and pipeline as much as you c
110.
by touisteur 1y ago
It's not so much kernel overhead than memory traffic between global memory and L2 cache / shared memory that you (or at least I) target with fused kernel approach. Kernel launch overhead can be drastically reduced with cuda-graph
111.
by touisteur 1y ago
But then you get complaints/problems of revolving doors and how's she supposed to reform an industry that she will have to go back working for again after her tenure as minister or secretary - assuming she wants to eat and feed he
112.
by touisteur 1y ago
As much as I wish the world to be different, I've heard so much whining about the Ada language's not-C-likeness that I tend to agree with you.
113.
by touisteur 1y ago
Wondering how you'd classify Gaudi, tenstorrent-stuff, groq, or lightmatter's photonic thing. Calling something a GPU tends to make people ask for (good, performant) support for opengl, Vulkan, direct3d... which seem like a huge w
114.
by touisteur 1y ago
A mix plantuml for constrained no-frills diffable standard diagrams and yEd for actual manual placement and boxes-and-arrows drawing - local editing, both can be scripted to export to an image format - is a good local optimum. I haven'
115.
by touisteur 1y ago
You might be increasing the resources affected to the background thread or its priority. I too try to run as many background loops all the time, to be prompted by insights at the weirdest fun times and banging my head against problems seem
116.
by touisteur 1y ago
With the level of regression I get from 'security patches' :-) I won't blame the conservative mindset there. The Air France Rio-Paris crash is a good example of sudden full mistrust of automation and sensors by the crew aft
117.
by touisteur 1y ago
For those who can stomach it, reading aviation accident reports, listening to actual recorded voice footage, you very often read about the cognitive load of a two-person team trying to get through a shitty moment. Richard de Crespigny, who
118.
by touisteur 1y ago
You (and I) prefer to keep the pilot s there, but still, there's a push to need only one person and not two in that plane/cockpit. I have little to no doubt we'll have to relearn some hard lessons after we've AI'd
119.
by touisteur 1y ago
In a world telling her to get over her psychosomatic issues which are 'in her head' and that she should be dismissed as incapable of deciding for herself...
120.
by touisteur 1y ago
Yes this is one of my favorite Ada features (combined with named paramètres at call-site) it always felt clearer reading or writing Ada. The intent ('what') is more important (to me, reading heaps and heaps of code) than the &#x27

More ›