skysight-inc/HackerNews huggingface dataset:
> people feel like they already don't have [a perfectly free Internet where everyone has a voice], why would they care about net neutrality?

The Internet is dominated by Tech Giants, but deregulating ISPs will probably only make the problem worse by allowing Tech Giants to set the price for preferential treatment by ISPs, thereby raising the barrier to entry for competitors and raising prices for regular consumers.
"The government is the people. It's a particular disease of the American public to believe otherwise."

1. I'm not sure it's a great move to decide that people who disagree with you are wrong, or "diseased". (Obviously you're using the word disease metaphorically. Still, I think it's a bad attitude).

2. I'm not American.

As for the rest of your comment, I didn't say anything about the efficiency of bureaucracy. I'm not sure anything you said refutes anything I said.

"That is, minority influence should be proportional to people involved, not money spent."

I'm not sure that's a great measure. Minorities are by definition smaller groups of people than the majority. If the minority wants something the majority disagrees with (e.g. civil rights movement), then if we're weighting simply by the size of groups, then the civil rights movement probably wouldn't work. We should be also weighting by how much each group "cares", and money is, to some extent, a measure of that. Not that it's a perfect system, but is there a better one?

Btw, this is why democracy isn't just about majority rule - it's considered fundamental to democracy to also have minority protection and similar. Otherwise minorities would always lose.
I would love to attend if it's on Dec 10th-12th, as I'm in town, visiting. :)
Sadly, flat-earth believers will then claim that the ships aren’t being obscured by the curvature of the earth - rather, supposedly, it’s just that one needs to use a lens to zoom in due to the vanishing point: http://www.ign.com/boards/threads/evidence-for-the-flat-eart...

Of course, it would be easy to test that theory: keep magnifying as the ship sails away, and if the ship is still appears to sink, then the vanishing point explanation is a non sequitur.
My HN username at gmail if you want to keep me posted :)
> I believe protection against abuse of top-down policy is what the 2nd amendment is for, no need to pollute the globally-efficient distribution of goods and services with redundant efforts.

I wonder how many unfair taxes have been repealed by the capacity to bear arms in response to them in the US. Examples of taxes that would be deemed extremely unfair by the recipients include soda, alcohol and tobacco taxes.

> If you would describe most of the populace as imperfectly rational (I would, and I acknowledge my own contribution to that) then it seems irrational to support policy that depends on a perfectly rational populace; like a policy that depends on a nationwide constant temperature of 72 degrees.

I'd like some more concrete examples of what you are pointing at. Classic economic models accept entirely that people are not perfectly rational, its just they tend to be for the majority of circumstances in aggregate. This is no secret, not even to Adam Smith, and that was centuries ago.

So what policies are you talking about? The state deciding what your diet should be, how your savings should be, how your work time should be, etc?
But how do you free working memory when you're done?
What do you do about multiple languages? Hiding a speech-2-text dataset in English in the app is one thing, hiding several in multiple languages would make the app bloat.
> without giving the mold to someone

It's possible they could be called up to retrieve the specifications and possibly the mold. It's not necessarily the case that they've destroyed or lost track of them. Notwithstanding that, it's a vacuum vessel, there are only so many ways the gasket could be designed. I'm not qualified to design a part like that, but surely there are many people who are.
It's hard to compare the numbers though. Autonomous cars work 24/7, so you definitely need fewer to provide the same coverage as human taxis.

How efficient it will be though, we still don't know.
Uber/Lyft outnumber taxis 4 or 5:1 in nyc
IQ is, as far as I know, a pretty strong predictor of success in life (be it financial, educational, health-wise or longevity).
Matcha: Mobile apps in Go
I don't think I've ever read anyone babbling on about white people being superior because they invented technology, that's a a new one for me honestly.

The article was pretty rambly and I have to admit I just skipped a bunch of it. My takeaway was he pretended to be a furry nazi for a while and discovered a bunch of idiots believing in idiotic shit then had to write a bunch of idiotic shit about his 'traumatic' experience listening to idiotic shit.

