Viewing profile — yori

> You cannot work backward by assuming the field axioms (which are unfortunately named because they are not axioms at all but properties) to derive the definition o the field opera…

> If we'd chosen some other definition of multiplication, a lot of the "intuitive" properties of multiplication that hold over the natural numbers (such as the distributivity of mu…

Not every arithmetic property needs to be proved from Peano axioms. One can but it is tedious and unnecessary. A much better starting point is the set of field axioms where the dis…

Like mentioned in another comment on this thread, the assumptions are well known field axioms. They form a good starting point. And why start with Peano axioms? They seem like a ba…

> There is no simple way to solve this equation. I had to resort to using the Lambert W function to solve this. How do you know when to use Lambert W function?

What your parent comment meant was that it is not possible to learn well from typical blog posts like this that try to condense the subject into a 3000 word article. Of course, if …

Off-topic question: I see a lot of new posts coming from .cc websites. What is the appeal that .cc provides? Is it that the content is released under Creative Commons? That's not t…

Example code on the website: 10 MODE 2 20 COLOUR RND(7) 30 PRINT "HELLO WORLD" 40 GOTO 20 Happy to see "colour" spelled the English way. :-)

Yes, I didn't get the usage of the term "LARP" in this context too. It comes off as rude and condescending to both LARPers and email users. I am not sure the term fits appropriatel…

> Withdrawn mostly from Reddit in favor of early 2000’s style forums that I pay money for and HN What are the names of these early 2000's style forums? I would like to join them to…

"There are only two hard things in Computer Science: cache invalidation and naming things."

What's the deal with Hagoromo chalk? Why is it a romantic gesture?

> Despite the english name of the website, it's a german page, so no use in linking it here I suppose. No, please do link it here. First, there are many Germans here who would appr…

Has Usenet really died? I still see many active newsgroups with posts appearing daily.

Are you rendering the LaTeX on server-side or on client-side using JavaScript? I am asking these questions because I find MathJax code in your website: window.MathJax = { tex: { in…

I use XFCE. Are there any good reasons to switch to KDE? Honest question.

Are you using MathJax to display the equations? Why do I not get the MathJax context menu when I right-click on the equations?

I provided a cryptographic proof that does not require blockchain.

How about this? Write your bug report. Sign the bug report with your private key. Anonymously publish the bug report, the signature and the public key. Later when required, prove t…

Why did the sessions disappear? Can you explain more about it?

Clickable link: https://www.kernel.org/doc/Documentation/filesystems/cifs/ci...