skysight-inc/HackerNews huggingface dataset:
Logic and the rest of math are tools used in science, but I think the complaint was that science itself is about observation, developing theories, and testing theories against new observations. To elaborate:

In pure subjects like math/logic, you have no observations, at least not really. Everything is abstract. Theorems follow the nomenclature of "hypothesis" and "conclusion" as if it's mimicking science, but every provable/disprovable statement in math, though it can be observed, formalized, and proved or disproved with enough effort or luck, is nevertheless merely a logical consequence of the axioms you started with. Theorems may provide insights, but they don't discover anything new. The conclusions of theorems are logically equivalent to the axioms. That's the essence of what it means to prove, mathematically.

Whereas, in a science, there is no underlying theoretical truth. The only truths are quasi-truths that you develop based on observation and experiment, but they can all change tomorrow with a new experiment that is not beholden to any historical science precedent.

Math/logic: everything is entirely based on axioms. The notion of "discovery" and "testing" of theorems is a cognitive fiction. Observation is merely the human process of deciding what things to try to prove. Everything is backstopped by abstract axioms and logic.

Science: everything is entirely based on observation. The claim of scientific "truth" is a human fiction. We can never be absolutely sure of anything in science. There is no abstract truth backstopping science.

Caveat: this does not imply anyone should be disputing scientific truth for practical purposes in everyday life.
Disputing scientific consensus because it's not philosophically true is the refuge of spiritual quacks, religious apologists, and even rational people who are too in love with philosophy to take a step back and consider whether their philosophy is practical. "Oh, gravity isn't really true; quantum field theory isn't really true." Okay then, have fun not being able to move because you're floating in the air, and have fun without all modern electronics because they depend on the physics you're disputing, and have fun trying to find water with your dowsing rod.
India managed to overcome this allegedly insurmountable American influence and have "the world's largest film industry in terms of film production"[1]. European countries would just rather take the easier route and bully companies into trying to force the matter instead of creating conditions that would allow it to happen naturally.

1: https://en.wikipedia.org/wiki/Bollywood
They were also ridiculously unreliable and had the tendency to just catch on fire. Acceptable losses in wartime. Not so much elsewhere.
Good point on KL divergence not being symmetric. For anyone who wants to quantify KL divergence in a way that can be used as a metric, look into Jensen-Shannon distance which is based on KL-divergence.
They're also paring down user-facing settings. It makes no sense to, e.g., send people to about:config for disabling web service workers.
As an American I really wish I had enough money to start my own ISP which had ground rules that all it'd ever be is an internet provider with the sole goal of continuously improving internet service.
Here's the problem: if you believe that what you watch have an impact on how you think, and you believe that the government should decide what you watch, then this democracy is less than ideal. Because the government then decides how masses vote. It's not a theoretical problem, it's a real issue in many countries, many people still watch TV to get their news and to decide who do they want to vote on.

You heavily tax burger joints and then suddenly some homeless or very poor person becomes more hungry, taco business blossoms, and some other restaurants with poor quality food become more common because there's unfulfilled demand for cheap food. Society is a very complex system and it's hard to make it stable if it's not self-regulating. You can do a lot of harm having the best intentions in mind.

Even with perfect, uncorrupted, most well meaning, very intelligent and highly educated government (hah), just the amount of information about all different complicated cases, latency of it becoming available to it, time needed to process it and implement necessary changes makes it very hard to provide sensible regulation in today's very quickly changing word.

I'm not even going full Friedman here, I see what you mean, I just don't think this approach works well on the long run.

Instead of taxing burger joints, maybe include more education about balancing healthy diet in place of shellfish classification in the school.

But if you want to move forward, you must let people who make good choices be rewarded and those who make bad choices be punished. That's why you give them access to libraries, fast food joints and alcohol. And any site on the Internet they want to visit. If you force your wisest part of society to act with what you decided is best for the majority, they will flee the country or just die there without fully exploring their potential.
Your priority as a developer, shouldn't be what is best for you, it should be what is best for your end user.
Our supposedly free choices are mediated by circumstance. Even in this apology (and really, am I supposed to be impressed with hearsay from a single woman?) one of the reasons is "I didn't want to enter a discipline that was overwhelmingly male."
> there isn't any sort of national standard

