skysight-inc/HackerNews huggingface dataset:
There is more to math than just calculations, algebra, geometry, etc. Logic, and reasoning through choices & the effects of those choices are vital math skills as well, and for many people in math, they don't manifest until one takes a few rigorous proof-based classes, where one often sees new approaches to arriving at concepts they know, and how to properly get to a conclusion from a particular point.

I wish these skills were emphasized more earlier in people's education, they are important skills for maximizing success IMO.
The right thing was not sponsoring. Pulling out is just limiting personal liability.
I agree that for an average american child to invest time in studying math as opposed to learning to play a musical instrument or doing sports or learning how to cook has very little utility. I think one of the main reasons people push math at civilizational/educational theory/political level is that it is basically a meaningless topic and non-controversial and fills up the school day with material that nobody on earth would find offensive... as opposed to, for example, history or political science. And I say all of that that even though I have a math degree from a legitimate university. If you need math done you can pretty much just pay someone else to do it. You almost never need math done. If there is some important math to be done, someone else is almost certainly better qualified to do it than you are, so let them do it. Life is just too short.
With due respect to the dead and their families, I just don't care. When you play in the deep end, you're risking every thing, and when you play long enough, you're going to lose. Long enough being once or more. I hope his family takes comfort with his last video that was so important to make since that and the hole in the ground he made are all they have left.
Yes. You can get free HTTPS for your existing domain by using netlify. No need to change domain registrant.
Startup time can often be dramatically reduced if you unpack the jars. Jars are zip files. Loading a lot of jars can cause significant slow down.
Population density is misleading because it's usually calculated based on total land area, total private land area, total resdential build up etc.

Overall the US is in an odd position where tha large cities are too populated and the suburban metropolitan areas tend to be considerably less dense due to primarily single family housing over fairly large land plots.
Combine that with NIMBY mentality and the overall geographic scale and you don't get the best environment for rapidly deploying infrastructure.
Look on YouTube, there are people running very old OSes on very new hardware.

And DOS is even simpler to "support" because it doesn't need much.
> "Are there airspeed indicators for wingsuit fliers"

Yes: there are devices that can be mounted to skydiving helmet, and provide audible feedback (using different tones to communicate information such as airspeed). FlySight is one example.

"Audibles" are common practice throughout skydiving: usually two, mounted inside the helmet, next to each ear. They're usually set to beep at certain altitude thresholds: e.g. 5000' (break away from the formation), 3500' (deploy your parachute), 2000' (cut-away and deploy your reserve, if your main canopy is malfunctioning).

The GPS devices have to be outside the helmet in order to receive signal, and they're typically used for communicating performance data rather than safety alerts.

> "it ought to be possible to design a wingsuit HUD"

Recon announced their Flight HUD in 2012 [1], but I don't know whether it succeeded as a product. I don't know of anyone using it.

[1] https://www.engadget.com/2012/10/18/recon-instruments-offeri...
> add another digit

But you can't. All of the places where you might want to add a digit are already occupied by 9's.
Repository: https://github.com/ShivanKaul/rubberducky
The Limits of Human Intelligence (2013)
Again, you're talking about engineering. That's great, but I'm talking about theory. You're saying that it's easier to build a building from the bottom upwards -- and that's true -- but theoretically a building would be just as strong if it were somehow built from the top down. Of course, no one would think to build skyscraper starting from the top, but that doesn't mean that the theory of structure must always incorporate the study of construction. I'm not talking about the process of construction, but the properties of the structure. I'm not arguing with any of what you've said here, simply talking about different aspects. Keep in mind that not all computational process -- certainly not all studied in TOC -- are programmed by humans at all. Computational processes in a living cell, for example, also have to ensure correctness -- and therefore spend computational resources on "verification" -- yet they don't use symbolic logic for that task. This means that there's value in studying the problem of verification even separately from the study of programming. Indeed, this is how it has mostly been done in academia. The software verification community uses very different concepts from the PLT community, concepts that are much closer to abstract machine models than to language models.
In a more perfect world I would have wanted to see GitHub be stopped at the time of release due to trademark concerns, as they clearly did this knowing it would creat this kind of confusion; it devalues git itself and their business model relies on that.
Waud.js: Web audio library
that seems like a small difference in cost for high value data...
Yes, started with a good core that has a group set to be nice, thoughtful, and post smart things. Moderation by deng is pretty amazing, I seldom things go off the rails.

