skysight-inc/HackerNews huggingface dataset:
> I'm not a mathematician and was miserable at math in school

Maths in school is not really like the maths that mathematicians do.
Are the snippets saved to the google account as well, so that I can access them anywhere I sync my chrome dev browser?
I agree and understand; I was being a bit facetious there. However, I actually still don't quite understand why browsers can play video and audio. I much rather play those in dedicated software, to the extent that I regularly view the source of such pages to figure out the URL of the media to be played. I guess this is because of ease of use for the average user, and occasionally for DRM, but it annoys me to no end. Playing all video or audio in the same software means a much better and consistent user interface for things like rewind, pause, full screen, etc.
I agree with everything you have said.
> Near the turn of the 20th century, some important advancements were made in mathematical logic. Principia Mathematica was an attempt to report the axioms and inference rules needed to prove any mathematical truth. 20 years later, Gödel’s incompleteness theorem proved that such a goal could never be accomplished.

This part fascinates me. As I understand it Gödel's incompleteness theorem states essentially that "in any formal axiomatic system large enough to contain arithmetic there will be true statements that cannot be proven". But doesn't that apply to the less formal "natural language" proofs of mathematicians as well...? When I read sections like the above (in many different places) I sometimes get the feeling that the authors think that "Gödel proved that formal proofs cannot prove all mathematical truths, so we mathematicians switched to informal proofs instead (to get around Gödel's incompleteness theorem and continue on our quest to prove all mathematical truths)". Can someone confirm that this is not the intended meaning? :P

As I see it, let there be sets of mathematical statements A, B and C such that A are all true statements, B are all statements that can be formally proven and C are all statements that have a beautiful proof (from "The Book"); then C must be a (possibly equal) subset of B, which must in turn be a (possibly equal) subset of A. Right? :)
Court ruling shows the internet does have borders after all
I would argue that it sometimes gets in the way of the social life. Being able to stay very precise and keep in touch at the same time might be challenging for some.

