skysight-inc/HackerNews huggingface dataset:
As the linked article in parent post points out, this was an open problem in CS for 12 years before someone came up with the tortoise and hare algorithm. You really expect a candidate to come up with it from the top of their head, in a few minutes, during a stressful interview?
Multi-platform interface matters
Take a look at the Glowstone configuration docs here:

https://github.com/GlowstoneMC/Glowstone/wiki/Configuration-...

It says for the "allow-flight" option that the default is "false" and it's "Currently not implemented."

I tried setting it to "true" anyway, but it still didn't work.
I'm the same way. My instinctive reading of a 5 star system maps it onto a bell curve. So if I received exactly the service I expected, with zero complaints, that's obviously a 3 out of 5. 5 stars means two standard deviations above my expectations. It feels to me like a company that gets nothing but 4 and 5 star reviews should be taking issue with their marketing department for setting expectations way too low.

But in an Uber, giving less than a perfect score can get someone fired. So it's 5 stars unless the driver literally spits on me, and then it might be 5 stars and a complaint. Anything lower than a 5 star rating feels unethical, like stiffing a waiter on a tip.

What I can't figure out is how this is of any use to Uber. They have created a "metric" where a large chunk of their customers regard answering honestly as a social faux pas, at best, so what do they think they're measuring?
actual bitcoin is based on network consensus. And Segwit2x had 80-95% consensus.
It's pronounced like "cock". It's named after the animal, and that's how you say it in French. It's how people who use the tool say it.
The grugq (Nov 20) on campaign information security: https://medium.com/@thegrugq/campaign-information-security-f...
Weekend Watch: Metalworking with This Old Tony (2016)
I had to take such a formal proofs course too, just with a different tool that had even steeper learning curve and rough edges (prof used us as alpha tester of his new tool), and came to the same conclusion as you. It seems very valuable to formal proof specific small sub-sets or rather critical components like device drivers, like e.g. Microsoft is doing it for some time. I am sure it will become more popular, when the tools and languages get more mature and easier to grasp for average joe developers in the next years.
I'd be more sympathetic if there weren't examples of Mozilla explicitly fighting against features supported by the other vendors. The classic example is Web SQL, an immensely useful API that Mozilla fought hard against and successfully lobbied to kill off. Chrome and Safari still support it. So for a wide swath of problems, you can either use WebSQL and drop FF support or hack around with a slurry of third party libraries and inferior APIs. Should all web developers be restricted because a vendor with relatively small usage insisted on not supporting features?
"It is easy to see that they will eventually meet on the cycle. Once that happens, it is easy to count the cycle length."

Is that so?
How does one get the system to actually use the IPv6 Temporary Addresses?
Who said it was his job on the line if he didn't? Quite frankly, it was his choice to engineer the cheat, whether he was ordered to by threat of employment or not.
Highlights for me:

- Written in Rust. Cool.

- Cool marketing.

- Cool name.

- Online only. Not gonna trust my passwords with anyone, sorry (even encrypted).

- Good (upcoming) crossplatform support.

Looks like they are competing with LastPass and not the 1Password (Desktop) and Keepasses of the world.
I did! for me it was hidden in the bookmarks menu. When I imported bookmarks from Chrome, it grabbed passwords and history as well. This would have been a blocker for me as I don't really know any password.
Thank you for this. I really appreciate the effort in describing how Sweden did their internet connectivity: it's worth mentioning that Sweden has or at least had one of the fastest average speeds per capita in the world.
What is clunky exactly about tensorflow's architecture?
That would violate point 5 of the Mozilla Manifesto.

They can interpret that however they want. For example, you can always "shape the Internet and [your] own experiences on it", including removing any blocking, adding things they remove, etc... just get the source code for Firefox and make all the changes you want.

It's all a bunch of vague marketing doublespeak anyway, with around as much power over what Mozilla does as the US constitution has on the US government.
I think browser makers (or whoever it needs to be) should offer an option to save battery over a little bit of extra bandwidth. Maybe even make it the default.
Interestingly, it's been updated to fix those since you wrote this. Someone is paying attention.
This is a much more articulate version of what I posted and should be taken very seriously.