Furry nazis are pretty fucking hilarious though. I wonder if they realize real nazis would have executed them for their sexual attraction to cartoon animals?
Yes, Firefox has transitioned to the new WebExtensions API for add-ons. They first announced the transition over two years ago and Firefox 57 is the first release to disable the old add-ons API:

https://blog.mozilla.org/addons/2015/08/21/the-future-of-dev...

Before Firefox Quantum's release there were around 21,000 add-ons available on https://addons.mozilla.org/ and as of right now there are 7,002 add-ons compatible with Firefox Quantum. Almost all of the top 20 add-ons have made the switch to the new API.

So I'd say now is a good time to build an extension for Firefox. The transition to the new API model is complete, there's lots of room for new add-ons compatible with the new API, and more APIs will be added with each new Firefox release to enable more features for WebExtensions:

https://blog.mozilla.org/addons/2017/11/20/extensions-in-fir...
Russian president Putin signs foreign agent media law to match U.S. action
If you replace your ICE car for commuting with an e-bike,then that is an entry into electric.
The problem is that many AVs are not tested well, and prone to actually making you more vulnerable by bugs in their analysis code.

Basically, think of receiving an email with a malware attachment. If you have good hygiene, you won't open it yourself. But your AV will open it to 'scan' it, and that gives it an opportunity to compromise it.

Add the fact that most AV runs with high privileges and is not sandboxes, and this is a pretty bad state.
An iPad should be just as secure as an iPhone, right? I'm sure that's much more common and an easier sell than a Chromebook in D.C.
The comment that you were replying to didn't mention anything about "asking to send back bug reports."
> 4) "Deo is a union Millwright and a 12 year member of the Furry Fandom who spent 6 months infiltrating multiple Alt-Right and neo-Nazi online groups observing and recording how they recruited, organized, and operated." -- laughable. "Infiltrating" = joining a few discord servers and posting on 4chan. Got it.

I mean I'm the first to laugh at Furries myself but how else would suggest infiltrating and online community other than by joining the community online?

Clearly whoever posted it and whoever is upvoting it finds it to have value. I wonder why it's enraged you so that you feel the need to say it's completely worthless.
Is this repeatable though? It seems like this could be explained by a combination of the Frequency Illusion / Baader-Meinhof Phenomenon[0] and the Birthday Problem[1].

That is - it is possible that the reason you were discussing the topic is the same reason that advertisers were targeting that particular phrase at that time. The Frequency Illusion could explain why you noticed that particular ad and why you were surprised. Also you presumably discuss topics all the time that you don't see ads for, but the probability of seeing an ad for any of those topics is quite high (the birthday problem).

[0] https://english.stackexchange.com/questions/153166/what-is-t...

[1] https://en.wikipedia.org/wiki/Birthday_problem
There is no way to determine what 95% of the community want for the future of Bitcoin. There is no community voting in Bitcoin. Only miner signalling. People can stop using Bitcoin after a change but there is no way to get their opinion in advance.
FREAKY DANCERS
There is(was?) a game for the iPhone:

https://itunes.apple.com/us/app/beer-distribution-game/id611...
> inbuilt native DOM nodes and custom DOM nodes from JS code

What does that mean? What are "inbuilt native" DOM nodes, or "custom DOM nodes"?
They are drowning in calls anyway. They are long past the point of trying to find structural issues from service calls.
The basic issue lies with `decidability'. Generally we want type systems to tell us whether our program is well typed.
However as your type-system becomes `too expressive' it starts to become much harder to determine if a program is well typed.

When finally a type system becomes so expressive as to be Turing complete, you get 'undecidable types'. Those are the types that correspond to undecidable programs for Turing machines.

A consequence is that any `sound' typing system will have to reject some programs that actually are `well typed'. This is why many type systems have a "Just trust me, this is fine" option. Like casting in C/C++ and unsafe in rust.

To fully eliminate those "Just trust me" and still accept all well typed programs you'd need to accept potentially never ending type-checking (or else you'd have solved the halting problem).
You seem to have a reasonable level of self control. I'd recommend abstaining completely for a full month to gague your addiction level (e.g. if you can't make it a month your problem may be more serious) and also get a better idea how you feel, behave, sleep and perform without alcohol. From there maybe you'll be in a better position to plan how you want to treat alcohol in the future.
> but it is still the best measure of consensus and support the network has