Nice place to visit!!
If people accept 0.33... = 1/3 but not 0.99... = 1, they are being logically inconsistent.

A "proof" that just plays a trick on people's logically inconsistent assumptions to derive a result isn't very satisfying. You're not really uncovering anything fundamental through that proof, just playing games.

Edit: what I mean to say is there are reasonable things "..." could mean such that .99... and .33... are both not equal to 1 and 1/3, respectively. But there are none for which one pair is equal and the other not, as you rightly point out. So all your proof does is show that the other person's viewpoint is inconsistent, but it doesn't give any evidence for one of the two consistent viewpoints over the other.
It's hard to put a number on this.

I have had some sites that run for months without being looked at at all.

Sometimes a big chunk of work comes up all at once though.
It's a tremendous pity that American children don't have easy access to BBC children's programmes. It's not just about advertising and product placement; the BBC has a strict public service remit. This commitment to public service is especially strong for children's programming.

The difference in quality and tone is absolutely extraordinary, because entertainment is only part of the remit. Serious drama and factual programmes are a vital part of the schedule. Perhaps the clearest example is Newsround, the BBC's news bulletin for children. The programme includes the usual celebrity gossip and entertainment news, but it also explains complex and difficult topics.

Today's headline stories on Newsround include the Juno probe, hurricane Hermine and the anniversary of the Great Fire of London. Newsround has covered the Syria conflict and the refugee crisis in detail. Enormous care is taken to communicate the seriousness of these issues without causing undue fear or distress.

There are some things that only a publicly-funded broadcaster can achieve. I can't imagine that a commercial children's channel would commission a drama set in a Victorian orphanage (Hetty Feather), a documentary strand about the working world (All Over the Workplace) or a weekly book club. The BBC still upholds the Reithian values - to educate, inform and entertain.

