touisteur

9 ms·

121.
by touisteur 1y ago
Which would be a problem with connexions through Paris, where (being a symbol or symptom or French centralism) most big train stations are terminus from one direction. Montparnasse, Gare de Lyon, Austerlitz, Gare de l'Est and Gare du N
122.
by touisteur 1y ago
For an ESL reader who'd gone through hundreds of 'best-seller modern English-speaking' novels and a high technical English fluency, fresh out of To Kill a Mockingbird (which was a shock, I had such a hard time at first) then
123.
by touisteur 1y ago
Yes, civilian radarstuff (Mode S, SSR, ADS-B as you said, and other multilateration schemes) use 1090 (downlink and broadcast) and 1030 MHz (uplink). Closer to military uses, IFF might also use the same frequencies.
124.
by touisteur 1y ago
You might need more memory for this secondary training workload. But yeah, donating/selling the 'network' time for high-intensity, low memory footprint workloads (thinking number crunching, monte-carlo stuff, maybe brute-forc
125.
by touisteur 1y ago
I'm thinking of sequences of 'put the sharded dataset through the ten thousand 2kW GPUs, then wait on network - all-reduce - then spike again - a mostly-synchronous all-on/all-off loop. Watching how quick they get to boost-fr
126.
by touisteur 1y ago
Ah thanks, of course. I was thinking of dealing with millions of (Geo)JSON files adding up to terabytes, without copying/duplicating them though, mostly indexing. I used to do that with postgres foreign data wrappers and had hopes for
127.
by touisteur 1y ago
And now I'm curious whether there's a way to actually index external files (make these queries over 600GB faster) and have this index (or many indices) be persistent. I might have missed that when I looked at the docs...
128.
by touisteur 1y ago
So much code everywhere is parsers and plumbing. Have it all generated, model-checked, proved, inspectable, debuggable... Pieter Hintjens said it better than I could https://github.com/imatix/gsl?tab=readme-ov-file#mode
129.
by touisteur 1y ago
One way to improve performance is to unroll loops and inline code. Unfortunately this increases code size and puts pressure on the instruction cache, making a program sometimes slower. It's probably a lot harder to balance these out in
130.
by touisteur 1y ago
Got it to build C++, CUDA and IIRC SYCL too.
131.
by touisteur 1y ago
Made me think of 'State of Fear' from Michael Crichton, and the whole deep-down paranoid trip this book was.
132.
by touisteur 2y ago
A very good read, thanks for taking the time to put pen to paper and sharing the little useful scripts and tricks. There's a world of heavy-handed hacking out there to use. I used to build hundreds of patched kernels or glibcs to simul
133.
by touisteur 2y ago
Gets trickier when you're using dGPS. And you need at least 2 antennas/receivers to know direction of arrival. Beamforming in the direction(s) of the expected satellite(s) seems to help a lot with e.g. starlink. But you'll ne
134.
by touisteur 2y ago
I guess tech debt could even be increased in some cases. Some people shouldn't have too much time available :-)
135.
by touisteur 2y ago
Not saying it's surprising. My day job is doing exactly this, not in any FAANG. Working on a platform that hides so many low-level details is a challenge, and the fact people have to go to such length to get access to it is noteworthy.
136.
by touisteur 2y ago
People have been trying to bypass CUDA and even PTX for a long time. One long rundown of optimizing gemm on NVIDIA hardware ( https://salykova.github.io/sgemm-gpu ) mentions 'maxas' ( https://github.com&#x
137.
by touisteur 2y ago
From experience with these kinds of specs, one might be better off clearly stating things that are left to the compiler implementation (and thus should have no impact -?-on the verifiability of the spec).
138.
by touisteur 2y ago
I'm particularly fond of the Ozaki scheme https://arxiv.org/html/2306.11975v4 and its recent refinements. Hopefully it trickles down to standard HPC libraries soon.
139.
by touisteur 2y ago
Seems to me there's a trend of applying explicit distributed systems (network of small-SRAM-ed cores each with some SIMD, explicit high-bandwidth message-passing between them, maybe some specialized ASICs such as tensor cores, FFT blo
140.
by touisteur 2y ago
Oooh has it shipped anywhere already ?
141.
by touisteur 2y ago
I was under the impression (and from experience too) that the very stable oscillators were finicky and sensitive to temperature swings and in general costly to use properly in "hard" environments. I'm happy to learn this is n
142.
by touisteur 2y ago
I think having Greenland annexed might also be a problem for the Danish. Europe might subsidize Novo Nordisk's losses, switch to distributing the meds all throughout Europe. And it seems the loss of such a society-transformative drug (
143.
by touisteur 2y ago
Aside from life-saving medicine, I was thinking that the un-availability (not 'available with tariffs' but 'we're not selling it to the US anymore') of Ozempic in the US might become a political problem, maybe more
144.
by touisteur 2y ago
You can get a very accurate timestamp from GNSS. What lots of people do then is slave a PLL based on a local oscillator, to be able to get time between two GNSS captations. Or to be able to extrapolate when they have no GNSS signal. Now sup
145.
by touisteur 2y ago
I think I've seen some amazing Blender hacker put Cycles to the test on a machine with both NVIDIA and Intel GPUs. Love it that their API seems that portable and able to parrallelize on heterogeneous hardware. Amazing software work.
146.
by touisteur 2y ago
Part of the FFT can be accelerated on GPU hardware, which is full of butterfly-like instructions within warps. Using overlap-and-add/overlap-and-save and cuFFTDx can also make use of heavy parrallelism within shared memory. I had a har
147.
by touisteur 2y ago
I'm far from able to understand american politics but didn't Dems get far more money in the last election than Republicans? I've read about twice as much? What would big (social media oligarchs/moguls ?) donors flipping
148.
by touisteur 2y ago
With most Machine Learning algorithms I used to get shapley values or other 'explainable AI' metrics (for a large cost compared to simple inference, yes), it's very unsettling and frustrating to work without them now on LLMs.
149.
by touisteur 2y ago
Ada has asserts, but also pre/postconditions and contracts, invariants, type predicates, not null pointers. Most can be checked statically through SPARK ... with some effort. GNAT also has validity checks, which are very, very useful.
150.
by touisteur 2y ago
All the while I've been calling C and C++ code (hard stuff but C++ interop is ... hard) from Ada for 15+ years and calling Ada code from C too. python from Ada and Ada from python too. Ada from Java through JNI. Writing postgres extens

More ›