Though, perhaps it's the other way and the overly precise (Asperger's syndrome?) people become mathematicians as opposed to them developing the precision?
Amazon boss Bezos becomes world's third richest
Groundhog (http://hackage.haskell.org/package/groundhog) is a nice "ORM" for Haskell. If you need something more flexible you can drop down and write raw SQL with postgresql-simple (http://hackage.haskell.org/package/postgresql-simple). There's also a corresponding mysql-simple package.

There are several HTTP clients:

http-streams (http://hackage.haskell.org/package/http-streams)

http-conduit (http://hackage.haskell.org/package/http-conduit)

wreq (http://hackage.haskell.org/package/wreq)
The 'Cyber Testing Lab' Provides Standardised Security Grading for Software
Hardcoding DNS servers that are run on Amazon IPs on AWS is just an incredibly bad idea.
Yeah, but in languages that anybody uses?

That people are actually using TypeScript could be the difference here.
Oil Storage Fixation Misses the Big Picture
> I thought that was a job in research and development? I know people in private companies that do this.

They don't realize it, but they are auto-constraining themselves to research that may eventually produce a profit. Example, IBM's research journal: https://www.research.ibm.com/journal/
Who hacked madam?
The Arab Spring happened precisely in those countries that were already totalitarian and dysfunctional anyway. If not this crisis it could've just as easily been something else, like what's going on in Turkey right now. A lot of the Middle East petro-states are only propped up by their oil wealth, the profits on which go mostly to the elites, with token handouts and subsidies for everyone else. They've already had to subsidize food and water for a long time in order to prevent their societies from revolting, and increased costs due to desalination is thus only a difference in degree, not kind. As for the World War II comparison, well, the world is simply different now in a huge number of ways. So while I don't disagree with the examples you bring up, I just don't see them being relevant to developed democratic societies, which I believe can solve these problems. A lot of the remainder already has problems anyway, and water scarcity is one of a laundry list of problems on their plate, which also includes displacement due to rising sea levels, climate change, you name it.

As for letting your lawn die, what I really meant but didn't say because it doesn't sound as pithy is to replace your lawn with landscaping or native flora that require much less water to maintain. There are many parts of California, Phoenix, Las Vegas, and other places that are all essentially desert, and rapidly tend back towards desert in the absence of voluminous irrigation. It makes no sense to waste thousands of liters of water per lawn per day keeping non-native grasses alive in the middle of a desert. For the cost of only several months' water you can replace your yard with something that doesn't need watering and won't blow away in a storm, the simplest and cheapest replacement being gravel.
Why an HR Company Needs a Visitor Management System
And yet a Democratic Party IT administrator was shot and killed in DC two weeks ago. The media is trying to attribute it to a mugging, but no items were found taken off of his body.

http://www.nbcwashington.com/news/local/Man-Shot-Killed-in-N...
It doesn't really help in finding jobs, you have to be good at development as well.
Sorry, but unless browsers srart interpreting typescript directly, I won't be using it. I'm done with flavor of the month preprocessors. I'll code in the base language and focus on developing my skills there.
True, but if you're not good at school math, I believe there is little hope you can be good at the style of math that mathematicians do...
>Source?

Any recent news from Venezuela.
>* Axing Thunderbird, one of the last usable non-web-based email clients. I don't like nor use TB, but maintaining a decent email client cant be that hard for Mozilla, and it is important for the web.

I don't want to be overly cynical, but how is supporting a native email client helping the web? Email isn't "web" unless you access it through a web browser. So it seems totally in keeping with Mozilla's current web-only strategy to ditch their native email client and encourage everybody to use webmail. After all they want people to ditch all native apps (except the web browser) and use the web as their operating system. Supporting a native email client don't fit in with that strategy.
What I find very funny about PureScript is how it has these super-fancy types, designed from the ground up to express things like semigroupoids, lenses and profunctor-based optics... yet it doesn't have a numeric type better than JavaScript's good old floating points.

Just to be clear, this isn't meant as criticism, since I absolutely love how Haskell (and now PureScript too!) exploit algebraic structures to make code more reusable and robust. But the contrast between “can express fancy structures precisely” and “doesn't have precise arithmetic” is very amusing.
I think the UK 'traffic light' labeling is still voluntary.
It's actually way cheaper to simply pave a yard on a new construction house with gravel than to sod it and install an irrigation system, which is essentially required in the kinds of deserts I'm talking about.

I know if I were buying a new house today, one of which had several hundreds of dollars per month in required water costs to keep the lawn alive, and one of which did not, I'm going with the latter one every time. Especially because you know the lawn is going to die on the former anyway at some point in the future when more severe water restrictions come into play and watering your lawn is (rightfully) prohibited.
Four years later, 38 Studios probe results in no criminal charges
Thank for the answer.

- Will your target species be heated to melting before that heat transfers to other stuff? = That's the plan, the heat will propagate so I want to apply just enough heat to minimize the amount of heat transferred. They have different melting points: around 50C in difference.
Which they should have done with Pocket as well. Yet it lives on, forcing those who don't want it to go through the steps to disable it. It can't be completely removed without gutting it from the codebase and rebuilding it yourself.

I'm not saying a clipping service like Pocket is bad, or a WebRTC service like Hello shouldn't exist, but it should never have been part of the base install. One of the greatest strengths of browsers like Firefox and Chrome is the ability to use plugins, yet Mozilla chose to forego that twice over.
Not a strong argument. Static typing prevents a certain class of bugs. There are a ton of bugs that it does nothing for, which is why tests are still useful.
Of course you cover your trails if you do a hack.

As a minimum you get a server to work from (and have your backdoors point back to) that does not directly link back to you. Typically another hacked machine - not necessarily hacked by you - you can buy them cheaply on dark net market places.

DNC has an obvious interest in spinning this and they seem to have done this very successfully.

What bothers me is that no-one seems to be able to separate politics from technical assessment. Even people with deep technical insights such as mr. Schneier.

I think the chance of Trump's presidency scares a lot of people and that scare clouds judgement.

I don't have any say in the american election but I think that people overestimate what the presidential post means and underestimate the check-and-balances of the rest of democratic system (congress, legal system, existing GOP apparatus, press and so on).
"While the counselor goes to work, the mistress-dispelling service advises the wife on how to make herself more attractive to her husband."
The question about about TOR?
Sure, they could have used TOR, but that doesn't make them automatically untraceable. I am definitely not an expert on this kind of forensics, but in past cases the "smoking gun" pointed to by experts tends to be some sort of metadata (i.e., text files encoded using cyrillic character set), not an ip.

Also, there's been some claims that NSA and other agencies are running TOR exit nodes. Not sure if there's anything to it, but the point is state level actors have resources that nobody else does.

Besides, I am not sure what is your point. "Russian hackers would have covered their tracks, therefore it must not have been Russian hackers"?
>No it don't. You're free to choose unhealthy products, but aren't forced to choose them.

Forced for humans is not just "gun in the head", and it's not a binary either.

E.g. constant hammering with advertising on TV and internet can be an effective force for forcing people into stuff they wouldn't otherwise do.
If you're interested in a tool like that, check out Hoogle: https://www.haskell.org/hoogle/. It allows you to search by signature, including using generic types (e.g. their front page example is (a -> b) -> [a] -> [b], which will return map as a result, among others).
It sounded a bit condescending to me. Besides that it was an empty comment; a claim with zero citations - not very useful at all.

Anyway, I'm sure that I don't care if an unknown language pioneered something. The language that makes good features popular is the better one.
I guess that's what happens when technically competent leadership is forced out by the community due to their personal religious beliefs.
Repeat business!
Yes, because Scala-Native only exists for a month at this point in time.
The US Government is trying to address access to publicly funded research by requiring that most government agencies have open access plans.

https://duckduckgo.com/?q=public+access+plan&ia=web

This was started government-wide from a memo by John Holdren.

https://www.whitehouse.gov/sites/default/files/microsites/os...

Each agency comes up with their own plan, but they have to make access to the research possible without charge.

Many agencies provide access to submitted manuscripts.

Another good avenue to address access would be to get states to adopt similar policies based on research by state employees.

It is often easier to get states to pass laws than it is to deal at the federal level.

Is anyone interested in writing up some legislation?
In Japan I would say it is similar, maybe not up to such extend but also in the same way
Mozilla said they were going to add a Pocket-like feature but realized that Pocket was better than anything they had the resources top do themselves. So I don't think that's messing up feature development our eating time on features people don't want.
#6 scaling the ladder of abstraction

This is one I have a tough time explaining to students who are so focused on the task at hand they don't feel there's time to sit back and reason in generality.
Diet and exercise play different roles in keeping us healthy. You can be fairly overweight with a sugary diet while still being pretty active, just as you can lose weight by monitoring diet alone. Some of the problem of the changing villians is that we are still learning, and some of the problem of us not knowing more is pushback from sweetening industries.

I don't agree with all of the anti-sugar things. Probably shouldn't tax sugar itself, and in moderation it isn't a bad thing. Most folks don't have a lot of candy in their diet (because there are limits). But they do drink a good deal of sugary coffees and drinks when it would be better to eat a handful of fruit and drink some water. Most folks don't need the added sugar to feed their brain - fruit and vegetables and some grains wind up as that anyway.

It isn't sugar in and of itself that is such an issue, but that we tend to put it in everything, so our consumption is really high.

Sauces and prepackaged foods have an amazing amount of added sugar. The typical american breakfast is nearly a dessert. Cranberry juice, pushed as healthy, is generally sweetened, even if it is with concentrated fruit juice. All of these things add up especially when combined with lack of reasonable choices near you and large portion sizes. And trying to figure out what has added sugar and other such things has been proven difficult. And this is a major problem for folks trying to have some sort of balance in addition to being a problem for folks that are low-to-mid income and/or have little time to cook their own food as it gets harder to limit such things even in supposedly healthy food.
Just to add to this, here's the tracking issue, upvote to support it: https://github.com/facebook/flow/issues/6

29 days ago somebody posted an unofficial Windows binary: https://github.com/facebook/flow/issues/6#issuecomment-22989...
Maybe to sandworm101's point there was automation occurring here. Google certainly dives into AI...maybe they have an experimental AI back-end service to try and catch things which might be considered "offensive"...and in this case perhaps it failed...but google does not want to publicize any failure of its AI to avoid whatever future promotional plans it has int store for such tech. But that of course is kind of a conspiracy theory. I guess/hope the real reason comes out into daylight.
Really not a fan of this. In a link he says he took the code for saving/exporting and split it apart:
http://girinstud.io/news/2015/09/improving-the-export-proces...

The only way I ever use GIMP is through forked builds that let you save as whatever you want without the annoying save/export distinction, so they seem to making it tougher for people who are making good forks of their bad software to do their job.
Y combinator is all about Hating Jews. @dang, why?
Teaching accreditation exams reveal grading biases favor women
Be aware, if you recommend GIMP to people on Macs with retina screens they are going to be very disappointed. TLDR; retina screens on Macs simply aren't supported properly (everything you do will be at a minimum of 2x scale). See https://medium.com/@kjeldahl/gimp-and-inkscape-on-retina-mac... for more details.
Men are not fungible.
Modern plumbing, freshwater, and waste removal is literally one of the top five inventions of all time for increasing lifespan and quality of life. You don't realize how good you have it until you go try to live in a village that doesn't have freshwater or wastewater disposal, where you have to trudge miles per day to fill up large heavy containers from sources that are already polluted anyway, and that needs to be further treated with boiling before it's safe to use.

So in that context, it's absurd to think that £1 per day is steep to get all of those benefits. Back when I had a house our water bill was way more than you're paying, and I would've been willing to pay way more still. Having fresh safe water available at the flick of a tap whenever you need it, and all waste products disposed of without spreading contagion, is a modern day miracle.
I don't run Linux as my main desktop OS for the same reason - drivers.

It seems like you lose either way.

I don't feel locked in at all with Windows though. Never have. With Apple, I feel locked into their hardware. With Microsoft? What am I locked into exactly?
Ahem... TypeScript is 100% Javascript, they only add optional type annotations. The "to-ES5" compilation serves a different issue - that's just a different version of Javascript.
Right-click -> remove from toolbar. Unless you count that as two "steps".
I don't recall. How are poor mathematicians at arithmetic? ;)
99.9% of the people living in Phoenix and Las Vegas aren't there to mine minerals. This is just a complete non sequitur. For an actual example of towns that exist primarily to supply labor for resource extraction, look at the Canadian towns in the Alberta tar-sands region. They are much, much smaller.
Not enabling sovereign countries to protect industry of their choosing is a form of corporate protectionism. The established companies are protected from future competitors. Example: south koreas industry was bootstrapped by the government using every mean at their disposal - using methods that would probably be improbable in our present form global market. No Samsung, Lg or any of that could arise in current global market. Capitalism and free market are not the only methods to improve economic status - very much like protein is not the only form of food people need to eat.
It is in running 3rd party trackers on your site.
Email is an integral piece of the open internet, and also a critical bit of infrastructure for the web, providing crucial communication and authentication for millions of websites.

Without free and open email, it makes every internet based company's job that much harder (potentially impossible).
I always get thrown off that plan by things like yogurt. Even plain yogurt lists a ton of sugar. I can't wait for the new labels that show added sugar.
You are almost correct -- it's just that it's not a "safe" assumption.

In your example, the JS interpreter will not throw an error when one provides a number (for example). Your code could break things. But why would this happen?

It's completely unrelated to TypeScript.

A number could be provided by the data, which in all likelihood is JSON from the network (eg: HTTP request or message queue body). Strongly typed languages will give you strongly typed data to protect you from this, but a dynamic language like JS doesn't afford you the same protection.

TypeScript doesn't mitigate this issue -- nor could it. TypeScript ensures your plumbing fits together, not that the sludge flowing through it won't cause a mess.

A strongly typed language will throw an exception before unexpected behavior can occur, JS on the other-hand will attempt to continue. It rarely happens, but since it does you can't say it safely works properly.
A political party's computers are not part of the "critical election infrastructure" unless the party [or parties] has become the state.

Exceptionalism is political crack. States seek to influence elections in other states. Always have, always will. Having a candidate aligned explicitly aligned with the interests of a foreign state is quite common in Americas. As is having a foreign state explicitly align themselves with a candidate.
yep plus i wonder if they will pull the plug on Rust (which is an ambitious project).

I mean the project has it's momentum but in terms of industry it means nothing so i wonder if they will cut money someday like they are doing with these features.
I really, really hate to admit it, but your points on economic perspective are very good. :-)

I say "hate to admit" because I'm very much a proponent of decentralized services, and wish for more people to use them...but i guess like others my optimism might blind me a tad to the realities of typical/common user behaviors (and expectations), as well as the reasons and sources of those behaviors (and expectations). I guess users of decentralized services can continue to "throw their own parties", but it might mean not everyone will ever go to said parties. Ah well.
If you leak tens of thousands of emails by hundreds of people that the senders expected to remain private you are pretty much guaranteed to find some that you can read as racist, sexist, homophobic, or whatever you want.

In an ideal world we'd have leaks of every group involved in the election: DNC, GOP, Hillary campaign, Bernie campaign, Trump campaign, Trump's tax records, Clinton foundation donor list, etc. However, having a subset, which was selected by some actor with ulterior motives, leaked is IMHO strictly worse than no leaks at all.
Pocket isn't just about the development costs.

Any long-time firefox user with a shred of sense could have predicted (and did predict) the massive fallout that came from Pocket. Yet, Mozilla didn't.

Everybody assumed Mozilla took money from Pocket. Yet, Mozilla didn't.

The Pocket situation is hilarious. People see a 3rd party service being shoved down the throats of the user, they immediately assume Firefox is "selling out". Mozilla got all the negatives of a bad deal, and none of the money. It takes a certain skill to mess up this bad.
One of the disincentives against smarter control of street lighting is the near- or even below-cost electricity rates offered by power companies. Since it's so cheap, councils and other authorities leave lights blazing at full intensity and coverage all through the night instead of reducing intensity or shutting-down sections of lighting.

We astronomers in Northern Ireland were excited a couple of years ago when there was the prospect of lights being turned-off for five hours in the wee hours due to budget cuts, but unfortunately a new cheaper power contract was agreed with the suppliers.
C'mon, everyone knows what drinkable water is. You can technically also drink boiling water, or battery acid for that matter, but nobody would classify those under the category "drinkable liquids" which is what we're talking about here.
Funny one: A nephew of mine bought a house in the region, and started clearing out the mess in the cellar. At the back, behind a fake wall, he found old bottles with a small fortune in DMarks. Unfortunately, the german mark was replaced with a new version after the hyperinflation between the 2 world wars, so it wasnt worth anything anymore. We assume they were left behind by german soldiers in WW1. No idea what he did with them.
I keep hoping that some of this massive brain drain trying to shave off the last ms of latency (FPGAwork, microwave towers, etc etc) will somehow translate into some advancement good for the overall society.

Also, I hope the rapidly diminishing returns will stop this ridiculous arms race.