tromp

7 ms·

1.
by tromp 7d ago
No, that would be https://en.wikipedia.org/wiki/Renaissance_Technologies
2.
by tromp 14d ago
> I still keep in a drawer an old OnePlus 5 I bought in 2017 with a pristine Android system. How pristine is that when the last supported Android version is 10? > This phone is sometimes necessary. Like when a known bug in /e&#x2
3.
by tromp 14d ago
Make that 44...
4.
by tromp 21d ago
You may have missed this part: > What this does not show > The attack above depends on conditions that ordinary Bitcoin keys do not meet. > Ordinary Bitcoin keys are not affected by any of this > A properly generated private key
5.
by tromp 28d ago
That also sounds like a good french name for Binary Lamda Calculus.
6.
by tromp 28d ago
Note that this is not an extension of the pure λ-calculus. Abstraction (λx.e) and application (f a) are missing, although the let construct "let x = e1 in e2" is equivalent to their combination ((λx.e2) e1). The paper has few deta
7.
by tromp 28d ago
The second λ is subscripted. As footnote 1 in the paper says: > Pronounced “lambda lambda”. One λ refers to the λ-calculus and the other refers to an optical wavelength.
8.
by tromp 1mo ago
> So in 2018, an international team of scientists created a BEC out of strontium atoms, and hit one of those atoms with a carefully tuned laser, exciting its outermost electron and turning it into a Rydberg atom. Several other atoms from
9.
by tromp 1mo ago
You may find this area on google maps at https://www.google.com/maps/@52.1792241,5.0288801,516m
10.
by tromp 1mo ago
> Binface received 26.9% of the vote > That's why Count Binface has been able to stand in so many high-profile elections. He has, however, lost his £500 every time, after failing to meet the minimum 5% of votes cast in order for
11.
by tromp 1mo ago
TREE(3) is also unimaginably tiny compared to the normal form size of (λa.aaa(λbλcλdλe.ebbbcde)aaaa)(λfλx.f(fx)) [1]. [1] https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions
12.
by tromp 1mo ago
His dyneema driven drum is eerily similar to the dyneema driven drum (called "snek") https://rowingbike.com/nl/model/thys-222-revolver#content-7 on the Thys rowingbike https://rowingbike.com&
13.
by tromp 2mo ago
> You can easily demonstrate it [half an inch] as the ratio between one inch and two feet, compared to the reference ratio between one inch and one foot. You seem to have your units confused. Half an inch is a distance, while ratios, or
14.
by tromp 2mo ago
> Sodium Ion can go to 10,000 cycles (27 years) with a 70% capacity reduction at that life. The article claims much better: > the company’s GS1.1 [Sodium Ion] system will store energy for 20 years, over roughly 20,000 cycles, and sti
15.
by tromp 2mo ago
> When asked, "do you need any special programs or software to make ASCII Art?", the great ASCII artist Joan G. Stark said: "All you need is a text editor with a fixed-width font." You can find her impressive ASCII ar
16.
by tromp 2mo ago
It can be solved if the memory is bounded. But unbounded memory comes with undecidable problems.
17.
The PocketMage E Ink digital assistant(engadget.com)
1 points by tromp 2mo ago|0 comments
18.
by tromp 3mo ago
This is like Proof-of-Work, but for an extremely small amount of work, that would already overwhelm human effort, like computing a single SHA256.
19.
by tromp 3mo ago
Every single cryptocurrency (except one or two) concentrates wealth on the founders and early adopters.
20.
by tromp 3mo ago
> In France, Germany, Austria, Switzerland, the Low Countries, Ireland and Scandinavia, however What are the Low Countries? Is that a mis-translation of the Netherlands?
21.
by tromp 3mo ago
Meanwhile, a single human cell's DNA stretches for about 2 meter, one human's DNA stretches for about 2 x 5.4 trillion meter, and all living human DNA for a whopping 8.6 x 10^22 meters, nearly a thousand times longer than the fung
22.
by tromp 3mo ago
Shor doesn't solve an NP hard problem. It's even possible that factoring and discrete log are in P, while P != NP. The paper builds on the results of "Nonlinear quantum mechanics implies polynomial-time solution for NP-compl
23.
by tromp 3mo ago
I think Oppo is the first to visibly eliminate the crease with their Find N6. https://www.pcmag.com/news/i-tried-oppos-latest-foldable-pho...
24.
by tromp 3mo ago
One of the main instruments of obfuscation (and the way to get more out of the size constraints) is making the code as short as possible, so in that example you'd prefer if (!(x/2-1)) { ... EDIT: Oops, confused the origin
25.
Donut Lab's Manufacturing Is Different(cleantechnica.com)
4 points by tromp 3mo ago|0 comments
26.
by tromp 4mo ago
And how diamonds are grown: https://en.wikipedia.org/wiki/Synthetic_diamond
27.
by tromp 4mo ago
https://archive.is/SafF7
28.
by tromp 4mo ago
https://en.wikipedia.org/wiki/Capture_the_flag_(cybersecurit... still has no mention of AI, but that will likely change as they increasingly dominate competition.
29.
by tromp 4mo ago
The author presents most known numeral systems (ways of representing natural numbers) in lambda calculus, classified by whether the term use their bound variables exactly one time (linear), at most one time (affine), or multiple times (non-
30.
by tromp 4mo ago
> The task is to place four black queens and one black bishop on the chessboard so that there is no square not under their attack. In other words, after arranging the five black pieces, it must be impossible to place the white king anywh

More ›