is it? another measure is futures trading. 2x futures traded at ~%15 the value of btc immediately before the cancelation.
I do not think so. I changed from iterm2 to tmux (+ terminal.app/st) for two reasons:

(a) Same experience in all machines, Linux or macOS, local or remote
(b) You can send keys from one terminal to another, so you can create complex interfaces with specialized windows

Out of those, I have not find any good reason to drop iterm2 for tmux locally.
Hopefully the central part of your comment isn't lost amidst the rest of the discussion as I think it's realistic and practical advice:

"Just put a system in of deferring first drink, going to bed s bit earlier i.e. Before the last drink, and ensure you have a glass of water and a cup of tea between each glass. That'll reduce the amount you drink by s glass or two."

Have less wine/alcohol easily accessible in the house. Make sure alternatives are readily at hand (e.g., large water glass and jug for refills on your desk). Try to get into the habit of drinking a full glass of water before you next top up your wine glass. Never fill your wine glass beyond a certain point. Maybe try to find half-bottles so it's less likely that you drink more than half a bottle in a night?
I'd be very interested in reading a longer-form blog / comment on this, if you ever feel like writing one.
>>I feel deranged pointing this out, but hiring triple the headcount you need to run your business is not a progressive social value. I don't know what it is.

To me it feels like a byproduct of an overemphasis on a certain kind of inclusiveness, in which people are elevated based on how long they’ve been around and how much buyin there is into the mission. Everyone’s opinion is valued, everyone wants resources, everyone wants to be promoted. If there’s not money constraints or a sense of practicality driving decisions, everyone gets headcount and promotions, driving bloat.

My last job was with a very mission driven startup. We were short on money so headcount wasn’t bloated, but we were plagued by “managers” with no one under them who’d been around since the beginning and didn’t contribute much. The product drifted, and we wasted a lot of time.

I switched to a new, more unapologetically capitalist company, and my team has been subject to some absolutely cold blooded re-orgs. It’s a much less friendly place, but much, much better run in terms of getting stuff done.

Not sure what the moral is. I made some great friends at the first company, not so much at the second. But the new place is in many ways a much less frustrating place to work.
Isn't there a law of UX that the viewport should be large enough for the user to see the article's text? I can see like half a paragraph between the top stuff and the bottom stuff.
I'm all into the "switch firefox on again" and removed my chrome from my quicklaunch. It's fast as a browser should be, and I trust mozilla a lot more than google.

Yet, webkit/blink powers today a lot more than google chrome. I think headless mode & nodejs(v8) integration (e.g. nwjs/electron) is still a major missing feature to call it "a browser build for 2017"
Here’s the Strategy Elite Athletes Follow to Perform at the Highest Level
Around 1997 for me. Redhat 5.0 was my first distro, if I remember correctly...
It depends on what region you are in. Guy in the UK I think means male as in Guy Fawkes. In the USA, Guy is often genderless except in the south where gal can be used without being very awkward. In general, you should just steer clear of the word, however, as opinions about it are diverse.
Oh well thanks, YSFEJ4SWJUVU6. If anyone ever questions about IQ I'll be sure to refer them back to you.
Measuring outcomes is a pretty standard flow and is aggregate. What rich people do is irrelevant as most people are not rich.
Facebook, Zillow(I think), Twitter, Shopify, eBay, to name a couple
Firefox has headless mode.

I'm not sure why "use the JS engine from Chrome" is a good requirement for a non-Chrome browser, or what do you mean by "nodejs(v8) integration"?
DOM nodes not declared in the static HTML? Not that that makes any more sense as plenty of these are implicit.
To my eye, most of the items on that page look pretty mass-produced or mass-produced + a personalization step. There's nothing wrong with that. I sometimes buy mass-produced "craftwork." Just because a wind chime (or whatever) is produced in a factory at some scale doesn't suddenly make it ugly. And it's not like the average thing being sold at a genuine craft fair is attractive.

