joppy

33 ms·

301.
by joppy 7y ago
What would you count as delivering “high yield information”? Why does finding out what people find beautiful not qualify? I think that this kind of emotional content is quite valuable and interesting.
302.
by joppy 7y ago
What would be curated about an interview transcription?
303.
by joppy 7y ago
Google web fonts were a great way to make my site slower. I don’t know if it’s the latency here in Australia or what, but (especially for developing locally) google web fonts were a big headache for having snappy webpages. I took the time o
304.
by joppy 7y ago
‘Tis the season
305.
by joppy 7y ago
Bourbaki were certainly made up of a collection of leading mathematicians, but the works of Bourbaki are not innovations themselves. As much as I love the books, they do not contain major new results, rather they are an excellent organisati
306.
by joppy 7y ago
There’s an incredibly straightforward and readable paper by Simon Peyton Jones (one of the creators of Haskell and GHC) which explains how Haskell deals with IO, exceptions, and concurrency. It also explains why they settled on this, rather
307.
by joppy 7y ago
It’s not supported everywhere though, so it’s not like you could use it to actually build a library, you would need to use something that fell back to Doubles anyway.
308.
by joppy 7y ago
Hear, hear! It would be great if javascript had any integral type that we could build decimals, rationals, arbitrarily-large integers and so on off. It’s technically doable with doubles if you really know what you’re doing, but it would
309.
by joppy 7y ago
The example often used is something like the Reader monad, which is basically used like dependency injection. Run your code in an isolated environment to test, and connect it to the real application just by swapping the environment (effects
310.
by joppy 7y ago
That’s a very cool construction of regular expressions, just using matrices and semirings. I loved the explanation of why F and G were as they were as well. I had two comments: > Assume we have a regular language (R, 1, ., 0, +, * ) Shou
311.
by joppy 7y ago
I found that Notion had great features, but I found it to just be terribly slow in general. The app takes upwards of 25 seconds to open on my phone, and even on my computer where the app opens quickly, I still can't flick back and fort
312.
by joppy 7y ago
For a one-dimensional shape, a boundary point is one you can stand on and move in one direction, but not in the other. So for an open line segment 0 < x < 1, there is no boundary, since at every point you can move in both directions.
313.
by joppy 7y ago
I don't think that analogy holds at all. A better analogy is comparing some boolean function written purely in terms of AND, OR, XOR, etc with its corresponding circuit diagram. From the diagram, the information flow is much more obvio
314.
by joppy 7y ago
I think this approach is the "state machine" approach given in the article. The added complexity in moving to a coroutines/co-operative threading model is balanced by the drastic code reduction, pointed out in the article by
315.
by joppy 7y ago
This seems needlessly pedantic - we could also notice that a total function is just a special case of a partial function, and so total functions are already included by the article.
316.
by joppy 7y ago
This is such a clear and illuminating explanation as to why _suffix_, rather than prefix trees, are so useful.
317.
by joppy 7y ago
I guess the miracle is that the series converges everywhere. For example, the Taylor series for log(1 + x) only converges for |x| < 1.
318.
by joppy 7y ago
Doesn’t it still converge in the L2 norm? (The L2 distance between two functions is the area trapped between them).
319.
by joppy 7y ago
I don't think that answer was written with the intent of being particularly helpful, I think it was written with a different goal in mind.
320.
by joppy 7y ago
"Below is an example of such a tree"... and there is a picture of a binary tree, with no indication as to how the tree is used. I appreciate trying to explain the interesting technology behind authenticating modules, but this diag
321.
by joppy 7y ago
Although pitch inflation is referring to changes about as large as a concert A changing from 440 Hz to 442 Hz, a change of around a tenth of a semitone. The pitch difference between Barry White and Frankie Valli is more like a few octaves.
322.
by joppy 7y ago
Does Bad Romance even have the millennial whoop?
323.
by joppy 7y ago
You have to check if a number is zero before you divide by it, you need to check if a number is positive before you take its log, you need to check it a set is measurable before you measure it or integrate over it. I don’t really see how an
324.
by joppy 7y ago
The problem with doing this is that you give up a lot of properties of functions that you might want, for example that continuous functions which cross the x-axis somewhere actually intercept the x-axis. This is not true if your x-axis is m
325.
by joppy 7y ago
Measure theory also tells you that if you managed to make two solid balls of radius 1 from cutting up a single solid ball of radius 1, then some of the intermediate pieces you cut the original ball into must have been non-measurable sets. N
326.
by joppy 7y ago
The question mark is the standard Scheme way of writing a predicate, for example see https://www-sop.inria.fr/indes/fp/Bigloo/doc/r5rs-9.html#Num...
327.
by joppy 7y ago
Base 10 is intuitive because we are taught to work in base 10. If we worked in base 7, then multiplication by seven would be just another 0. (And if we worked in base 7, we would probably have defined “an order of magnitude” to be a multipl
328.
by joppy 7y ago
Refusing service to people based on their ideology or sexuality is vastly different to refusing service to people who threaten harm to others.
329.
by joppy 7y ago
A more fair comparison might be AutoCAD showing errors like intersecting surfaces visually, rather than spitting out a list of "bad coordinates".
330.
by joppy 7y ago
This comment doesn’t seem to be a response to anything in the article, which is talking primarily about input and output languages (output here meaning error messages) of compilers. The article does not compare anything about C++ and Erlang

More ›