svat

32 ms·

391.
by svat 3y ago
See the "Artificial Artificial Artificial Intelligence" paper: https://arxiv.org/abs/2306.07899
392.
by svat 3y ago
The article has this quote from Roosevelt: > “In any wild country where the power of law is little felt or heeded, and where every one has to rely upon himself for protection, men soon get to feel that it is in the highest degree unwise
393.
by svat 3y ago
The key word is "bright". It's clearer in the other article: https://skyandtelescope.org/astronomy-news/asteroid-will-cov... > An occultation of a 1st-magnitude star is rare — such an event is visibl
394.
by svat 3y ago
Well, Wikipedia is obviously wrong there. I've fixed it to say number of comparison operations: https://en.wikipedia.org/w/index.php?title=Merge_sort&diff=p... Note also that in computational complexity theory
395.
by svat 3y ago
> Complexity theory tells us you can sort those in nlogn time. You seem to be attacking a strawman — no CS textbook says you can sort n strings in O(n log n) time (that's just the number of comparisons); of course sorting n string
396.
by svat 3y ago
The question mentions this in the very second line? “Of course this isn't always possible, for example if the window came over a TCP connection.” The link is to the question and answer, not to just the title. (And there's already
397.
by svat 3y ago
Who are these typographers, any examples? Considering: • The design of Computer Modern was based on Monotype Modern 8A, which was made by a "real typographer" for Monotype corporation and used for decades in several textbooks by A
398.
by svat 3y ago
You're replying to a comment that already answers your question. :-) I'd use slightly different words and say: • When you work modulo 4 (as in the article in the context where this comes up), there are three kinds of primes: 2 is
399.
by svat 3y ago
Some good answers and discussion at https://math.stackexchange.com/questions/120/why-is-1-not-a-... In particular, the papers "What is the smallest prime?" https://arxiv.org/abs/1209
400.
by svat 3y ago
Quadratic reciprocity is the first theorem I encountered in number theory for which I never developed an intuition for why it's true, and it's heartening to read in the article that professional mathematicians still feel the same
401.
by svat 3y ago
“I am of the last generation who will remember the time before the internet” means “many people in my generation [and no later generation] remember a time when the internet was not a meaningful presence in our lives” — which is true for tho
402.
by svat 3y ago
Right. Also (just a few more concrete examples): • the sum of the series 4(1 - 1/3 + 1/5 - 1/7 + …) will still be our π: https://en.wikipedia.org/wiki/Leibniz_formula_for_%CF%80 • the sum of the series (
403.
by svat 3y ago
What are some examples of old books or journals you encounter, that use Monotype Modern?
404.
by svat 3y ago
Instead of a twitter post of screenshots of it, the direct link to Tao's Mathstodon is: https://mathstodon.xyz/@tao He's been posting about it since Oct 9: https://mathstodon.xyz/@tao/11120676
405.
by svat 3y ago
Given that a = ···256259918212890625 and b = ···743740081787109376 already they "make no sense" as natural numbers. (And they aren't.) We can define p-adic addition more formally, and "following the usu
406.
by svat 3y ago
Along similar lines, see also "Improve your code by separating mechanism from policy" https://lambdaisland.com/blog/2022-03-10-mechanism-vs-policy The connection between all three is to put the "pure&quo
407.
by svat 3y ago
I think you may have missed the point of the site: "Go and buy it" is merely the starting state for all recipes, see "Click on an ingredient to make it from scratch."
408.
by svat 3y ago
The point of MathJax is so that users can type math the way they are used to—typically TeX syntax, though MathJax also supports AsciiMath and MathML itself—and get nicely typeset output (MathJax has three output formats: MathML, SVG, and HT
409.
by svat 3y ago
That's odd, MathJax does not render the math as images (unless you configure the output format to be SVG, but even that is not the default). Do you have a memory of (or can retrace) how you ended up with that unusual configuration? (
410.
by svat 3y ago
One immediately useful thing I got from the post is the genius idea of putting the printer (that frequently needs to be restarted for some reason) on a smart outlet. It's working around broken technology by using more technology, but I
411.
by svat 3y ago
(1972), reprinted as Chapter 11 of Selected Papers on Computer Science ( https://cs.stanford.edu/~knuth/cs.html ) [Changes are usually minor but in this case there's an erratum published in 1976, https:/&#x2
412.
by svat 3y ago
It seems to search only stories, not comments?
413.
by svat 3y ago
Exercise is important. It's never(?) urgent.
414.
by svat 3y ago
After someone gives a talk in person, some of the things they can do online: 1. Mention that they gave a talk 2. Post a video recording online 3. Post the slides online, as-is (PDF or whatever) with no explanation 4. Lay out the slides on a
415.
by svat 3y ago
It's a great question. But note that Google Translate is also trained on "predict the missing token": https://blog.research.google/2022/05/24-new-languages-google... / https://arxi
416.
by svat 3y ago
Hofstadter's article is very interesting and delightful (as is typical of him). But as a response to Knuth's article it's basically reacting to a straw-man or misunderstanding: by "a metafont" in "The Concept o
417.
by svat 3y ago
For editing, I was able to make some simple edits (not of individual objects, but things like removing or duplicating pages, or editing crop boxes) using pdf-lib instead of pdf.js: see for example (just right-click and "view source&quo
418.
by svat 3y ago
See the line “The tables look a little uncouth at first but it is not hard to figure out what is going on” : this blog post is about the author's thought process in figuring out what is going on, carrying the reader along: such a figu
419.
by svat 3y ago
This is great, thanks for sharing! It is also inspiring to me, because I have had the same idea and been working on something like this on-and-off since early 2022, but the contrast between your project and the state of mine[1] is like a te
420.
by svat 3y ago
On the other hand, I find this blog post well-motivated and explains the thought process leading up to an explanation of the tables, while that article just presents a block of Python code that I don't find straightforward at all: I im

More ›