One of the criticisms of US public education is that too large of a fraction of the curriculum is spent "teaching to the test", which doesn't allow room for teachers to show their individual talents and design curriculum which really reaches the students. I fear that additional national standards would only worsen that trend.
Live feed of Twitter/Facebook Senate hearing
It usually means the main, default or preferred application.
I agree that following browser default behavior is more intuitive in general. I'm not a fan of scroll jacking.

I'd say apps skew towards mouse-heavy because controls are on-screen and therefore discoverable. It takes a good deal of product-market fit before you can count on your users knowing/caring enough about your app to remember keyboard shortcuts.

Most apps are grown by adding users, so optimizing for the new user is more important to the business until a certain level of maturity and market saturation is reached.

Applications with a dedicated professional user base can go deeper into power-user territory sooner since they can charge more per user, and new users expect there to be a learning curve.
Designers are probably dealing with white balance issues. Daylight changes colour throughout the day.

It's enough to throw off their work.

As a compromise you might try daylight balanced photography bulbs.

Consistent color but it feels like daylight.
Yes, but Firefox doesn't save the changes you make here to your account sync. Every time you install Firefox somewhere new, you have to change it again if you don't want to see sponsored content.
It seems absolutely ridiculous that we have been forced to such lengths just to get some quiet working space.
What wrong with that? Are you think that random reporter in random journal you read is way better expert on startups?
I was going to suggest we should hold competitions for turning Earth's CO2 in sugar as well, but then I remembered you can just plant seeds.
Am I the only one who thinks this is unreadable?

var on = !afind($(id), collapsed());
(on ? addClass : remClass)($(id), 'coll');

where

function afind (x, a) { var i = apos(x, a); return (i >= 0) ? a[i] : null; }

where

function apos (x, a) { return (typeof x == 'function') ? posf(x,a) : Array.prototype.indexOf.call(a,x) }

where

function posf (f, a) { for (var i=0; i < a.length; i++) { if (f(a[i])) return i; } return -1; }
Just because you can reverse engineer a binary that doesn't mean you work in cyber-sec. Just saying.
Fair enough... Then I'll stick to my original examples of Col. Bill Reeder, and Capt. Charlie Plumb.

Check out their stories on the podcast:

Charlie plumb: https://www.youtube.com/watch?v=2XgwpDnalZE

Bill reeder: https://www.youtube.com/watch?v=RHIxtd-oYTs
I think most old people goto the doctor because they are old and dying and need a doctor, not because they want a chat with a stranger in a sterile environment.

I also fail to see how charging people for nothing will help solve the problem of the NHS being expensive and not very effective.

Considering we have had a conservative government for the past 8 years I fail to see how this is Labours fault, the only reform conservatives suggest is to sell the NHS to their mate for a fiver, I fail to see how this could be potentially beneficial.
I love Firefox! The performance is great, it feels zippy, and I love their reader mode and straightforward ui.
Indeed, I didn't think it was a bad thing.

However, College Board (the company who administers these exams) sells it as "university-quality CS education" and people pay money to take them. So they sell AP CS as a college level class but my school looked at it and said "this isn't college level."

In general, I'm very skeptical of the quality of these AP exams and if AP classes are truly are college level (I didn't take any myself, my school didn't offer AP classes and I was a huge slacker in high school anyway)
I was going to ask about the availability of oxygen and sunlight.
Not cooling, but heat output, which the cooling system at idle cannot keep up with. As a simple example, you can retard the ignition timing enough on an otherwise sound car that the coolant will boil just sitting there idling (DAMHIK). The moral is, where the piston is at when the spark goes off makes a difference, as well which valves are opening when. Crank those knobs far enough toward the extremes, and you'll blow past the design limits of the cooling system. Yeah, your system used to be fine at idle, but now you fiddled with things. It's like the kids that throw a K&N air filter in their Civic and call it a day. No, ya idjit, you changed one thing and now you have to go change some other things to compensate. In this case, get a bigger radiator or a bigger fan.