The reason citizen movements so often lose out is because they are able to gather momentum for a one time event, but they are fighting against group with paid staff (not a slight just a reality) who do this full time. They are there on the same message every day.

I have worked with several activist groups that can't get the 'on message' part down and can't figure out how to apply it consistently and clearly. The same ideas about vision->strategy->tactics applies the same to activism as it does to a startup.

It's the different between the grand canyon and a really big rainstorm.
A Callout: Parts for an Iron Lung
i was going to make a similar comment but this sums it up very well.

CS papers work best when dealing with very specific, nitty gritty areas that require research after defining a hypothesis or problem to solve.

'Software architecture' is fairly broad and papers on those topics would read more like sociology papers than CS papers (e.g. how do people write code? here are some examples, here are some general patterns people like etc).

Looking back on reading that sort of stuff, it was nice but I very rarely apply it in day to day software development compared to readings that are more niche to the problem I'm solving that week.
How we express our opinions in a democracy needs to re-engineered. It needs to be secure and it needs to matter. Comments anybody can make and that are easily ignored are relatively useless.

The powers that be aren't going to fix this. If the voters had real, direct power, the lobbyists would not. And you can't put the voters' money directly into your pocket.

So we have to do it. We need to create an open-source, secure and low cost solution that shadows an existing state legislature and does a superior job for the voters.

And California is the perfect state for it. Let the voters decide the issues or let them "elect" anyone in the state to exercise their vote for them. Use proportional representation. Vote any time. Elect any time.

Once this system is proven, voters can decide whether to DUMP the California State Assembly and let the State Senate create and debate all the bills. Then we make it work for all those who can't use or that don't trust the Internet.

Once adopted, the same system can be rolled out in other states and maybe some day it will replace the House of Representatives.

People have to see it work small before they trust it big.
The one under the Louvre is actually rather small (I now live near a reasonably large one, SLAC). But I'll see if I can check out MAMI when I am next in that area!
The internet already lost its neutrality
For years the lingua franca was French. (In fact lingua franca is an Italian phrase meaning "French language".) And based on experience, I believe that French is easier to learn.

The transition to English only happened after the British Empire became economically and politically dominant. It retained its importance because as England declined, the USA became one of the two world superpowers.

The big win of English is not that it is easy to learn. We often have parallel words for the same thing (eg earth vs dirt). Words that would be related in any other language aren't (eg cow vs beef). Attempt to read http://www.i18nguy.com/chaos.html aloud if you need further convincing.

The big win is that the people you most want to talk to already speak it.
I don't disagree that some of the executives should be face similar, perhaps even harsher, sentences, but just "following orders," even under "duress" does not relieve a person of responsibility for their actions. Someone telling you to do something illegal does not suddenly make it legal.

Ethics is a big deal in many engineering disciplines, and breaking those ethical codes can cost your your license in addition to facing legal consequences.
> Peter Thiel seems to be determined to destroy society.

