Viewing profile — spragl

I agree, and the very low price of used books that have writing in them, suggests that this is how people feel in general. I have begun to write a page (by hand) summarizing my tho…

I basically agree with you, and I have a profile on LinkedIn. A number of companies only announce job openings on LinkedIn, and if you are looking for a job (as I am) you would han…

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

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

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

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 …

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 …

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…

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

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

I havent looked into the details of either, but what would prevent Germans from using the Austrian implementation?

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 …

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

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

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

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…

Modern keyboards = some keyboards. In the Nordic Countries modern keyboards have parantheses on 8 and 9.

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 …

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…

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

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

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 …

Yes. I think that wahtever organization that issues your passport, would be a natural choice for setting this up. But nothing prevents it from being a private company, although I c…

I think the way to go would be for Alice to give you lots of commitments. They are computationally light-weight to generate anyway. That would at least be a good and also simple so…

I have mentioned this before, but age verification can be solved by hash chains. They can prove age without compromising privacy. It is crazy that the solutions Discord goes for ar…