ted_dunning

5 ms·

61.
by ted_dunning 4mo ago
The adoption rate in places like Australia and even Texas is what demonstrates that the argument holds water. People wouldn't be rushing to shift entire markets at the observed rates if the economics were upside down. It is the soundne
62.
by ted_dunning 4mo ago
It would be pretty easy to put a DuckDB data source into this code. It might be pretty easy to use overloading to get special case implementations that form SQL queries progressively until the results need to be materialized as something li
63.
by ted_dunning 4mo ago
Are you saying that you have not observed these things in the world? I definitely have. The blog didn't do the work for you, but if we look at some of the claims I think it is pretty clear: a) increased training scale would result in h
64.
by ted_dunning 5mo ago
You're right. It's the physics of cooling the beasts and the communication delays that make those plans ludicrous. To turn your assertion on its head, the fact that the supporters don't seem to be able (or willing) to do the
65.
by ted_dunning 5mo ago
Putting your single egg into multiple baskets isn't all that much better. Now you have many points of failure rather than a single point of failure.
66.
by ted_dunning 5mo ago
The guardrails are channels. If you have a mutex on a structure, linters such as are packaged into Goland will catch oversights quite effectively. If you are using fancier concurrency structures, you should consider channels instead.
67.
by ted_dunning 5mo ago
Removing enough allocations to avoid fragmentation can be maddenly difficult/tedious.
68.
by ted_dunning 5mo ago
You made up a group in the past and you made up things they say and then draw the inference that a different group in the present is somehow morally disadvantaged by obvious inference. Perhaps your name-calling is not actually as logically
69.
by ted_dunning 5mo ago
Does it terrify you to look at children? Not so many years from now, some of them will surpass you. A few years after that all (that survive to that point) will surpass you. Does that terrify you just as much?
70.
by ted_dunning 5mo ago
In Erdös idiosyncratic nomenclature, all the best proofs are "in the book" and it was always a joyful thing to not only find a proof, but to find the proof that is in the book. Who cares if it is God's book or the machine&#x2
71.
by ted_dunning 5mo ago
Really?! Care to cite a reference to that proof?
72.
by ted_dunning 5mo ago
Yeah... the railway that has just had a multi-hour outage because they looked like a spam account to Google Cloud!
73.
by ted_dunning 5mo ago
If you don't like the backside, check out the inside!
74.
by ted_dunning 5mo ago
Datalog may appear to be a subset, but it is quite distinct semantically.
75.
by ted_dunning 5mo ago
That sounds as difficult as Japanese where a single kanji might be used phonetically based on a Chinese reading (山 = san) or a Japanese reading (山 = yama) or it might be used non-phonetically or it could be some amazingly surprising pun bas
76.
by ted_dunning 5mo ago
You can solve that problem with a bit of heat shrink if you really want to.
77.
by ted_dunning 5mo ago
One of the easiest ways to make this kind of problem GPU friendly is to use random matrix projections to cast the problem as a much smaller dense problem. The issue with doing this is that the technique is only practical for certain problem
78.
by ted_dunning 5mo ago
To be specific, a linear solver can be (as in I have done) written in a week. A serious non-linear solver that handles legacy Spice models is another beast entirely. And if you want to integrate modern advances in algebraic-differential sys
79.
by ted_dunning 5mo ago
KiCad is still the preferred interface. The original point stands. Ngspice shows its heritage from the days of Fortran far more than a modern code base would or should. It's sole great virtue (from my point of view) is that it integrat
80.
by ted_dunning 5mo ago
They have been not at work on doing that.
81.
by ted_dunning 5mo ago
Seems like you can use the core intuition here of SIMD comparison of multiple elements on more than just the terminal scale. The outline would be: a) use a gather to grab multiple elements from 16 evenly spaced locations b) compare these in
82.
by ted_dunning 5mo ago
What you say is something that is actually already happening. There is no longer a binary approval/non-approval status. Drugs and treatments that address terminal conditions often get special status. Drugs for rare diseases definitely
83.
by ted_dunning 5mo ago
Your case is even stronger because understanding the 100 conditions is likely to lead to a few being cured and build the technology base for the moonshoot to be vastly easier.
84.
by ted_dunning 5mo ago
Actually quite a lot of diseases have cures. Many have very low cost cures or prevention. And cancer isn't one disease. It is hundreds. Many of which have cures. Diabetes was much harder to understand (and also isn't a single dise
85.
by ted_dunning 5mo ago
Tidy3d works very well (not free). I gave up on OpenEMS.
86.
by ted_dunning 5mo ago
Oddly enough, most uses of Lean never actually run the program. The fact that it type checks is enough to prove the theorem in question. That said, if execution is seriously required for your problem along with strong logic on the side, you
87.
by ted_dunning 5mo ago
Yes.
88.
by ted_dunning 6mo ago
That sounds right, but it can be superbly wrong because that presupposes that you can debug what the AI gets very confidently wrong. There are three legs to the stool: specification, implementation, and verification. Implementation and veri
89.
by ted_dunning 6mo ago
As stated in the abstract, the anomalies occur more within a window around a nuclear event.
90.
by ted_dunning 6mo ago
32˚N 80˚W altitude 1000 miles

More ›