http://www.bbc.co.uk/cbbc/shows
https://en.wikipedia.org/wiki/Newsround
http://downloads.bbc.co.uk/bbctrust/assets/files/pdf/regulat...
losing your money (or someone else's money) != dying.
I don't know of stats that include per participation-hour. If you have them please share... I provided you with stats from trusted sources like the National Center for Health Statistics (see the link).
I'm curious what the worst profession to hear when they ask "is there an x on board" is. Sure, "is there a doctor on board" is scary but usually ends fine.

"Is there a herpetologist on board" could get interesting, a la Snakes on a Plane.

"Is there an electrical engineer on board" would be scary, and "is there a computer scientist on board" would be downright terrifying.

Maybe "is there an infectious disease specialist"?
While you're right that it's not very common, I know at least 3 (non-famous) people who did that. BASE and skydiving are pretty separate communities and there are a lot of people who make friends in base from cross over in things like climbing or snowboarding and don't do skydiving.

Source: am a skydiver/base jumper
The problem is all regulatory. You have other countries with really insane population distributions like Australia, but they have some vague semblance of competition (I'm definitely not claiming the Australian market is sane by any stretch) so people who need rural coverage get the expensive but very high quality Telstra network, but people who never leave the cities can get unlimited data on more focused carriers. The US get the worst of all worlds.
I know somebody who recently trained for base, and skydiving, they don't allow you to carry cameras until you have a bunch of hours specifically to prevent this from rookies. Not that these are all inexperienced, but it's a risk the community acknowledges.
Rip off?
I responded to a Paddle ad for programs, got a receipt, but no link to download the programs I purchased. I have made repeated efforts to get a response from this company with no results. Rip Off?
RE:DOM project generator
In the spirit of what you're saying - it's possible ten people will be taught undergrad level math and only one will use it - but economically, that one person's added production value could pay for the education of all ten and then some.

The article speaks about Sputnik and one of the world's richest men, mathemetician and retired hedge fund manager Jim Simons notes that he is one of the first students to have benefited from the post-Sputnik STEM student grants. He also mentioned how many people in the US were getting doctorates in mathematics in the year Sputnik went up - I'm looking at the list of names right now and it is much less than 300. So the additional NSF funding etc. that paid for his doctorate resulted in the billions his hedge fund made.
What Got You Here Won't Get You There: How Successful People Become Even More Successful by Marshall Goldsmith.

This book really helped me make the transition between being valued primarily for my technical abilities and focusing more on interpersonal relationships and how that affects my ability to be part of a successful team. It was very humbling to read as I realized I had been guilty of so many of the things mentioned in this book. It really changed my career for the better.
Flooding of Coast, Caused by Global Warming, Has Already Begun
Did they actually die skydiving? I have a lot of skydiving friends that have died, but none of them were actually killed skydiving.

Also for participation-hour are you only including free fall/canopy flight? Because 99% of skydiving is hanging out at the DZ, packing, drinking beer, waiting for fuel loads, etc. An hour of air time is a ridiculous amount of "participation" relative to other sports.
M5.6 Earthquake NW of Pawnee, Oklahoma
If weather patterns change to the point that agriculture collapses the poor jealous Indian villagers won't be any better off.
There is some great info at http://www.ridethetrail.ca/. Many parts of the trail are on roads or have ATV access - which is not ideal for those who prefer human powered locomotion.

A cross-Canada trail is an awesome goal - but the reality is we have a very long way to go.
Highlights from the Knowledge Discovery and Data Mining (KDD) Conference
Anyone get scam by this Kickstarter project, inAirTV by Namster Do?
Hi guy,

There is a project on Kickstarter, inAir. https://www.kickstarter.com/projects/2128859975/inair-the-worlds-1st-augmented-television

And there is an article investigating on the case of the founder of the look-like-a-scam Kickstart project,
https://www.facebook.com/notes/investigative-journalists/fraud-scheme-seespace-and-serial-tech-entrepreneur-nam-do/222122031469522/?_ft_=top_level_post_id.1112667525422816%3Atl_objid.1112667525422816%3Athid.502444376446072

So, can anyone confirm those information?
A faulty missile defense system generated $ 2B in bonds for Boeing
The New Geography of Prisons
I firmly believe that one of the failings of the way we teach most subjects is that there is a very low amount of application. Grinding away and learning the theory is almost useless; for most people as soon as they move on it's out of their head and gone forever, with maybe a ghost of a memory that the topic exists.

It's a shame, because some of these things are valuable to know.

If you're felling a tree, trigonometry is pretty useful for trying to figure out whether you've got room to drop it without hitting your house. Also, when you're building that house, for how long you need to cut your rafters to get the right pitch on your roof.

You don't necessarily need to know chemistry to cook, but it doesn't hurt, and you'll understand why you need to use baking powder instead of baking edit: soda when you bake your biscuits.

There's a lot of basic physics and mechanics that can be incredibly useful if you're trying to lift heavy objects with less than adequate equipment.
If we're lucky a bunch of climate deniers will be voted out of the Senate this election and the balance tips.
Every little bit of math I've learned has helped me in so many inconceivable and unexpected ways. Articles like this are sad and make me discouraged about the future of humanity.
Time Lapse Sky Shows Earth Rotating Instead of Stars (+audio)
> Average user doesn't care if something is "open" they care if it's free.

The naming "Libre" is important (though maybe we shouldn't be using French as the language to describe the concept of freedom with a single word). It gives the opportunity to explain that not only will Libreoffice not cost you any money, you have freedom while using it. Calling it "Office for Free" is a _very_ bad idea as it will muddy the waters of the meaning of "free software" in the lexicon of people who aren't into technology.
at 350C, teflon starts to release toxic particles and gases [1]

1. http://swac.web.unc.edu/files/2015/07/Teflon-infographic-102...
> Thats always bugged me about a lot of OSS projects and vegan dishes

OT: A friend of mine recently called me a "software vegan" because of how much I've started to get passionate about free software. I'm not really sure how to feel about that description yet. :P
Very fair critique. The SAFE for all its merits is an exit-centric security.
How does an actuary get by without having learned trig? Surely, they must understand statistics at least. Is the job description the same deal as engineers, where they just look up numbers from a reference table and multiply them?
To finish projects on time, start every single step as late as possible
I think the latest tendency (specially in UK) to be offended by everything is so unhealthy and horrible.
But Berlin is one of those cities where I encountered the largest amount of rude and unfriendly locals, sorry to say this but it's my experience. I genuinely curious, is it some kind of northern german thing that gets amplified by virtue of being the capital city? I'm really curious. Actually it made me hesitant on doing business with Berlin based companies.
One example of Microsoft holding back support is the xHCI USB controller in sixth-generation Skylake and seventh-generation Kaby Lake: Windows 7 doesn't support that USB hardware, so installing the operating system from a USB stick using those chips is tricky. Intel provides xHCI drivers for Windows 7 once it's up and running.

As far as I know, the xHCI spec is freely available, and so are the DDKs that let you write your own drivers (or perhaps port them from Linux), so I don't see anything stopping the enthusiast community from doing that, besides maybe (currently trivially circumventable, but who knows...) driver signing, and if my past predictions are any indication, that will likely happen.

Ironically, there are already xHCI drivers for DOS:
http://www.georgpotthast.de/usb/
Yes, they actually died skydiving.

Yes, participation hours are only free-fall + canopy time. Drinking beer at the DZ does not count as skydiving in my book.

Yes, an hour of air time means a lot of jumps. That's the point. If you measure it that way, and some people feel that is the only fair way to measure it, then you find out that a combined hour of skydiving is a lot more dangerous than an hour of motorcycling.
You might be interested in reading about transfinite induction, which is an interesting and legitimate mathematical proof technique. However your 'induction' does not succeed in doing this. Transfinite induction requires two induction steps, you've only provided one of them. Not that you would actually use transfinite induction for anything resembling this, that's what calculus and analysis is for.

For example your strategy would show that the sequence of positive integers 1, 2, 3... has a finite limit! After all, each one is finite so by induction the limit is finite too. Except of course no one would expect this induction to apply to the limit as well as to the individual steps.
Whether something is an opinion and whether it uses subjective language or not doesn't mean it's not a point worth discussing.

You'd be ignoring the entire concept of "inductive arguments" if you honestly thought that's the case. Arguments that aren't directly based on fact can still hold up if they're cogent.

So I'd urge you not to give undue importance to the subjectivity or opinionated nature of an argument.

(I neither agree nor disagree with any of your other points. Just that one particular thing.)
> When a math or theory problem arises, they take it to the resident "math person."

When an obvious math or theory problem arises.

I'm sure they run across problems that more advanced math can solve, or stumble into problems due to not knowing more advanced math, yet their lack of knowledge prevents them from even understanding they confront a math problem. Sometimes the problem is not what they know they don't know, but what they don't know they don't know.
The best compromise memory usage/speed for storing key/value pairs in C++?
7 Tips to Achieve Entrepreneur Work-Life Balance
For more information review these sites

https://www.reddit.com/r/Scams/comments/2p7mk5/the_elusive_s...

https://www.reddit.com/r/shittykickstarters/comments/2rdcy2/...

http://hackaday.com/2014/09/04/scribble-and-the-failings-of-...
I'd say yes they should be required to notify you. In my not so humble opinion, it could be as simple as sticking a note securely attached on the front door. Even the TSA leaves a note saying it opened my luggage.
It's discussed in BASE-jumping forums, mostly for its historical value, and to answer the people who ask with all seriousness: "How can I learn to BASE-jump, without bothering to learn skydiving first".

You'll also see it referenced on the websites of places that run BASE courses [1], where it's repeatedly acknowledged that it has been done in the past, but it's now seen as a reckless practice.

You can still find people that will teach this way, but for the most part, it's underground, and described as a "deathcamp" [2][3][4].

[1] http://base-book.com/skydive-to-base-jump

[2] http://www.basejumper.com/Articles/Getting_Into_BASE/Number_...

[3] http://www.dropzone.com/forum/Skydiving_C1/General_Skydiving...

[4] http://erikroner.com/242/
Who cares?

If you name enough things any naming scheme will break down. Good thinking delays the inevitable but does not stop it.
When I'm walking down the street I'm playing Russian roulette? You are either completely numerically illiterate or so motivated by whatever ideology you're coming from that you'd go as far as uncritically parrot this such a laughable false equivalence.

Lets consider just traffic-related accidents for simplicity. About 17 deaths per 100,000 people per year worldwide. Assuming that a person "walks down the street" twice a day, that's means that when you walk down the street the probability that you'll die is 2.5*10^(-7). By comparison the probability of dying from Russian roulette is between 1/6 and 1/2, depending the rules you're playing by. You've just made a mistake as big as 6 orders of magnitude. This alone should get you banned from HN.
If something doesn't get enough attention within a certain period of time, it can be submitted again. Likewise, if it's been a while since HN has seen it, it can be submitted again.
why??? maybe because it's a risky sport???
Maybe this is just the year of humanity finally facing our hard reality ahead.
How? Rapid downsizing / swooping? There's only something like 20 skydiving fatalities a year! (In the US)

I'm pretty sure that eg solo belly on a low wing loading with an AAD and RSL is more or less arbitrarily safe as long as you're not in Lodi.
I think it's because of how the discussion already is influences new participants. (https://en.wikipedia.org/wiki/Broken_windows_theory)

For example, I have posted ( ͡° ͜ʖ ͡°) on Reddit (and it is often upvoted), but I wouldn't do so on HN. The cultures are different.
Posting my suggestion here:

Since the HN community is data oriented at its heart, it would be very interesting to have everything out in the open, in real time, for users to have their own model of ranking.

All the data: comments, stories and most importantly each upvote linked to its user. People would build their own model for tagging, filtering.

I'd personnally try ALS-WR [1], or maybe try to tinker with distance metric learning [2].

It would help everyone get exposed to the exact content they might upvote.

[1] http://www.grappa.univ-lille3.fr/~mary/cours/stats/centrale/...

[2] http://papers.nips.cc/paper/2164-distance-metric-learning-wi...
Yes, that is exactly what that notation means, just as 0.1111... is not any of the numbers 0.1, 0.11,...

Supremum of an increasing sequence of reals is equal to the limit of the sequence in all cases.
I think there are 3 fundamental issues that are coming together. The first is a discounting of the fact that programming and using Excel are in their own way doing higher level math. You're not doing the lower level grunt work but combining those techniques to do something greater. The second being that many problems aren't about mathematical truth so much as mop and bucket work. Designing your process for off hours communication isn't going to simplify into an elegant equation. However being really good at that sort of thing is important. The final thing is most people are lousy at recounting what they did/do. So it maybe that a significant number of people do use advanced math < 1% of the time but don't actually remember it.
'Cheaper' is an interesting word.

This is high capital cost purchase to reduce variable costs. Expensive to buy compared to the costs of hiring an employee, but (I would assume) low cost to maintain, and runs at all hours (so it partially replaces multiple employees).

It's not a question of whether it will pay off, but in how much time. If the answer is 20 years, it's not worth the cost. If the answer is 3 weeks, every store will have them in the next six months.
Scheme has (exact->inexact x) and (inexact->exact x) for those issues.
I think I was too hasty in replying to your post and misread and misunderstood the point you were trying to make. No, I don't think there's a difference.