Put another way, one does those mods to increase power output. Not all of the increased power is used to turn the wheels, a lot of it is turned to heat (just like a stock engine). More power, more heat, more cooling is required.
A magic feature of BASIC was that you didn't need to learn different editors to get started. It was based on line numbers, so the line number was how you added, changed, and deleted lines.

I could walk into a computer store in early/mid 1980's at the mall, spot a model of microcomputer I never encountered before, and could type:

10 PRINT "Oh no! Something is going to blow! Run!"
20 GOTO 10
RUN

Then scurry off while snickering.
There's another aspect to the sheer insanity of the period that probably would be worth exploring, if only it were possible.

People were so mentally numbed and damaged by the carnage of the first world war, that the second world war was put on track by the leadership that had survived the carnage.

But looking at engines like this, and knowing that they ran on leaded AvGas, and knowing that leaded mechanization was the norm, you wonder if the psychotic leadership was actually an expression of lead poisoning from environmental factors. Just like all those crime curves that trend according to leaded gasoline bans, what if front line WWI veterans were driven psychotic by frontline exposure to heavy metals through exhaust fumes?
This is sad.
Yeah, it's nice to be able to date and bang co-workers
Which account, as I've documented before, is insecure; you should not have a Firefox account and should not store passwords, browsing history, bookmarks or any other privacy- or security-related data with Mozilla's system.

(short version: Mozilla can target you with a small piece of JavaScript to steal your password, then use it offline to decrypt your data)
Why don't they just give Dave Chapelle 1B and his own live streaming app? Dude is the best short content creator out there.
But where is Webpack??? Why aren't they using ES7 decorators and lambda syntax? Each one of those functions should be broken out into its own separate source file and they should be using classes, not functions. For the love of god, how do they trust this code will do the right thing without the obligatory type safety of a shoe-horned type system?

And what is with this code returning false for everything? Everyone knows you're supposed to return JSX wrapper in another DIV in order to talk to browsers!

Lastly, how could they ever expect this solution to scale? I bet this is only slightly worse than okay for a hack-a-thon but hell would surely freeze over the minute a single user was forced to use it!

It's a maintenance nightmare. It's far better to start with some webpack + react boilerplate. Each one of the dependencies means that someone else is maintaining the code, so you can wash your hands of that responsibility and sleep well knowing internet elves are maintaining your web app!
Very likely, you just stay in jail until you remember. Or whatever the maximum is, if there is a maximum.
It's better to rent than to buy in today's housing market
Designed by Apple in California (2016)
I suspect it's simply "one less thing to worry about when we sync with the cloud".
Coinciding with this release, Firefox 52 ESR is no longer supported, so no supported versions of Firefox support the legacy extensions.

I'm mentioning this here just so I can tell Vimperator / Pentadactyl / VimFx users that there are loads of options you can replace your old extensions with, some of which are... okay.

Links follow in increasing order of user-friendliness:

https://github.com/tridactyl/tridactyl [^]

https://addons.mozilla.org/en-US/firefox/addon/surfingkeys_f...

https://addons.mozilla.org/en-US/firefox/addon/vim-vixen/

https://addons.mozilla.org/en-US/firefox/addon/vimium-ff/

[^] Disclaimer: I develop this one. If you've tried it before in the past, now might be a good time to try it again. We've just pushed out a release that moved quite a lot of code around, hopefully eliminating a whole class of bugs, especially relating to ignore mode and multiple windows.
Ask HN: How are you handling offline-first data?
Are you using a specialized database (Couch/Gun)? Rolling your own sync logic?
My guess would be that the successes are Germany and Japan, and the failures are everywhere else.
The low hanging fruit has been picked and we’re waiting for the next technology trigger. My friend said to me recently, not only are all the good ideas taken, but so are all the bad ideas.
One of the sources of bloat may be not just apps, but also extensions.