Lmao, why do you say this? Besides being Pro-Trump (which is pretty bad), does he have an active role in any ventures that makes you think he wants to destroy society?
Yuck. :(

Sellers need a “Maker Strike” like YouTube channels to keep folks honest. Also, raise the bar such that sellers have to put in mental, creative and time investment and are cut out if they repeatedly sell junk. Can’t just sign up as a seller the same day and spam stuff from AliBaba and say it’s “handmade” or “vintage.”

Next, have a buyer to seller/creator feedback method that influences item ranking so junk is pushed down and out.

Maybe use AI/ML/DL to spot product descriptions and images that are copied or similar to determine if items are new, mass-manufactured products... and, sure have an appeals process.

PS: My disabled mom makes handmade jewelry that people beg to pay money for, but I’m hesitant to recommend Etsy considering the diluted execution of the original business model.
I mostly agree.

A simplified formula is: upvotes / time^2 * penalties

where penalties are a lot of small and big penalties that are added to the story automatically or by the mods.

The most relevant penalties that are not added by the mods are:

* automatic penalties for some sites that usually have off topic stories

* penalty for flamewars and controversial stories, when they have much more comments than upvotes

* penalty for getting too many flags by users

In this case, I guess the story got enough flags to get some penalization, but not enough flags to get killed.

For a nice black box analysis off the penalties, you can read the article wrote by kens: http://www.righto.com/2013/11/how-hacker-news-ranking-really... (original submission: https://news.ycombinator.com/item?id=6799854 (920 points, 1460 days ago, 190 comments)) (It was written 4 years ago, so many details may have changed, but I think that the general idea is still correct.)
How does world peace/deterrence rely solely on the obviously aging USA triad?

What info do you have on adversarial capabilities beyond speculation and belief about their recent military expenditures?

Do you believe that the USA hasn’t considered your scenario already and put plans into place? Do you believe civilians would know the full extent of our nuclear capabilities?

Why do you believe China and Russia are possibly planning to disarm USA’s triad, and why do you believe they’d have the intelligence to do so? Something about leaks, the nsa, whistleblowers.. is there a connection here? Just speculating based on your notion that USA may be getting ganged up on by China and Russia.

Frankly your line of thought is valuable and worth exploring, and I’d like to see what info can be put on the table to explore your ideas further.
Best programming language to learn?
What's the best programming language to learn for beginners that will be great for futeure job opportunities?
I'm interested into switching careers from Marketing into this field, which I find much more interesting.
quick plug for someone to do the legwork get heirloom troff in some real (read BSD) unix so that the whole roff toolchain is reintegrated after USL, that would be great.
Sure, but if it's the widespread belief in a Just World that prevents those safety nets and governmental disaster relief programs, wouldn't it also lead people to not donate?
There are a different and arguably smaller set of warts in 2017 compared to 1999 but that doesn't mean that it's easy to reproduce the exact layout, pixel for pixel, across Firefox, Edge, Opera, UC Browser, Safari, Chrome and other browsers in use.
Are you talking about funding research, essentially? That's an example of wealth being spent on the common good. Problem is when it's accumulated without spending it on the common good, or even worse spent only on increasing the accumulator's power.
Learn how to upload file using Ajax with progress bar – Inventious WebSol
So? It sucks to be in such a bind, but nothing says life is always easy or fair. The best you can do is to do the right thing and hope things are better at the next firm.
I'm so glad to see someone else looking at this from a practical engineering standpoint. They've really had a handful of successful distance launches, none of which went much more than 2200 miles which is 50% of the way to hitting the US west coast (and I mean the COAST, not inland). Even then we have no idea how accurate they were since we don't know what their programmed target was. They've had far more failures than successes, and that demonstrates they have incredibly low reliability figures.

Let's also remember that there's still no real evidence they were behind the Sony hack. I'm all for stopping NK from causing trouble and helping their people, but we're hardly at risk in the US mainland. What we really need to worry about is them striking SK or Japan, because that they can do reliably and inflict a lot of damage not just to those nations, but the world economy and stability.
Good to know, but at least for me actually occurs with MP4 files. I tried it on my own video MP4/H.264 files - loading the video with the video tag with plain HTML5. I am sure the FF devs know about the FF57 video bug and have fixed it already in nightly build or are working on it.
It is not the expectation of jail time, but certainty of a punishment is what matters. See https://www.economist.com/blogs/freeexchange/2016/03/crimina... and references therein for actual research.
Politicians who govern by poll typically find they have accomplished nothing and yet managed to piss people off anyway.. there’s a line between ignoring voters and instituting needed reforms, and its easier for Pai to argue the latter when this is the policy platform republicans campaigned on. It’s tough for me to believe a party shouldn’t carry out the legislative agenda it campaigned on whenever the opposing party didn’t like it.

I think if people voted consistently in the midterms that would solve many problems, but alas that is relatively rare, much less the level of involvement you describe.
I bet it was 2009 since I last used firefox, other than testing for reported bugs in it. I've been using it exclusively since the Quantum launch, and I really enjoy it.

I liked the idea of having real browser diversity before, but it wasn't practical for me. Now it's practical and awesome.
No it didn't. It had 80-95% consensus among miners, maybe, but that's not the same.
It's hard to see how you scale what Etsy was originally. See also eBay's transformation away from "the world's biggest flea market." Given globalization and cheap Asian manufacturing, the only way to keep things relatively "pure" is human curation--and even that will be gamed and doesn't scale anyway.

Of course, there's a lot of mass produced knicknacks even among "crafts" sold at fairs and stores. But it tends to not be quite so much mass-produced and crappy.
Whatever, one glass of wine in the real world is like 200ml... Anyway, alcoholic is someone dependent on drinking: starts in the morning to get rid of the shakes and drinks during the day... Half a bottle of wine in the evening, few times a week is not alcoholism... don't go and look for a problems where there are none - this will undermine the struggles of the real alcoholics...
Show HN: Open-Source Machine Learning Suite for the Browser
I suspect you are looking at the original repo. It has since been forked and has a few contributors now
https://github.com/sshuttle/sshuttle
Halcyon Dreams: The Legacy of Dragon's Lair
Drone race: human vs. artificial intelligence
> He clearly hasn't proven anything about his code.

Is that a bad thing? It seems like many people are able to write software that works well and gets the job done without "proving anything" about their code in the way you're describing. Personally, I'm fine with not proving anything if I can deliver quickly and everything works, but I'd like to be convinced otherwise if there's real value there.
US Citizens are approved to participate in NBA Champ's sports media crowdsale
I switched to quantum and the only complaint is that I can't use Video Speed Controller on it. https://chrome.google.com/webstore/detail/video-speed-contro...

That application is so useful, everyone I know who has tried it gets used to it and can't live without it.
> letter writing

Especially this: letters get way more notice than phone calls or online petitions. Many representatives actually read their letters. Phone calls typically get filtered through staff, and they generally don't communicate a whole lot to the rep unless the person calling is a significant player in their district.

If you write a clear, concise letter explaining how an issue impacts you, your peers, and local/regional business, you will have a pretty solid shot at getting someone's attention.
> Developers would rather die than spend a dollar on any product

That's just silly. I'm a developer and I have spent plenty of money on good products that help my work. Hell, literally today I dropped $30 on a word processor. And there is a huge market for developer-focussed SAAS and PAAS products.

> no matter how better it is or how bad they will suffer

Example? Citation needed.

> The other half of the lesson is branding and hype cycle

These cryptic pronouncements are kind of useless. Again, give an example. Out of those things on your list I'd give you mongodb as a hype-driven mistake but that's pretty much it.
NASA Links Port-City Sea Levels to Regional Ice Melt
I don't know how you call this massive volatility and fraud "protection" from me and my cohorts. BTC could use the depth provided by high volume electronic trading, and also the linkage between all the venues and alt coins.
I recommend the book "The Supermen" about Seymour Cray, National Labs, etc and that will give you the necessary context to understand. Bottom line, it didn't used to be this way and supercomputing degenerates to lowest common denominator without starting from square one every now and then.
The only difficulty with other services and contact syncing is 1) getting them to sync across both Android and iPhone bi-directionally and 2) syncing custom fields.

