tromp

8 ms·

91.
Donut Lab's solid-state battery could barely hold a charge after getting damaged(theverge.com)
1 points by tromp 7mo ago|1 comments
92.
by tromp 7mo ago
Make that almost nobody. I wrote a non-trivial lambda program [1] which enumerates proofs in the Calculus of Constructions to demonstrate [2] that BBλ(1850) > Loader's Number. [1] https://github.com/tromp/AIT&#x
93.
by tromp 7mo ago
https://archive.is/FWVNr
94.
by tromp 7mo ago
https://archive.is/q7IB1
95.
by tromp 7mo ago
I wrote this in a semi obfuscated style to make it fit on one screen. It's indeed a hardcoded 2x3x5 wheel; but I suspect computing all those constants would have made the program significantly longer.
96.
by tromp 7mo ago
As nicely illustrated in this Young Sheldon episode fragment: https://www.youtube.com/shorts/Nd90rFPYVnc
97.
by tromp 7mo ago
Or a C implementation at https://tromp.github.io/pearls.html#sieve which runs in well under 10s.
98.
by tromp 7mo ago
Also please don't post accusations of comments reeking of AI.
99.
by tromp 7mo ago
But they didn't reflect that in a title like "current RISC-V silicon Is Sloooow" ...
100.
by tromp 7mo ago
10,000x to 100,000x / 5,000x = 2 to 10x, not 20 to 100x.
101.
by tromp 7mo ago
Why do almost all phones have to be in that narrow band of 6.5 to 6.9 inches? I wish there were more size choices on both ends of the spectrum. While most people prefer more choice below 6", I would like some choice above 7", sinc
102.
by tromp 7mo ago
> Mining requires traversing a DAG with a mainnet floor of 512 MB (32,768 nodes × 16 KB each) How much memory does PoW verification require? > Genesis Address: 2,696,969 KNOX (One-time mint for the Founder/Son legacy). > Treas
103.
by tromp 7mo ago
> not much territory has changed hands Russia occupies about 20% of Ukraine, an area three times larger than the country I live in (the Netherlands).
104.
by tromp 8mo ago
An implicit K suffices for universality, as in \x\y\z. x z (y (\w.z))
105.
by tromp 8mo ago
The light power increase is even more impressive at 67%: > The company's researchers have found a way to boost the power of the EUV light source to 1,000 watts from 600 watts now. with more on the horizon: > We see a reasonably c
106.
by tromp 8mo ago
High tx fees are an essential goal in Bitcoin's design: in the long term, when the block subsidy becomes insignificant, Bitcoin's security will rely almost entirely on tx fees.
107.
by tromp 8mo ago
I did just that for the first 37 BB numbers at https://oeis.org/A333479 I could write a few more given enough time, but writing later ones will take someone more omnipotent than me. You may be confusing the true statement &
108.
by tromp 8mo ago
Individual busy beavers BB(n) are finite natural numbers and thus quite computable. A related uncomputable number is the halting probability Omega of a universal prefix machine (whose programs form a prefix free set). By collecting enough h
109.
by tromp 8mo ago
https://archive.is/PkeaU#selection-743.0-743.30
110.
EVs Coming in 2026(wired.com)
1 points by tromp 8mo ago|1 comments
111.
by tromp 8mo ago
See https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD831... for Dijkstra's thoughts on indexing.
112.
by tromp 8mo ago
Or, even more challenging, an okapi on a recumbent ?!
113.
by tromp 8mo ago
Please fix title: Uses to Eat -> Used to Eat
114.
by tromp 8mo ago
https://archive.is/vWHg9
115.
by tromp 8mo ago
https://www.chessprogramming.org/Toledo is a family a moderately strong tiny chess programs.
116.
by tromp 8mo ago
https://archive.is/oqyjL
117.
by tromp 8mo ago
> The team is giving AI systems a week to solve the problems. It might take a week to get their attention?! > The answers will decrypt just before midnight on February 13. So it's already too late for that:(
118.
by tromp 8mo ago
> The term “proof of work” is apt. The work is the proof. Finding a valid hash demonstrates that you did the computational work to find it. This whole article equates Proof of Work with hashing. But the term Proof of Work is more general
119.
by tromp 8mo ago
That doesn't help (unless you burn a significant part of the fees), since the miner will just pay plenty fees on all the dummy txs that they simply end up paying to themselves.
120.
by tromp 8mo ago
> let weighted_reward = (volume_factor * 0.4) + (count_factor * 0.3) + 0.3; > MIN_BLOCK_REWARD + ((current_max - MIN_BLOCK_REWARD) * weighted_reward) Making reward increase with tx count will strongly incentivi

More ›