That said, I have too much stuff and I just tend to be uninterested in buying more even if there's nothing wrong per se with individual pieces.
This article has been previously posted in HN:

>DUPE: https://news.ycombinator.com/item?id=15766719
> I personally would consider this as a clear example of a huge flaw in a specification where a correctness proof was done on.

Awesome, thanks for the recent example. My point is people seem to always bring up that specifications may have flaws as if this makes verifying code pointless. The guarantee of correctness is still an order of magnitude better than e.g. using unit tests and I'd wager it isn't common that specifications are wrong in a critical way. It's difficult to make a mistake specifying that a program should not have buffer overflows and out of range errors for instance.

The WPA2 flaw is an example of a specification missing an important property as opposed to a property being described incorrectly. People seem to jump on the latter the most I find as if it's common.
Try set "ui.key.menuAccessKey" to 0 in "about:config".
Anyone interested in a Dutch meetup? I'd be happy to help host and I live on a boat (so I can move the meetup to wherever the people are.)
I've had several interesting bouts with alcohol. I've flirted with that line of high functioning alcoholic. Because it's one of the few things that alleviates my migraines.

I've gone dry for several periods of my life. I've actually spent more time dry. What brings me back around, is increase in migraines. Which usually goes hand in hand with stress levels. At work we have a full stock bar. I was at the point I had to take drinks several times a day, just to keep from exploding. That's where my line of, I'm an alcoholic or very close to that point. I need it too function, and get through the day. But at the same time I can look at my life, and say I only drink heavily during small portions of my life. You have to give yourself small wins on occasion.

I tried stopping this year. But that didn't really work out. Again stress, and disdain for my job and long hours. So I cut back from a bottle every other night. To one a week, to one every other week. To finally, just two singles when I'm out with my friends.

Taking a while to get here. But cutting/reducing. Depends largely on what works for you. Or why you're drinking. The two other times I went dry. I just flushed all liquor down the toilet, and said nope. I can't do that now, and I found beating my self up over relapsing. Led to a further spiral.

So I gave myself a very strict budget for alcohol. I loaded up a visa card, and it was enough for two mid-range bottles. That was the first step. Slowly weening off that dependency. Then like you I enjoy the taste of a nice cocktail. So I switched to teas, and sparkling water at night. There's a lot to be said for a nice mock tail. For the first few weeks, when I went out. I left my debit cards at home. I brought enough cash for two drinks. So at a more difficult time in my life. I need to be more stringent with myself. I know I can't stop right now, despite wanting too. But as noted count the small wins. How you curtail this is dependent on each person.
There is a “forget” toolbar item (which you probably need to add from the customise menu) which makes it very easy to clear history and cookies
I meant as compared to other providers, which is what he seemed to suggest. Also my government provides health insurance.
11 points and 2 comments isn't much attention/much of a discussion.
Yup. I hate how online matchmaking these days has made away with the community feel that picking your own server provided.
Eric Evans' "Domain-Driven Design: Tackling Complexity in the Heart of Software" book is long and pretty dry, but it's immediately practical and opened my mind to how object-oriented design is supposed to work.

https://amzn.com/0321125215

https://en.wikipedia.org/wiki/Domain-driven_design
"The Architecture of Open Source Applications" Volumes I & II http://aosabook.org/en/

"Manifesto for Agile Software Development" https://en.wikipedia.org/wiki/Agile_software_development#The...

"Catalog of Patterns of Enterprise Application Architecture"
https://martinfowler.com/eaaCatalog/

Fowler > Publications ("Refactoring ",)
https://en.wikipedia.org/wiki/Martin_Fowler#Publications

"Design Patterns: Elements of Reusable Object-Oriented Software" (GoF book)
https://en.wikipedia.org/wiki/Design_Patterns

.

UNIX Philosophy
https://en.wikipedia.org/wiki/Unix_philosophy

Plan 9
https://en.wikipedia.org/wiki/Plan_9_from_Bell_Labs

## Distributed Systems

CORBA > Problems and Criticism (monolithic standards, oversimplification,):
https://en.wikipedia.org/wiki/Common_Object_Request_Broker_A...

