tromp

53 ms·

811.
by tromp 2y ago
> It's primarily a speculative instrument, not a currency. As a result of its capped supply, which incentivizes hoarding. For use as currency, a pure linear supply like 1 coin per second forever is preferable, avoiding wealth concen
812.
by tromp 2y ago
There's a universal algorithm (λ 1 1) (λ (λλλ 1 (λ 1 (λ 4 (λλλ 3 1 (2 (λ 2)))) (4 (λ 5 (λ 5 (2 1)))))) (1 1)) (λ 1) (in de-Bruijn notation) which, given a list of input bits, parses the encoding of an arbitrary algorithm (as a
813.
by tromp 2y ago
Alpha beta search solves games more efficiently...
814.
by tromp 2y ago
That ignores its first argument x. You mean the fixpoint combinator λf.(λx.f(x x))(λx.f(x x)), or λf.(λx.x x)(λx.f(x x)), or as a lambda diagram: ────┬──── ┬─┬ ┼─┬─┬ └─┤ │ ├─┘ │ ├─┘ └─┘
815.
by tromp 2y ago
I prefer fib = f 0 1 where f a b = a : f b (a+b) which needs neither zip nor tail.
816.
by tromp 2y ago
Not necessarily the cheapest, but the one with the best combination of efficiency, cost, durability, and possibly other properties I'm overlooking.
817.
by tromp 2y ago
Source code may be found at https://github.com/ascandone/elm-lambda-interpreter
818.
by tromp 2y ago
A even smaller 49-bit program whose normal form size also exceeds Graham’s Number was found more recently: (λJ.J J) (λy.y (y (λg.λm.m g (λf.λx.f (f x))))) [1] https://github.com/tromp/AIT/blob/master&
819.
by tromp 2y ago
similar to https://news.ycombinator.com/item?id=40645983
820.
by tromp 2y ago
It's AI generated spam. Why not simply call it AI spam, as already in use by e.g. [1][2][3]. [1] https://www.businessinsider.com/ai-spam-google-ruin-internet... [2] https://www.ghostery.com/blog/ho
821.
by tromp 2y ago
Fairness is a wide spectrum. Bitcoin is fair in any 4 year period of fixed block subsidy, and clearly much fairer than any coin with a premine, such as Ethereum's 70% or worse still XRP's 100%. Still, bitcoin is rather unfair to l
822.
by tromp 2y ago
While highly variable, the blocktime average over hundreds of blocks can be held very close to its target (and with a trivial one line difficulty adjustment to boot). The orphan rate doesn't get pronounced until blocktimes are made sig
823.
by tromp 2y ago
One would expect a timechain to not only target a fixed block time, but also to tie its emission to time. That is most simply achieved by 1 minute blocks with a fixed 60 coin reward. Then the coin supply simply equals the chain age in secon
824.
by tromp 2y ago
> Even “Nos Ancêtres les Gaulois” is still there, although it no longer has “vin à volonté.” Google Maps shows it permanently closed since 2022 though [1]. [1] https://maps.app.goo.gl/6jCdJFDuoi4AmtbQ6
825.
by tromp 2y ago
A pun on https://en.wikipedia.org/wiki/Video_Killed_the_Radio_Star I guess...
826.
by tromp 2y ago
Worth watching for the great punchline at the end alone...
827.
by tromp 2y ago
It's rare that a tech story brings me to tears, but I couldn't help feel one swelling up when reading the final paragraphs. > Eventually, it was Wilkie who made the first move. Overwhelmed with emotion, his eyes red and swollen
828.
Zeekr 007: This $36,000 Tesla Model 3 Competitor Proves We're Cooked(insideevs.com)
24 points by tromp 2y ago|11 comments
829.
by tromp 2y ago
> would save Britain’s railways £3.5 billion over 35 years So it saves £100 million per year. Why multiply by 35? Is that the lifetime of the trains?
830.
by tromp 2y ago
https://archive.is/DuJWZ
831.
by tromp 2y ago
I was wondering about the weight which I couldn't find specified (although at that size it can't be much) and about ways that you could attach a strap to it.
832.
by tromp 2y ago
Would this be suitable for strapping on a helmet to take a picture every (other) second on a bike ride and turn into a time lapse video afterwards?
833.
by tromp 2y ago
At 0:28 you can see a brief glimpse of part of Chang'e-6 itself.
834.
by tromp 2y ago
Previous discussion from 2017: https://news.ycombinator.com/item?id=15342840
835.
by tromp 2y ago
Some video: https://www.youtube.com/watch?v=d4ISn04xT1Q&t=1s
836.
by tromp 2y ago
Except that having more car traffic induces more pollution, more casualties, and more time spent unproductively (you can do other things on public transit, or get exercise commuting by bike), whereas more book reading has few downsides.
837.
by tromp 2y ago
Do you check whether constant folding actually results in shorter code? E.g. something like let a="hello "; b=a++a; c=b++b; in c++c probably shouldn't be changed into "hello hello hello hello hello hello h
838.
by tromp 2y ago
One option is LMDB [1], which is used succesfully in several blockchains. [1] https://en.wikipedia.org/wiki/Lightning_Memory-Mapped_Data
839.
by tromp 2y ago
> In Florida it is illegal to mention climate change in any state document. citation needed. Oh, found one: https://www.miamiherald.com/news/state/florida/article129837... ( https://archive.i
840.
by tromp 2y ago
Making Go Twist is a bit more straightforward, since the rules work unchanged for any undirected graph. Such as this diamond lattice [1] in which inner points still have 4 neighbours. [1] https://en.wikipedia.org/wiki/G

More ›