E.g. I see the Okta authentication extension (which is a required part of work setup) spending nearly a hundred megs after prolonged usage in Firefox. Mong other things, it appears to allocate a lot of identical strings (like 500M of them), likely by a thoughtless `substring` call somewhere.
I don't believe it's a very good idea to start reading "god-mode" texts in a foreign language until you can get to something resembling a smooth reading flow. A couple of new words per page is ok, a couple of new words per sentence isn't. One of the keys is to NOT look up every unknown word. You'll figure out which ones you need and which ones you don't. Next important secret: Don't write down the words. Instead, reread the pages a while later, and see if you can remember it from the context. If not, look it up again.

Anyway, until that stage flashcard based methods are faster and I find it easier to stick with that.

I recommend "Decipher Chinese" for beginning to advanced Chinese learners. Also Duolingo has a nice conversational-based course, though I recommend using something else to get a grasp of the first maybe 400 characters. You need to know how characters work. You really need to write them with your hands, either with pen and paper or on a tablet/phone. My theory is that this is necessary for an efficient "neural encoding" of Chinese characters. They are designed to be written in a certain way, as if you had a wet brush in your right hand.
i dig the "tripadvisor for X" model. it worked for glassdoor. maybe you too can exit for $1b.
This hasn't been my experience, at least in SF. The so-called political monoculture is heavily reason-driven, inclusive, and expressive.

This might mean that people whose views are exclusive are excluded from evangelizing those views. The reasons for those are better expressed by Karl Popper's essays on the tolerance of intolerance.

So you can't be against gay marriage or sex before marriage, and be for the suppression of expression. But that's a good thing for the reasons that Karl Popper brings up.
I get completely unlimited LTE data (but no tethering) for $55 a month in the US. These plans exist if people are willing to look.

Edit: removed population density comment because people were inferring an argument or defense from it, when that was not the purpose of it.
That is pretty impressive, especially at that price level. I wonder how much effort it would be to hook it up to a Gameduino 3.
Who are you? Me?
I was always intrigued by the word antitrust. It was first used in 1890 in the US. Is it possible that someone screwed up and didn’t realize the word for this is distrust?
Yeah, basically. They'll come up with a trust system of some sort that either, you can't afford that will be like EV certs, or they'll make a generic way to paste over the URL that anyone can use, and hence, will still be phishable.

Either way, it'll insert Google into another part of navigating the web and give them more control of the Internet.
Also, weren't they on the top floor with a glass ceiling? Direct sunlight glaring down on me is very annoying, but sunlight that has reflected off of the grass or filtered through the trees outside my window is fine. It not all coming from the same direction, and all the infrared has been absorbed.
Not full lists but:

Successful: Japan, S. Korea, Germany, Grenada, Panama

Unsuccessful: Iraq, Afghanistan, maybe a lot of S./Central America depending on how you define nation building, Vietnam, Cambodia (sort of)
Definitely biased, but here are some anecdotes/thoughts:

- I've found the rigor to be significantly more than most MOOCs, inline with other traditional grad courses I've taken.

- Some classes are hybrid, sharing the term with on-campus students.

- Not having finished the degree, my work as a data scientist has significantly benefited from the coursework. This is not to say that it wouldn't have benefited from other, non-GT coursework.
Thanks for the great rundown of some factors! I would like to take issue with just one part:

> Very few people at that level would want to relocate for any amount of pay, hence a shortage.

I'm not sure if you're using hyperbole or not. But I'm guessing that if you paid $1 million USD / year, there would be no practical shortage of data scientists willing to live in Podunk, Iowa.
I could well find out I'm wrong in retrospect, but I think part of that is that the low hanging fruit is just gone.

It means once you've made it there's a barrier to entry that keeps you protected, so you may as well go big or go home.

