HN user
If you liked this, you might also be interested in this project by The Caretaker. He has been diagnosed with dementia, and is producing music over several months to try to capture the progression of the disease. I recommend giving it a listen:
https://thecaretaker.bandcamp.com/album/everywhere-at-the-en...
For another list of recommendations by topic, check out this (very popular) list:
Someone made an iPhone app which simulates one of these machines, if anyone is interested in playing around with one:
This is not quite what you are looking for, but it is still pretty interesting:
I have used Voronoi diagrams (and their corresponding Delaunay triangulations) for interpolation routines.
You might also be interested in this:
Isn't this the point of the gas tax? For every mile you drive, you use more gas. The more gas you use, the more you pay. Tracking which roads people are driving on would also require massive infrastructure investment, and have significant privacy implications.
Isn't this basically how Slashdot works?
Please do, I think that they would make a great addition.
When this proof has been presented to me in the past, I believe we assume that m is a positive integer. This is mentioned in one of the comments, but I agree that it should be more clear in statement of the theorem.
Even with a mobile app, it may still be worth knowing how to navigate the old fashioned way. I would imagine that books / hand calculations are more resistant to power failure than apps and GPS are.
Unfortunately, I don't live near UCLA (Does anyone know of a similar program in the Boston area?).
However, I have found that it is not too hard to learn advanced math without the help of an instructor. A couple math-inclined co-workers and I have been reading Topology by Munkres. Since it is such a popular textbook, there are plenty of solutions to exercises online. Working with other people makes it easier to ask questions if you are confused, and also helps me stay motivated.
The Awl ran an interesting piece on this [1] which focused more on how disruptive the bagel machine was to the bagel unions. I wonder if people will ever lament the loss of taxis if Uber and its ilk take over.
[1] http://www.theawl.com/2015/09/a-disruption-cautionary-tale
If you liked this, you may be interested in Dorothy Gambrell's analysis from the other direction. She took the top songs from billboard over the past 100 years, and tried to find out which ones have remainied popular.
From the article:
“We discovered the tile using using a computer to exhaustively search through a large but finite set of possibilities,” said Casey. “We were of course very excited and a bit surprised to find the new type of pentagon.
I would expect it to take longer than seconds, since there are many ways that these shapes can fit together, and there are many possible edge lengths.
You might be interested in this article [1]. Basically, even if many proofs are incorrect, their results are almost always still true. Also, there have been many large changes in what counts as 'rigorous' over time. I agree with you that computer-checked proofs seem like a logical next step in the rigor of mathematics.
[1] http://www.gwern.net/The%20Existential%20Risk%20of%20Mathema...
There have been some attempts to re-create the datahand [1], but it seems that they have stalled.
There are examples of medieval books with ads in them, so it seems such advertisements are older than mass media or the printing press.
http://medievalbooks.nl/2014/12/05/medieval-spam-the-oldest-...
I have read similar perspectives before[1], and I am not sure how I feel about them. On the one hand, much of the industrial pollution /is/ in response to consumer demand and reducing personal consumption has some impact on that. But on the other hand, it seems very clear that by and large the public will never change consumption patterns to be more environmentally friendly ( sometimes because they cannot financially, and often because they do not care ). So it seems systematic changes are necessary.
[1] https://orionmagazine.org/article/forget-shorter-showers/
OP's profile says analytic number theory
I know it is computationally a bit of a pain, but if you have points v_1,v_2,v_3 does the Jordan Canonical Form of the matrix [v_1 v_2 v_3] not satisfy your requirements? I believe that the original matrix is similar to both its permutations and rotations, so the JCF should be invariant. My linear algebra is a bit rusty, so I might be wrong
There are quite a few decent mobile apps for reading HN. I use HN reader on Android, which has a few problems, but I actually like better than the website in some ways. For example, I can collapse comment trees.
FTA:
Is your data scientist producing analytics for machines or humans?
This is a really interesting question that I had not considered before. I think it is an important one not only for those hiring, but also for applicants to ask during an interview in order to determine if the position is a good fit.
If you are interested in seeing more of fishing from the perspective of a fish, I highly recommend Leviathan [1]. It provides a very interesting look at the industry
In fact, this is fairly common in Hindustani music. Many ragas have different versions of the same note depending on how you approach it and switching between ragas often requires re-tuning
Since he has not been convicted, he would only need to get the DOJ to drop the charges, not pardon him, right?
This is exactly the problem. As ck2 seems to be suggesting, laws should be passed which make it illegal. At least, that is how I interpreted her critiques of "executive changes"
Well there was some mention.
We can probably add software to that list: early software engineering work found that, dismayingly, bug rates seem to be simply a function of lines of code, and one would expect diseconomies of scale. So one would expect that in going from the ~4,000 lines of code of the Microsoft DOS operating system kernel to the ~50,000,000 lines of code in Windows Server 2003 (with full systems of applications and libraries being even larger: the comprehensive Debian repository in 2007 contained ~323,551,126 lines of code) that the number of active bugs at any time would be… fairly large. This lead to predictions of doom and spurred much research into automated proof-checking, static analysis, and functional languages
Of course, you need to be pretty confident in your proof-checker. If we aren't totally sure about machine-proof methods, then we comback to the "Doomsday hypothesis" at the end of the article, where many results are invalidated at once.
I wrote this exact game as a high school project, but instead of Venus, I think you had to get to a Stargate / wormhole