1 can largely be solved with effort (just about) but last I checked Fastmail doesnt use the same vcard formats as Google/Apple and doesnt support custom fields in contacts. That might have changed recently and I'd be very interested to look again if it has.

I even went as far as a fairly engaged back and forth with Fastmail support (reference to which is in my comment history somewhere here) to work out how they could get bi-directional syncing of custom fields to both platforms working. But they had no plans to implement it.

I appreciate mine is perhaps a niche use case but I've got a lot of contacts with multiple addresses and numbers in multiple countries and short of saving maybe 5 or 6 replica contact entries per individual (which is a mess over) the workable solution was to stay within a walled garden.
The Grugq's post is strong. The Harvard campaign security report he links to is not; it's actually pretty bad.
My markup choice is between asciidoc and emacs org-mode, but I haven't done man pages. I wonder if there is an org mode man page system?
Sure — if and when I get around to writing them :) Looking at your proofs will probably make this a lot easier. After all, the principles of proof are very similar in pretty much every system. But if you want to get a sense of what a methematical proof in TLA+ looks like (as opposed to algorithm proofs, which make up most TLA+ examples), see the appendix to this paper: https://lamport.azurewebsites.net/pubs/proof.pdf

But it’s very important to know that TLA+ has very different usage goals from Coq/Lean/Isabelle, and so makes very different design tradeoffs. The tools are certainly not interchangeable.