I pitched a startup idea today to an accelerator judging panel. There were three distinct software components to it, each quite complex in the detail and I had three minutes to cover the lot because they're flooded with candidates even after the first sift throwing 80% away. Yet, comparatively it feels quite simple - no AI or ML involved or highly regulated areas.

I might go and find a pong clone to play to cheer myself up.
5Eyes includes nations other than the USA (4 of them), so the constitution need not apply.
A trust is a thing. Antitrust is a contraction of anti-trust.

https://en.wikipedia.org/wiki/Trust_(business)
I am also struggling with bad habits. I guess it really depends on the habit, but the closest thing I've found to a 'hack' is not really a hack - it's the same concept that drug rehab centers use to get people off of addictive substances. That concept is complete removal or isolation from the bad habit, and surrounding yourself with people, so that you would feel shame if you continued the bad habit around those people. During this 'social' confinement period, you realize that you didn't need to do that bad habit in the first place.

Obviously it would be sort of difficult to apply this concept with nail biting, but to give you an example, I really struggle with eating food in the middle of the night. So what I noticed was, after I took a week-long vacation to another country with family, and due to hotel circumstances, had to share the same hotel room, I stopped eating in the middle of the night (wouldn't want family to see me gorging on shit while they are trying to sleep at 1:00 AM and suffer the shame of that). For 7 days I did that, and it was just long enough to come back home and continue that momentum, because after day 5 I started wondering why it was so hard to stop doing that in the first place.
Youtube on Firefox for me is awful. I get constant buffering on 1080p+ content. Chrome is flawless. I have the same extensions on both browsers, curious if anyone else has experienced the same recently?
There are significant logistical differences between the US and Switzerland.

One has 327 million people and an area of 9.8 million square kilometers (36 people per Km2). The other has 8.4 million people and 41 thousand square kilometers (216 people per Km2).

Switzerland has one of the highest and fastest internet penetration rates in Europe. If you rent an apartment, cable is often thrown in as part of the cost. The rest of the people's landlines are ADSL (which isn't very fast unless you use the latest ADSL2 dslams), or VDSL, which you can only get if you're very close to a CO. Finally, fiber is easier to roll out when you have a smaller population in a smaller area.

Most Americans cannot get VDSL, and the DSLAMs are old. Cable is pretty fast, and fiber is slowly getting rolled out, but it's a big freaking country, meaning this is expensive as hell.

The mobile providers in Switzerland only have to provide a very small number of broadband equipment and mobile towers compared to that needed to cover the US. Also, the same equipment used in Switzerland covers up to 6x more subscribers, because of increased population density.

The US has to provide much more equipment and installation over a much larger area to cover a comparatively smaller number of subscribers. So you have to literally buy more equipment to cover more area, and then you make less money because the equipment covers less subscribers on average. Upgrading the equipment then also becomes significantly more expensive.

One is extremely expensive, time-consuming and difficult to cover with high speed broadband, the other is not.
Dark Energy Might Not Exist After All, Physicist Says
It is NOT, is cool that you love Clojure, Scheme or Common Lisp but LFE is not a re-implementation of any of those things nor envy any of the features on them.

LFE is a clean, beautiful an proper Lisp for the complete BEAM ecosystem.
Isn't TCP a lossless protocol? I thought it ended the session if the packets were dropped.

Edit: downvoted for asking a question. Thanks reddit.
That makes no sense to me. There must be some mechanism for accessing messages. Whatever that is, it's those credentials that you'll need to produce. Or rot in jail indeterminately.
Haha, the author is quite funny, citing competitive countries that are neither particularly low taxes (relative to salaries) nor in lack of a reasonable welfare system - but, and that's the point, with lower salaries and much lower purchasing power. It reminds me of this 2005 article in the Brussels Journal (https://www.brusselsjournal.com/node/510), putting Spain as a growth model against the Scandinavians :-D I guess that if the author would analyze their own messages more critically they would then conclude that welfare or not, what is not sustainable is fast growth grounded on weak foundations.