joppy

31 ms·

331.
by joppy 7y ago
In simple cases (for example a function UInt8 -> Something) it might be reasonable to expect the optimiser to know how to memoise automatically. But how about functions of the form (Integer -> Something), which have an essentially inf
332.
by joppy 7y ago
> Most of the fiction books are based on the presentation of a concept or a group of concepts. This is quite a narrow view of fiction. Story, relationships, worldbuilding, emotion, and language are just some of the reasons I read fiction
333.
by joppy 7y ago
Just because this is the way that most word processors currently work, does not mean it needs to be this way. You could imagine a word processor where the default mode was to edit content only, and editing structure/layout was hidden b
334.
by joppy 7y ago
Yes, this is the same way that I use LaTeX, and have been using it for almost as long as you. However, when you first started out, how long did it take you to figure out this stuff? My original comment was in response to the “accessibility”
335.
by joppy 7y ago
There are aspects of it which are extremely annoying to use, however - for example including and resizing an image could be a 10-20 minute googling session. Setting margins, headers, and footers not only requires including and invoking some
336.
by joppy 7y ago
If you think that somebody writing a 6-word sentence at the start of an article to set the tone is "cheating you of your time", perhaps stop reading random articles on the internet, and then also leaving comments about them.
337.
by joppy 7y ago
“Oh no, someone is attempting to teach, how dare they!” is what this reads like. Writing articles like this is good for the author, in terms of finding new ways to explain things, and clarify knowledge they already had. The writing style of
338.
by joppy 7y ago
Regardless, this is a very common way of writing mathematics in LaTeX, and so will need to be addressed in any solution to this problem.
339.
by joppy 7y ago
It’s anything but boring when you start adding in more harmony (like an equal temperament major third), and move away from pure sine waves to something with more complex timbre like a piano or a human voice.
340.
by joppy 7y ago
The metric in a vector space is a dot product. If you just have one vector space, it’s not that interesting then, but if you have many vector spaces all glued together (like a tangent space to a curved surface), then looking at how the dot
341.
by joppy 7y ago
I would argue that O(n^2) algorithms are really only acceptable if n is known to be bounded well ahead of time. In large integer libraries like GMP, O(n^2) multiplication is switched out for asymptotically better and better algorithms as n
342.
by joppy 8y ago
An outer loop [1, n] and inner loop [k, n] is cheaper than an outer loop [1, n] and inner loop [1, n], and this second pair of loops runs in O(n^2) time.
343.
by joppy 8y ago
The exterior algebra by itself is not enough for physics, since it doesn’t “know” about the inner product, and so it cannot tell when vectors or wedges should be perpendicular. Given the inner product, you can define the “hodge star”, which
344.
by joppy 8y ago
This method of writing notes still seems like a downgrade from using a pen - my optimal way of taking notes would be with a pen, but with some sort of handwriting recognition on a tablet so it could immediately translate it to prose + LaTeX
345.
by joppy 8y ago
For sure we are missing something. But what hope do we have of understanding the more complicated case, before we figure out what we can know in simpler cases? The eventual goal is to move back to the more complicated cases.
346.
by joppy 8y ago
Solution sets to more general equations are so difficult and pathological that a lot of modern mathematics just entirely rules them out as objects of study. For example, any time you hear the word “manifold”, it refers to a space which has
347.
by joppy 8y ago
Sales tax in the USA differs across states, and even across counties. So it could change fairly regularly.
348.
by joppy 8y ago
I’m not saying git is bad and you shouldn’t use it, I’m answering the question asked which was “how could anything but git possibly be easier”.
349.
by joppy 8y ago
The actual command you need to use is something like “git show HEAD@{2013-02-25}:./file”, which I would count as arcane. And pushing your repo to github and looking at the commit history is using a graphical interface.
350.
by joppy 8y ago
“git show-me-the-code-as-of-last-Wednesday” is not a command that git understands. Of course, you can _do_ this in git, by memorising arcane commands, and you still only get the output on your terminal. The other option is basically using a
351.
by joppy 8y ago
Government-run healthcare does not always reduce the choice of care, it can do the opposite! In Australia, many medical services are subsidised by the government, meaning many of them (for example, a visit to a GP) can be free. However, a G
352.
by joppy 8y ago
I know people who got to uni with exceptionally high marks on their HSC and absolutely no problem solving skills to speak of. Doing well on an exam does not necessarily mean someone is more intelligent or capable, it means they were good at
353.
by joppy 8y ago
Sure, but this is just life isn’t it? A university decides to change the courses it offers, or the number of places offered within a course, just because things change. There also might be a new course offered this year which the student wo
354.
by joppy 8y ago
Since ℚ(φ) = ℚ(√5), an alternative implementation is to use numbers of the form a + b√5, where a and b are rationals. This can be a nice stepping stone, since people are more familiar with manipulating square roots than they are with symbol
355.
by joppy 8y ago
I think “meritocratic competitive default mode” is not looking deep enough. Putting aside any instances of, for example, rich idiots getting admitted to universities just because they’re rich, there is still a massive problem with admitting
356.
by joppy 8y ago
The trend of the large assistants (Google Home, Alexa, Cortana) to all be female-voiced by default is pretty awful. Recently I tried to change the settings on an Alexa to try to get it to answer in a male voice, but I don't think it&#x
357.
by joppy 8y ago
No, but "lightweight" doesn't necessarily mean performant. The size of the program's man page might be the thing that makes people want a different, more discoverable interface to the program.
358.
by joppy 8y ago
I'm not sure that I would call something with about 40 screens of man pages "lightweight".
359.
by joppy 8y ago
It's a great talk. I can't remember whether he says it directly in the talk, but the upshot of his argument is that the "major version" part of SemVer is pretty much useless information to library consumers, and suggests
360.
by joppy 8y ago
What does a "clean-room implementation" mean?

More ›