tromp

33 ms·

571.
by tromp 2y ago
> Bitcoin entrepreneur Ben Sigman pointed out that ECDSA, vulnerable to Shor’s algorithm, would require several million physical qubits to break it. SHA-256 is even more demanding, needing hundreds of millions of qubits via Grover’s algo
572.
by tromp 2y ago
> I = SK Wrong. I = S K M where M can be anything: I x = S K M x = K x (M x) = x K and S K represent True and False, since K x y = x and S K x y = y. > essentially an obfuscated mix of S and K Most alternatives are tuples of
573.
by tromp 2y ago
With its fixed supply and coins getting lost all the time, Bitcoin is deflationary, whereas Gold has a more or less constant supply (slightly growing every year). So emission wise, Bitcoin is not as similar to gold as a cryptocurrency with
574.
by tromp 2y ago
Close, but not quite; it's combinatory logic plus introspection in a tree dress.
575.
by tromp 2y ago
Z = \f. (\x. f (\v. x x v)) (\x. f (\v. x x v)) can be much simpler, namely S (S (K (S S (K (S (S K K) (S K K))))) K) (S (K (S S (K (S (S K K) (S K K))))) K)
576.
by tromp 2y ago
No, it's based on K and S, as is clear from the two rules (t (t) a) b -> a (1) (t (t a) b) c -> (a c) (b c) (2)
577.
by tromp 2y ago
It's not based on a single combinator. It's based on the two standard basis combinators S and K, and a non-combinator that can inspect normalized terms to distinguish between degrees 0,1,and 2.
578.
by tromp 2y ago
Looking forward to seeing both Tesla and VW introducing compact EVs next year (Model Q/2 and ID.2all) but not holding my breath...
579.
Tesla Model Q is reportedly coming in first half 2025(teslarati.com)
4 points by tromp 2y ago|1 comments
580.
by tromp 2y ago
> “No, no,” said God, “it was really tough. More than 10^35 legal positions God should know there are approximately 4.8*10^44 legal positions [1]. > Secondly Ken was predicting that the game of chess was a draw, i.e. that probably a m
581.
by tromp 2y ago
See the compilation instructions on my webpage [1] under Section "Amazing". [1] https://tromp.github.io/pearls.html
582.
by tromp 2y ago
This weirdest thing has been a staple of entries in the IOCCC [1]. It is used not only to obfuscate, but also to save characters. For example, in this 1989 arbitrary length maze generator submission char*M,A,Z,E=40,J[40],T[40];main(C)
583.
by tromp 2y ago
https://archive.is/XUlgq
584.
by tromp 2y ago
> reach < 2.0 I meant < 0.20 of course, such as the 0.19 achieved by the ill-fated https://en.wikipedia.org/wiki/General_Motors_EV1
585.
by tromp 2y ago
Can someone show what the most aerodynamic cars in the dataset look like? Does it specify the drag coefficient? Curious to know how many of the 8000 shapes reach < 2.0, should be at most a handful.
586.
by tromp 2y ago
The latter is not on the market yet, but planned to be in 2025. Looking forward to that materializing.
587.
by tromp 2y ago
https://archive.is/p4H95
588.
by tromp 2y ago
https://archive.is/wNb4b
589.
by tromp 2y ago
https://archive.is/hVDE6
590.
by tromp 2y ago
https://archive.is/vgEn6 Alternative coverage at https://nypost.com/2024/12/04/us-news/ceo-of-unitedhealthcar...
591.
by tromp 2y ago
> in what other places does precomputation pop up? In quantum computing, e.g. [1] "Accelerating Quantum Algorithms with Precomputation". A similar notion in quantum computing is pre-processing. Quoting from https://e
592.
by tromp 2y ago
It becomes much harder to write improper conditionals when if-then-else is an expression rather than a statement, as it is for example in Haskell.
593.
by tromp 2y ago
Lambda calculus is as pure as can be, and also has terms that don't normalize. That is not considered a side effect. A better example of impurity in Haskell for pragmatic's sake is the trace function, that can be used to print deb
594.
by tromp 2y ago
Would you propose the same change for nested function calls y = f(g(h(x))), changing it into y = x | h | g | f ?
595.
by tromp 2y ago
https://archive.is/px4tP
596.
by tromp 2y ago
https://archive.is/qtvRb
597.
by tromp 2y ago
https://archive.is/sFG6C
598.
by tromp 2y ago
Meanwhile in the Tesla factory, workers are controlling its self-assembling cars.
599.
by tromp 2y ago
> Aftershock II reached a velocity of 5283 ft/s and Mach 5.5. The comparatively lightweight rocket amounted to 330 pounds, at a height of 13 ft and 8” diameter. For the imperially challenged, that's a velocity of 1.6 km/s,
600.
by tromp 2y ago
Obligatory entry in The On-Line Encyclopedia of Integer Sequences: https://oeis.org/A000110 which has 3 links mentioning Genji only one of which is not broken: Xiaoling Dou, Hsien-Kuei Hwang and Chong-Yi Li, Bell numbers in

More ›