tromp

61 ms·

1171.
by tromp 3y ago
For people finding their browser blocked by cnn: https://www.ocregister.com/2023/12/19/mercedes-adds-a-new-ca...
1172.
by tromp 3y ago
> All the observed complexities can be regarded as partial descriptions of a simple fundamental reality: the Universe’s wavefunction. As an analogy, a perfect sphere can be cut into many chunks with complicated shapes, yet they can be pu
1173.
by tromp 3y ago
The laster travelled over 30 million km to be received by a dish of 20m^2 in area [1]. This makes me wonder: what fraction of the transmitted signal made it to that dish, i.e. how much does the beam disperse over that distance? [1] https:&
1174.
by tromp 3y ago
Nice Spinal Tap parody... [1] https://en.wikipedia.org/wiki/Up_to_eleven
1175.
by tromp 3y ago
Hoping the nsl site maintainer happens upon this discussion... > A Lazy K (No, not that one) That link is broken since I had to give up my homepage at CWI. It's now located at https://tromp.github.io/cl/lazy-k.h
1176.
by tromp 3y ago
Raising Google's Number to itself doesn't make it appreciably bigger. Instead you can pick TREE(3), or SCG(13), or Loader's Number which is about the largest famous one we know how to compute. Beyond that there's the lik
1177.
Semiconductor giants race to make next generation of cutting-edge chips(ft.com)
1 points by tromp 3y ago|0 comments
1178.
by tromp 3y ago
Looking good! The AI player is just a simple 2-ply lookahead, so should be beatable by the better Othello players (not me).
1179.
by tromp 3y ago
> Batteries could be recharged on the ground by charging trucks battery-to-battery or could be recharged during descent. That's the first time I see hints of regenerative braking for electrified planes. But the article mentions it o
1180.
by tromp 3y ago
> captured on film The article makes no further mentions of actual film, so presumably the phrase now also applies to digital photography?!
1181.
by tromp 3y ago
> Can we improve 3.993 to 3.9? Maybe to 3.4? And what about 3?” Pi is feeling a little left out. If that turns out to be the true asymptotic behavior of Ramsey numbers, it would make one of the worst ever methods for computing digits of
1182.
by tromp 3y ago
> f=lambda n:(b:=2<<n)*n*b//(b*b-b-1)%b > [f(n) for n in range(10)] > [0, 1, 1, 2, 3, 5, 8, 13, 21, 34] Or in Haskell, without the cute generating function tricks: take 10 $ let f a b = a : f b (a+b) in f 0 1
1183.
by tromp 3y ago
> reducing its execution time by 7.03 times or 703%. Shouldn't the latter be by 86 % ?
1184.
by tromp 3y ago
Closely related: discussion of the Milk-V Pioneer workstation employing this chip [1]. [1] https://news.ycombinator.com/item?id=38553647
1185.
by tromp 3y ago
> However, I think tasks like these provide partial answers to the eternal question of Kolmogorov complexity: "What sorts of programs can be expressed within an ELF file of a given length?" Or the eternal busy beaver question:
1186.
by tromp 3y ago
Bitcoin core is software. It doesn't preach. Some of its contributors (cough LukeJr cough) want to censor ordinals. Others realize you cannot censor them. Some welcome the resulting strengthening of the fee market. Which Bitcoin will i
1187.
by tromp 3y ago
There's always Plaid beyond Ludicrous:-(
1188.
by tromp 3y ago
I just want to know one thing. Why is this web app framework called Biff? Is it name after the BTTF character? And if so, any reason why?
1189.
by tromp 3y ago
Choice quote from this article about a study in Korea: > Finally, data on transportation modes—such as car, public transit, and walking—are not available in the KWCS database. Different transportation modes may lead to different physical
1190.
by tromp 3y ago
> That’s not going to happen with Bitcoin. It looks like that is going to happen with https://zerosync.org/ steadily progressing...
1191.
by tromp 3y ago
> fish-shaped cars and zero unique designs While the EQXX and the Aptera EV [1] may both be fish shaped, they show quite a range of design variation. [1] https://en.wikipedia.org/wiki/Aptera_(solar_electric_vehicle..
1192.
by tromp 3y ago
Mercedes achieved a 1000km range with a regular 100kWh battery by making an extremely efficient car with a drag coefficient of only 0.17 [1] [1] https://en.wikipedia.org/wiki/Mercedes-Benz_Vision_EQXX
1193.
Large Numbers [video](youtube.com)
2 points by tromp 3y ago|0 comments
1194.
by tromp 3y ago
Once you've verified the half TB tx history, you can stop carrying it around and just keep the much smaller and fully verified UTXO set of spendable coins, which is all you need to verify future blocks.
1195.
by tromp 3y ago
> I think functions growing as fast as Ackermann's don't come up naturally, except on a Googology forum. Apparently I spoke too soon. One problem where Ackermann naturally comes up is the Vector Addition Systems [1] just discus
1196.
by tromp 3y ago
> It’s physically impossible to write down all the digits of 2^^6 — a liability of living in such a small universe. What a coincidence! Just today I learned that someone found a 49 bit program whose output far exceeds Graham's numbe
1197.
by tromp 3y ago
The best known non-primitive recursive function is Ackermann's function which grows at rate f_ω in the Fast Growing Hierarchy [1]. Any computable function whose running time grows slower than that, i.e. bounded by some f_k for finite k
1198.
by tromp 3y ago
I was using it in this sense > The phrase "begs the question" is also commonly used in an entirely unrelated way to mean "prompts a question" or "raises a question", although such usage is sometimes disputed
1199.
by tromp 3y ago
> This first demonstration unit doesn't compete with the very best data storage units out there, but the company plans to scale up its ceramics-based data storage system This begs the question: on which performance measures does it
1200.
by tromp 3y ago
The centering issue could be solved by putting two led boards on top, back to back.Perhaps one board could shift the leds over by half to create an interlacing effect while doubling resolution.

More ›