Coq, Lean and Isabelle are first-and-foremost research tools. As such, they are completely general purpose, very powerful, but also very, very complicated. TLA+, on the other hand, was designed for use by ordinary engineers to specify and verify large, real-world digital (software or hardware) systems. This means that TLA+ is not generally appropriate for doing high math (e.g., because it’s untyped, it doesn’t even have operator overloading, which alone would make it unappealing for serious math; then again, not much serious math is done formally, anyway), and isn’t designed for logicians to explore various logics (it’s classical logic only). In addition, it’s syntactic/symbol manipulation capabilities are very limited, so while you could specify a programming language, as you’ve done, the result is going to be much messier (although specifying low-level languages with simple syntax, like machine- or byte code, can be very elegant).

OTOH, TLA+ is truly exceptional in its ease of learning and its capabilities when it comes to specifying and verifying systems and algorithms. In many respects, it’s computational theory is richer than Coq’s (although Coq is so general that some people have embedded TLA, the computational theory of TLA+ in Coq; but TLA+ has it out of the box). In addition, when used in industry, people hardly ever use TLA+’s proof system. Not because it’s inadequate for proving the correctness of algorithms — it truly excels at that — but because formal proofs are, in general and regardless of the choice of tool, not very cost effective. Instead, TLA+ has a model checker that lets you verify your propositions about your system completely automatically — you just state them and press a button — albeit, only on small, finite instances. This is more than sufficient for industry use, as, while there have been multiple cases of informal (published and peer-reviewed) correctness proofs later found to be wrong with a model-checker, I am not aware of any cases where a model checker result was found wrong, despite running on small instances, and so not qualifying as proof.

So the choice between TLA+ and Coq/Isabelle/Lean is usually simple. If you’re an academic researching new logics, new programming languages, or complex formal mathematics, you’ll choose Coq/Isabelle/Lean. If you’re an engineer trying to design a complex or subtle system or algorithm, you’ll likely choose TLA+.
Reprogramming a $13 consumer wifi-enabled outlet
I worked at a nuclear consulting co. where network hostnames were Simpsons’ characters and people backed into parking spaces out of habit.
Not surprising! You didn't elaborate on it, you just quoted it. People already read the article because you posted it. Rereading your favorite sentence isn't particularly helpful at that point.
Well, TLA+'s proof system, called TLAPS [1], is not an independent proof assistant, but rather a frontend, which uses the proof-assistant Isabelle, combined with various SMT and tableau solvers for proof-search (like Z3, Yices, Zenon) under the cover.

Isabelle and Lean also make use of automatic provers for proof automation.

BTW, TLA+-style declarative proofs are not always better than Coq-style imperative proofs. They are certainly easier to read (the proof language was designed to be easily readable by humans), but they're sometimes harder to write, because it's largely an iterative trial-and-error process: you first try to prove the entire proposition automatically. If it fails, you look at the error message, try to see the difficulty, and then break the proof down into smaller steps, and so on.

[1]: https://tla.msr-inria.inria.fr/tlaps/