ThreeFx

> But it seems like a good strategy would be to test one number, guess assuming constant, test a second, guess assuming linear, test a third, guess assuming first order polynomial, and so on.

You are still implicitly assuming that the function is continuous. There are a lot of nowhere-continuous functions, e.g. the sawtooth function. Or more interestingly, Conway's base13 function, which takes on every real number in every interval.

Also what about continuous non-polynomials? e.g. exponentials, logarithms, sine/cosine etc.?

I don't think that this problem is even computable, since the functions could be arbitrarily complex.

If you restrict the nature of the functions e.g. "polynomials of degree at most d", then the answer depends on the restriction. For the polynomial of degree <= d case the solution is d+1 inputs, every polynomial of degree at most d is uniquely determined by d+1 points.

You have a form of in Germany that in most of the states with the "Leistungskurse" or the "Profilklassen".

I'd argue that its extremely important to _not_ be able to drop courses since it contributes to a well-rounded education, something the US sorely lacks.

TBH doing it all in LaTeX you end up down the same rabbit hole, looking for the One True Way to do this and that, at least for me. I do enjoy it a lot as it teaches me about typesetting internals, but it's not faster with one or the other technology.

That's maybe true, but giving governments the possibility to create movement profiles of people and correlate them is extremely dangerous. Maybe your current government is liberal enough to forego using the political aspect of the tracking app, but you can never be sure that this stays the case. What about governments with authoritarian regimes?

Finally regarding Google/FB: Why would you give up even more of your privacy?

Exactly. The author is active on the Code Golf Stack Exchange and wrote this programming language with code golding in mind, which is viewed as relaxing by some.

Ironically that triggered the CloudFlare check for me.

Sure, but most of the time they are highly correlated, especially in security critical systems.

Do you consider Topre to be "fully mechanical"? IMO Leupold has nice keyboards which look decent.

Pretty sure Akamai does not front Google, they are more than large (and competent) enough to do that themselves.

You are absolutely right, but in the light of how these "register to download" changes played out in almost every case we have every reason to be cynical IMO...

Isn't this a variant of the confirmation bias? People believe what they want to believe, and this case is no different.

Fun fact: The Kruskal Tree Theorem has been extended to undirected graphs (they form a quasi-wellordered set wrt the graph minor relationship), giving rise to an even faster growing sequence called the "Friedman's SSCG function".

The theorem is interesting for other reasons though: It allows us to define graph families by forbidding certain substructures.

Yes you're right - thanks for clarifying. I meant to say that not every integer in magnitude greater than 52 bit has an exact floating point representation in IEEE doubles.

A precise integer value is only guaranteed to be representable losslessly in a double if it is up to `64 - 1 (sign) - 11 (exponent) = 52` bits in magnitude.

This should be fairly obvious with knowledge about how floating point numbers are represented internally IMO.

Edit: Be more precise about what can be represented.

This works great, and I very much prefer generating my QR codes locally than on any website.

I see the value when running e.g. home instrastructure on some old laptops or other non-critical stuff. Most people have NAT at home and thus whatever services they pull and listen in their local network aren't exposed to the outside world, and they can enjoy mopidy/NextCloud/whatever without going through a lot of hassle setting it up.

Of course once we come to enterprise environments the opaque build/deployment process is atrocious.

But there are some environments where security is (almost) the only relevant factor, e.g. banking IT-infrastructure. I don't want my bank to pull arbitrary images from Dockerhub because that increases their comfort.

Conversely, if I were sysadmin at a bank I would most definitely be concerned what was running in my network.

Compared to other languages, I find Go's syntactic support for partial application and currying lacking, and every http.HandlerFunc I weep for the redundancy I create.

I get that that is Go's design philosophy, but IMO a little syntactic sugar would be nice.

Not true in general, however IIRC it is the case if you want optimal (i.e. n log n) time complexity.

Flying on MVP software must surely be exhilerating.

Am I reading this correctly as Kuberetes-powered fighter jets? That's certainly not going to shoot anyone in the foot...

As someone spending a lot of time on the command line SSH'd into various servers I use vim for editing alot, and a language with easy editing (everything is line-based) seems like a cool idea, it reverses the trend of building more and more sophisticated (and complicated) IDE integrations for code formatting, splitting etc., instead favoring simple editing along newlines.

That is correct, in that case you need to encrypt either the files you want to be safe, or use full-disk encryption. I have no idea whether Purism will support selective file encryption or FDE out of the box, but it'd be pretty cool if they did.

That said, under the hood your phone is basically a Linux device, so doing this yourself might need some basic know-how of Linux administration, but shouldn't be too hard (regarding file encryption, FDE may be trickier).

I'd go even a step further: Since they open-sourced all their work, maybe other vendors can pick up / fork where they left off and we may actually have more than one Linux phone in the future!

Two years ago that seemed like wishful thinking to me, but I am very excited about how far Purism got in an even shorter timespan.

Because this isn't a top-of-the-line phone. It's an experiment by Purism bringing Linux and the smartphone world closer together.

The specs mention a sim-card sized slot for some hardware token, such as a smart card. Is this what you mean?

Edit: [1]: https://postimg.cc/G9FVvQgm

That was my motivation as well when I prepurchased the phone. Even though you might not get a $600 phone, Purism and the entire Linux community gain a lot of experience about the difficulties of designing hand-held hardware, applications and operating systems.

In my opinion their progress has been fantastic, and I am quite excited for the future of Linux smartphones.

The link is dead (404), do you have another one?

As someone "upgrading" from the OnePlus 3:

It isn't about the hardware, and it also isn't about PureOS itself. It's about people caring enough to build an entirely new mobile operating system which actually respects your privacy and gives you tools to ensure it.

I'm really amazed at what they got running in the few years this project existed. Of course the phone won't be some spectacular mobile gaming machine, but that's not what I paid for. I paid for a privacy-respecting, secure phone. I paid for getting Linux to run on mobile OSes. That's what is important to me and many others.