Bulk Synchronous Parallel: https://en.wikipedia.org/wiki/Bulk_synchronous_parallel

Paxos: https://en.wikipedia.org/wiki/Paxos_(computer_science)

Raft: https://en.wikipedia.org/wiki/Raft_(computer_science) #Safety

CAP theorem: https://en.wikipedia.org/wiki/CAP_theorem
Thanks, I think this is a good example of what I'm looking for.

One key ingredient is the presence of a logic inference engine (and not for type inference only, as in Coq, Haskell).

- If your system doesn't have a logic inference engine, it's a vanilla proof-assistant (Coq).

- If it has one, it's one of two:

- a partially-automated theorem prover, (Isabelle)

- a fully-automated theorem prover

P.S.: Wait a minute. It just occurred to me, is Coq using its Hindley-Milner Type Inference engine as a Logic Inference engine for verifying constructed proofs of theorems and propositions? (is that the killer idea?)
To me, “if you can remember your password, it is likely not strong enough“ — conflicts with suggesting it is okay for a user to use “a six-digit key code” on their iPhone.

Any thoughts or clarifications?
probably a backend or binding or whatever they call it for node in the same way ChakraCore from Microsoft can be.

https://github.com/nodejs/node-chakracore
The complaint was confusing to me because it didn't call out where the error was. The word "use" appears early on, so it looked like the complaint was incorrectly calling out a disagreement in plurality.

(Didn't downvote, but I did spent a good minute trying to parse the problem.)
Interesting paper, but as a former basketball but, I disagree with the premise that free throws have anything to do with a "hot hand."

To me a hot hand is only something that can exist in the flow of the game. It is not about making shots. It is about making contested shots and quick decisions. A player with a hot hand is one that is feeling especially focused and confident for a specific period of time. Ideally a player tries to hold onto their focus and confidence for the entire game, but unless they have a Buddha-like nature that is just not possible.
They're right to think so. The big 4/5/6 etc. are politically charged and smart enough to cover their tracks. Comcast is so ham-handed they'd leave a fluorescent blood trail if they even thought about pulling something.
> The difference is that the markets are entirely different. It's possible to have a Facebook-like system with no Facebook-like entity in control of it, the canonical examples being email or the web. It's not a natural monopoly.

Many different things give rise to natural monopolies. High fixed costs and strong economies of scale tend to give rise to market power among utilities, while for something like Facebook, network externalities give rise to market power. The two kinds of effects aren’t categorically different. They’re both just features of the market or products that enable firms to exercise market power. It ultimately boils down to a question of how much market power can a firm accrue before government intervention is justified.
I liked his diff colour scheme. I don't know if it's because of the assertions he made or not but I found it easier to see the difference. I'm a little bit colour blind though. I'm pretty good with very green and very red things but lighter greens and reds get kind of murky for me. I don't really like looking at green and red together though. I find it hard to look at it kind of hurts my brain to stare at it for too long.
> Code verified by legible proofs is safer than merely verified. The quality of the verification language matters, it's not only the programming language.

If the specifications are human legible though, why do you care if the proof (which is checked for you by the machine) is legible? The main point of formal methods is to remove any doubt there are errors in the proof so it's an order of magnitude safer than relying on a readable hand written proof.

If you want a formal proof that is as readable as a hand written proof, you'd have to rely on a lot of automation going on in the background as every proof step must be traced back to basic axioms so complete proofs are pretty much always going to verbose and unreadable.
My father drank a lot. He quit after he left the army. I think he drank to suppress nightmares and he was able to quit -- without any kind of program, like AA -- once there was no threat of returning to a war zone.

I also have known people who were apparently drinking to treat some undiagnosed medical condition and drank less or quit drinking after the condition was properly treated.

I think it would help to assume you have some reason for drinking so much. Now you need to figure out why that is and try to solve the underlying problem.

I like the book "The truth about addiction and recovery" as a resource.

Best.
No? Looks fine to me. I use it every day.

There is also the Mac-first versiom, MacPass: https://github.com/mstarke/macpass