yori

5 ms·

1.
by yori 7y ago
> 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 operators. Of course, when we say they are field axioms we mea
2.
by yori 7y ago
> 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 multiplication over addition and subtraction
3.
by yori 7y ago
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 distributivity property is already available as an axiom. The a
4.
by yori 7y ago
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 bad starting point because it would take pages upon pages of p
5.
Jemm – An Expanded Memory Manager for DOS(japheth.de)
1 points by yori 7y ago|0 comments
6.
DOS/4G and DOS/4GW FAQ: DMA Addressing(web.archive.org)
2 points by yori 7y ago|0 comments
7.
by yori 7y ago
> 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?
8.
Freenode IRC(freenode.net)
1 points by yori 7y ago|0 comments
9.
by yori 7y ago
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 you copy-paste the content of a book into a blog post, the
10.
by yori 7y ago
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 the case here. What kind of messaging or symbolism or un
11.
by yori 7y ago
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. :-)
12.
by yori 7y ago
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 appropriately in this context. All LARPers are aware that
13.
by yori 7y ago
> 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 too.
14.
by yori 7y ago
"There are only two hard things in Computer Science: cache invalidation and naming things."
15.
by yori 7y ago
What's the deal with Hagoromo chalk? Why is it a romantic gesture?
16.
by yori 7y ago
> 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 appreciate it. Second, people like me who cannot read Ge
17.
by yori 7y ago
Has Usenet really died? I still see many active newsgroups with posts appearing daily.
18.
by yori 7y ago
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: <script type="text/plain" cookie-consent="strictly-necessary&
19.
by yori 7y ago
I use XFCE. Are there any good reasons to switch to KDE? Honest question.
20.
by yori 7y ago
Are you using MathJax to display the equations? Why do I not get the MathJax context menu when I right-click on the equations?
21.
by yori 7y ago
I provided a cryptographic proof that does not require blockchain.
22.
by yori 7y ago
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 that you wrote the bug report by using your private key to si
23.
Pancake Sorting(en.wikipedia.org)
3 points by yori 7y ago|0 comments
24.
by yori 7y ago
Why did the sessions disappear? Can you explain more about it?
25.
by yori 7y ago
Clickable link: https://www.kernel.org/doc/Documentation/filesystems/cifs/ci...
26.
Why Dhall advertises the absence of Turing-completeness(haskellforall.com)
2 points by yori 7y ago|0 comments
27.
by yori 7y ago
Really easy to find with a quick search: https://www.joelonsoftware.com/ http://www.paulgraham.com/articles.html
28.
by yori 7y ago
Here's a good one: https://susam.in/ Stumbled on this when his domain was hijacked accidentally due to an anti-botnet operation and his post about it came on HN (check the "Sinkholed" post). Since then I&#x27
29.
Cursive: The IDE for Beautiful Clojure(Script) Code(cursive-ide.com)
2 points by yori 7y ago|1 comments
30.
by yori 7y ago
Do you really mean plain old Docker or do you mean Docker Swarm as well? I think Docker Swarm is necessary in the absence of Kubernetes to ensure that the correct number of replicas are running on your cluster. It would help with automatica

More ›