Viewing profile — tromp

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://rowi…

> 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 unit…

> 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 ene…

> 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."…

It can be solved if the memory is bounded. But unbounded memory comes with undecidable problems.

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.

Every single cryptocurrency (except one or two) concentrates wealth on the founders and early adopters.

> 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?

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 me…

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 i…

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...

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-…

And how diamonds are grown: https://en.wikipedia.org/wiki/Synthetic_diamond

https://archive.is/SafF7

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.

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 …

> 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 pi…

> fly two to three times faster (about 460 miles per hour, compared to 90 miles per hour) Is this AI math? That's over 5 times faster.

> Next Friday always means the Friday after the next one You're using "the next one" i.e. the next Friday, to refer to the first one after today.

Except on Friday's, when "this Friday" means today. On other days, many people indeed use "this" and "next" synonymously.

> The Simple Rule > If the Friday you’re referring to is beyond seven days from today, including today, it’s next Friday. That's not a such simple rule. I'm not even sure what "inc…

One of the smallest implementations is my heavily obfuscated https://www.ioccc.org/2012/tromp/ : Int L[A],m,b,*D=A, *c,*a=L,C,*U=L,u;s (_){u--&&s(a=*a);} char*B,I,O;S(){b=b --?b:m|…

> Alonzo Church developed the lambda calculus in 1929. His first publication that showed the elements of the lambda calculus was the 1932 paper "A set of postulates for the foundat…