touisteur

5 ms·

31.
by touisteur 3mo ago
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.
32.
by touisteur 3mo ago
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 absence of runtime errors to partial functional proof to ful
33.
by touisteur 3mo ago
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 algorithms and methods for dataset tagging automati
34.
by touisteur 3mo ago
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.
35.
by touisteur 3mo ago
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 and finding good (as in convincing whomever is paying you and
36.
by touisteur 3mo ago
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 so much time in there. Switched tshark and jq or good old b
37.
by touisteur 3mo ago
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-command systems. I don't know how one could contain the
38.
by touisteur 4mo ago
Keep exploring and writing (please ?) ! Love seeing people explore ... even after Fabrice Bellard had a go at it.
39.
by touisteur 4mo ago
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 attacks needing some form of persistence. Also replacing network
40.
by touisteur 6mo ago
SPARK does static analysis (proof) of Absence of Runtime Errors (AoRTE).
41.
by touisteur 6mo ago
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) language proved just too much years ago...
42.
by touisteur 7mo ago
Bright stars are so bright they literally mask areas of the sky. You'll probably need deconvolution algorithms (CLEAN being the standard some time ago, don't know whether some AI/deep-inv approach works nowadays...) to remove
43.
by touisteur 7mo ago
Forgot about ONU ! Now I need to look into what an ONU can do, and what one can run on it...
44.
by touisteur 7mo ago
That was a very eye-opening post, full of very interesting details on how modern wired networks work, between NIC and the physical layer... so many mysteries about SFP black magic just falled into place in my head...
45.
by touisteur 7mo ago
Some things that Meta shares or opensources is discrete but amazing. lz4 and zstd and Yann Collet's work. io_uring (don't know if Jens Axboe is still there). And the open timecard projects, and overall OCP work.
46.
by touisteur 8mo ago
I'm not harping on the usefulness. More like trying to understand what would be the merit or use-case of frequent or permanent monitoring of this. Are there know failure/degradation modes from the storage HW or the filesystem, or
47.
by touisteur 8mo ago
Oh thanks. Forgot about this case.
48.
by touisteur 8mo ago
Genuinely curious: where would one expect the drive performance to fluctuate? Wear ? Lack of TRIM ? Some form of timely GC process on disk firmware ? Fragmentation or compaction of some sort ? Maybe weird shenanigans with RAID setups with d
49.
by touisteur 8mo ago
There's a layer above that, when CLI and bash and sed and tshark are becoming too hairy or slow, and it's 'just' parsing the pcap frames in your language of productivity. Over the years I've built layer over layer o
50.
by touisteur 8mo ago
Aaaaaaand torch is not a simple easy target. You don't just want support but high-performance optimized support on a pretty-complex moving target... maybe better/easier than CUDA but not that much it seems.
51.
by touisteur 8mo ago
But what would they use before bringing in postgis ? I'm curious about the alternatives. MongoDB for example doesn't seem to have a geospatial ecosystem, apart from basic 2d features. Clickhouse ?
52.
by touisteur 8mo ago
BTW if you're interested in the concept of upgrading a sensor without retooling the RF part, and the impact of 'just' putting new COTS racked server hardware and engineering man-hours to get a 'new' sensor with new
53.
by touisteur 8mo ago
Forking Firefox whenever the rug is pulled seems doable (with elbow grease), and in the meantime Europeans can invest on problems that don't have an already mature fully open-source solution.
54.
by touisteur 8mo ago
I think Bourbaki did brought forth a shift (clean-up) in mathematical notation and writing, at least in France.
55.
by touisteur 9mo ago
Not to ask anyone for free work but any write-up on this, I'd love to read.
56.
by touisteur 9mo ago
Remembering now that SKA is many, many things and I was talking of the higher-bands array still being installed, but many infos on the -low and -mid arrays are available, for example https://www.skao.int/sites/default&#
57.
by touisteur 9mo ago
Sorry, not sure I follow from what I said (explaining how much data sensors produce) to 'increasing the sampling frequency' ? You're usually sampling at larger width to then put specifically taylored pass-band filter and remo
58.
by touisteur 9mo ago
I think they preserve timestamped I,Q data. Know some people looking at down-sampling, preselecting those signals for longer term storage and deeper reprocessing and they seem to have a 24h window to 'analyze and keep what you need&#x2
59.
by touisteur 9mo ago
On SKA from what I understand they're sampling broadband but quickly beamform and downsample as the datarates would be unsustainable to store over the whole array.
60.
by touisteur 9mo ago
Every sensor in the array is sampling at frequency, so - first order - you can use that sampling frequency and the sample size, you get an idea of the input bandwidth in bytes/second. There are of course bandwidth reduction steps (filt

More ›