gowld

52 ms·

871.
by gowld 2y ago
But doesn't say how large that constant value is.
872.
by gowld 2y ago
This is a joke not related to the submission or its topic.
873.
by gowld 2y ago
"Before this ugly edifice, and between it and the wheel-track of the street, was a grass-plot, much overgrown with burdock, pigweed, apple-peru, and such unsightly vegetation, which evidently found something congenial in the soil that
874.
by gowld 2y ago
Fruit is great, as described. Knowing fruit is great is of course adaptive and this receives selective presure. Most life forms naturally seek out the things that they need to survive. Intelligent beings will use their intelligence to seek
875.
by gowld 2y ago
CAPS is how you bold when you can't bold.
876.
by gowld 2y ago
The difference between having customers and not having customers is a subsantial transition.
877.
by gowld 2y ago
No, it does not. The determinant tells you whether two bases have the same or different handedness, not which one is "left" or "right".
878.
by gowld 2y ago
No, it's impossible, even in principle, to answer that question. You can draw a picture for either answer. "Left" and "right" are a dipole. Neither one can exist without the other, and they are symmetric. It's
879.
by gowld 2y ago
Elements is mostly formal, but it's also concrete and visual. Euclid developed arithmetic and algebra through constructive geometry, which relies on our visual intuition to solve problems. Non-concrete problems were totally out of scop
880.
by gowld 2y ago
Hot take: "18th Century" mathematics was intiuitive and informal, to the point that it was inconsistent. The 19th and 20th Centuries added rigor and formalism (and elitism) and devalued intuition , to the point that it begame uni
881.
by gowld 2y ago
Notes, Videos, and Problems: https://www.maths.ed.ac.uk/~tl/galois/#notes Direct link to PDF of notes: https://arxiv.org/pdf/2408.07499
882.
by gowld 2y ago
I got kicked out of a black-tie gala because my shoes were overheard telling Polish jokes.
883.
by gowld 2y ago
Need a larger "static" sprite so it's not obviously a sprite.
884.
by gowld 2y ago
What if the threw a rock at you? He has longer range and a stronger lift.
885.
by gowld 2y ago
Yes, it is toxic and pathalogical to assume you are perfect and hurl unsubsantiated allegations. So, please stop.
886.
by gowld 2y ago
You don't need to manage 75 developers to be a higher-level engineer on the title/pay ladder.
887.
by gowld 2y ago
Why are the colors swapped in the "Allow Outlinks in Content" column?
888.
by gowld 2y ago
RAMP: Reddit Accelerated Mobile Pages :-)
889.
by gowld 2y ago
That's not necessarily an edge. https://www.ma.imperial.ac.uk/~buzzard/xena/formalising-math... has the example: 0 ≤ x^2 if x : ℝ which humans simply use without proof. The IMO doesn't challenge p
890.
by gowld 2y ago
This shows a major gap in AI. The proofs of these problems aren't interesting. They were already known before the AI started work. What's interesting is how the AI found the proof. The only answer we have is "slurped data i
891.
by gowld 2y ago
The article says > AlphaProof solved two algebra problems and one number theory problem by determining the answer and proving it was correct.
892.
by gowld 2y ago
It's not an English LLM (Large Language Model). It's a math Language Model. Not even sure it's a Large Language Model. (Maybe shares a foundational model with an English LLM; I don't know) It learns mathematical statemen
893.
by gowld 2y ago
Why is it so hard to make an AI that can translate an informally specified math problem (and Geometry isn't even so informal) into a formal representation?
894.
by gowld 2y ago
What makes solving IMO problems hard is usually the limits of human memory, pattern-matching, and search, not creativity. After all, these are problems that are already solved, and it is expected that many people can solve the problems in
895.
by gowld 2y ago
Two thinks can be true (and are) 1. GitHub has a nasty privacy/security hole, where commonsense expectations about the meanings of common words are violated by the system. 2. Github has publicly announced that they don't care abou
896.
by gowld 2y ago
Be charitable and intellectually curious. What would "open" look like? GNU says "The GNU GPL can be used for general data which is not software, as long as one can determine what the definition of “source code” refers to in t
897.
by gowld 2y ago
Citation? Wikipedia would appreciate your contribution. https://en.wikipedia.org/wiki/Open_source > Linus Torvalds, Larry Wall, Brian Behlendorf, Eric Allman, Guido van Rossum, Michael Tiemann, Paul Vixie, Jamie Zaw
898.
by gowld 2y ago
RMS has no interest in governing Open Source, so your comment bears no particular relevance. RMS is an advocate for Free Software. Free Software generally implies Open Source, but not the converse. RMS considers openness of source to be a s
899.
by gowld 2y ago
Can a human programmer edit the weights according to some semantics?
900.
by gowld 2y ago
https://opensource.org/osd "The source code must be the preferred form in which a programmer would modify the program. Deliberately obfuscated source code is not allowed. Intermediate forms such as the output of a prep

More ›