HackerTrans
TopNewTrendsCommentsPastAskShowJobs

spragl

75 karmajoined 12 miesięcy temu
Personal blog https://spredehagl.com

comments

spragl
·5 godzin temu·discuss
Yes I know.

When I wrote Turing Machine, I was thinking about the classical determinstic Turing Machine.

Im not super knowledgable about Quantum Turing Machines, but as far as I know, they dont do better than the classical deterministic Turing Machines when we are talking about computability.
spragl
·15 godzin temu·discuss
Both P and NP are computable. That is, a Turing machine can compute both of them.

Those quantum processes are interesting. Take the random numbers generated from radioactive decay. They are (after some cleanup) truly random. That is what we think. But how could we tell the difference from pseudorandom numbers, generated by a sufficiently advanced algorithm? We couldnt. So particles could simply be Turing Machines running sufficiently advanced algorithms that we cant reverse engineer. If so, quantum mechanics is computable even if we cant compute it.

(Particles being TMs doesnt mean they are FAs with an infinite tape, but that they are computationally equivalent to TMs.)
spragl
·10 dni temu·discuss
I dont know what to say. I relate a personal experience. Yours was different. Good for you.

My problem was not using apps, but the other stuff. I did as I was used to, stubbornly bumbling around, feeling sure I would run into the solution. But I never did. I had to look up instructions, several times. That was never necessary with my old iPhone.
spragl
·11 dni temu·discuss
Im an iPhone user. I want it to take as little space as possible physically and mentally, and try to use it as little as possible. My experience has been that it was easy learning to use it by just bumbling around.

That is, until two weeks ago when I got my new iPhone. I had to, the old one couldnt upgrade to the newest iOS.

I feel ashamed to admit, that I had one or two days of extreme frustration just learning to do basic stuff. It was not about the shape of icons, but more along the lines of what you write. Swiping patterns, button press sequences, and the time you should hold down a button. It is ridiculous.

Some of the blame is on me for not being mobile phone savvy, but it is indisputable that the UX has deterioted significantly. I suspect it will just get worse going forward.
spragl
·20 dni temu·discuss
I think what is much more important, is that it exposes the shortcomings of the Danish SSN system.

It was introduced in 1968, when Denmark was a high-trust society. It was used as a sort of password and key for looking up your information. If you wanted to create a bank account, you told them your SSN. If you wanted to buy a car, you told them your SSN. If you had any contact with the authorities, you told them your SSN. And so on.

The usage has changed, but not that much. So today, when trust in Danish society is not as high, the system falls short. Identity theft. Privacy. Scamming. They have to be detected and stopped by other means.

The proper path forwards would be to radically change the system (or the society).
spragl
·20 dni temu·discuss
Yeah, he seems confused to me. Well meaning, but not so consistent.

What is good is that he is a wrench, that throws itself in the works repeatedly. This is a healthy thing to have.
spragl
·23 dni temu·discuss
That is right, but one thing is not like the other. You have always been free to set expiry low on your own certificates, but that is not the same as enforcing it on everyones ceritificate.
spragl
·w zeszłym miesiącu·discuss
/etc/hosts scales like a lead balloon.

For small groups of servers, with limited egress communication, it might nevertheless make sense. And then go for it, by all means. As a general replacement for DNS, not likely.

It is hard to see how Ansible should be simpler than DNS. Maybe if you have worked with Ansible and not DNS, you might think so.
spragl
·3 miesiące temu·discuss
I havent looked into the details of either, but what would prevent Germans from using the Austrian implementation?
spragl
·3 miesiące temu·discuss
You can get that, even if you have a phone with the app on it. MitID is perfectly okay with that. At login time you will be prompted for your token code, but there is an option to switch to the app ("Skift til MitID app" in the bottom of the box).

The MitID design is strange, but in this regard it is well done.
spragl
·4 miesiące temu·discuss
That sounds like an unnecessary EU standardization. Having the same timezone in Poland and Spain possibly made sense 30 years ago, but now that all communication goes through computers of one kind or another, time conversion is seamless.

For those companies that have offices in both countries, and for which the synchronicity matters, it is not that difficult to just have special office hours.
spragl
·4 miesiące temu·discuss
Solvespace can also be used for 3D.

It is sad that FreeCAD gets all the attention. If Solvespace had some of it, and the development time following from it, it could get improvements and some of the cool stuff in their pipeline. That would IMO make it a much better CAD program than FreeCAD could ever become.
spragl
·5 miesięcy temu·discuss
I really loved Miranda back when I learned about it. I still have the book. I think it never took off because it was quite expensive for universities to use. Im sure David Turner regrets his price model today. Now he has made Miranda available here https://www.cs.kent.ac.uk/people/staff/dat/miranda/
spragl
·5 miesięcy temu·discuss
I think you are right that the shady actors pretty much can use existing bugs.

But you are also right that this is not the only way they work. With the XZ Utils backdoor (2024), we normal nerds got an interesting glimpse into how they create a zero-day. It was luckily discovered by an american developer not looking for zero-days, just debugging a performance problem.
spragl
·5 miesięcy temu·discuss
Modern keyboards = some keyboards. In the Nordic Countries modern keyboards have parantheses on 8 and 9.
spragl
·5 miesięcy temu·discuss
I assume by third party you mean the authority, and yes, the authority would need to know your personal information. At least enough of it to verify your age. So the ideal is that the authority is the entity that already knows your personal information. Like the entity that issued your passport to you, or the one that issued you drivers license.

But even if the authority was a private company, I think it would be an improvement compared to the current situation. In this situation your personal information would be held by this one company, and not whatever provider that needs to verify your age. Also, you would be able to use the commitments, that this private authority gave you, without any coordination afterwards. The authority would not know about your transactions.
spragl
·5 miesięcy temu·discuss
That is what the example uses. In the real world that would be a digital signature. Look under the heading "Fitting the parts together" to see what the real world solution could be like.
spragl
·5 miesięcy temu·discuss
I think that whatever organization that issues your passport, would be a natural choice for setting this up. But it could be some other authority. In a way it is the identity owners and the providers that decide who they will trust as authorities.
spragl
·5 miesięcy temu·discuss
Hash-chains allows the solution to be token-less. You no longer need those per transaction information leaking API calls. You also avoid dependency on a single provider.

The communication in connection with a transaction would only go between the identity owner (Bob) and the provider (Cycle shop).
spragl
·5 miesięcy temu·discuss
No, the solution does not require that.

It requires that Bob proves posession of a private key, that only he has ever had. That private key could be generated specifically for the commitment that he got from Alice.