skysight-inc/HackerNews huggingface dataset:
dude, get real. if google really wanted to just be helpful to the users they could just put some kind open-source, investigable metric of web page load speed. or full front-page load payload size.

if the flag is google-service-specific, it's not "just information"
Agreed, my logic is entirely the opposite. This would be a dealbreaker in my personal life, but why would I care what the gov't knows about my work life? Of course, I don't run the business...
Wikipedia says these are called Cunningham chains: https://en.wikipedia.org/wiki/Cunningham_chain

There are no infinite chains, but there are conjectured to be inifinitely many finite chains of every possible length.
Mango is also the name of a popular MongoDB driver for Perl, most commonly used with Mojolicious. I'm not sure which came first.

http://search.cpan.org/~odc/Mango-1.29/lib/Mango.pm
I'm disappointed that this was my first association, but it makes sense in context.
Red Book of Westmarch
Looks useful, are you using this in production?
Sealy Taking Pointers from Disruptive Startups
I saw an ad for this on Facebook and found it to be an interesting (and smart) pivot: https://www.cocoonbysealy.com/

Sealy is taking pointers from the startups that are attempting to disrupt it (and other mattress makers) with its own mattress-in-a-box offering called Cocoon.

Some start-ups offering similar product (direct shipped, bypassing showroom expense):
https://casper.com/
https://www.tuftandneedle.com/
https://www.leesa.com/
Actually ellipses perform pretty well. I've analyzed this a good bit... http://i.imgur.com/82Aksg0.png (lower is better, this shows average score over 100 different input images)
I'm sorry you had to endure such insults. My post wasn't written out of hatred and I apologize if it came off that way. Sometimes I let past issues get the best of me. But I really appreciate the way you describe it – "Dealing with this universal human experience".

I hope my manners didn't turn you off HN. It's a great community to be part of. You learn something new every day from developers of all walks of life! Please stick around, it's worth it.
For years now it's been obvious that Chrome is the new IE. This merely makes it even more obvious.
Define "better"
They are not undesirable at all. There are plenty of circumstances where these are great use. Airports, for example. Downtown cores. Smart Cities developed from scratch. Resorts. The list goes on..
"Silicon Valley" is the red herring then. World class people get world class compensation because they are damn good.

I propose that not so good techies may get more in SV but paid averagely elsewhere?
It's exactly the point. If you don't know what makes an app performant or not, moving to C++ is not going to magically make it any better if you're doing brute force operations everywhere.

> yes your bottleneck may not be CPU, but if it is, then language matters a lot

Even if your bottleneck is the CPU, it does not mean it's the programming language. A quicksort in python is faster than a "while not sorted randomly shuffle this list" in C++.

Sure, moving to another language may be faster. But that is beside the point. The article even says "The programming language doesn’t matter as much as the programmers’ awareness about the implementation of that language and its libraries."

So this whole discussion is under the assumption that a developer does not know what it takes to make an app fast. If you're using arrays in operations where you have to insert into the middle a lot, and never have to iterate over all of it sequentially, you probably should be using something like a linked list. Choosing the proper data structure (and learning why) should take priority over the faster language.
Leyenda
I see they changed very little, so I'm hopeful this is one of those versions (like Lion if I remember correctly, might be other) where basically Apple just stopped one year, add very few features, and improved the system stability and performance.

I didn't see (perhaps I've missed it) them saying this was the case, so, any insights on that?
You don't know what the government cares about and what it doesn't. Over the last decade, many people used enterprise systems and hardware only to find out they weren't secure and the mundane information that traversed those systems were valuable to the government...and that they were compromised. [1]

You just don't know whose tapped the line, whose listening, and what systems your text is being indexed into. So reliable E2E is key.

[1] https://theintercept.com/2014/12/13/belgacom-hack-gchq-insid...
Define 'better than'?

Your first step is to get a clear set of requirements, the only reason competitors ever emerge is because of a failing or perceived failing of the incumbent.

So you must think HN is doing something wrong, or could be doing something better?
'bo*' is pretty common for cows in european languages - they are the genus 'bos' after all (see: english 'bovine').

As for the Vietnamese roots, I thought it might have been a French loanword but it looks like it came from a proto-vietnamese language:
https://en.wiktionary.org/wiki/b%C3%B2#Etymology_1
I think Linux support is still only in nightly.

I've tried it out with Netflix but out only works if you spoof your user agent to chrome on Linux, and it's prone to crashing.
Same here. My blog is (unsurprisingly) text-based, so the 40-50kb JS file was almost all of the page weight.
Much of the article is retelling of the storylines.
Or a great engineer that is not a US resident.
You probably are in agreement. The point of putting in any time is that you have to develop an appreciation and sometimes new skills or techniques for whatever it is you're doing, before you can act on it in more than a cursory surface way. Hot takes based on textbook knowledge are easy and everyone can do those.

Recognizing that, then the problem is just one of how and when you put in that time to go in deep on ideas, when nobody is asking you to. For a lot of folks including myself, routine helps: "I will spend two hours each day on the hard thing I don't know how to solve and have no actionables on," and usually within those two hours something happens to develop your thought process.

For younger folks, deliberate engagement in "designed creativity" is something that isn't just not taught, but actively discouraged by the lack of external feedback, role models or conversations. So it's much harder than just picking up a skill by copying and subsequently making some surface changes to the copy.
I've heard that babies make the same 'ma' and 'pa' sounds regardless of context, and that it is vain parents who assume that the baby is addressing them :)
I have just made the most shallow research, but in Swedish (and other Scanian languages) cattle are called "boskap". The etymology is shared with "bo", meaning dwelling (animal or human house). The original meaning of "boskap" is that which belongs to the house.

I'm wonder if it might be shared with the other languages, that cows and sheep share the name of the dwelling because they are part of it?

Looking further at the etymology of (Swedish) "bo", it seems it comes from the Proto-Indo European "bhuh", to become, to grow into being, sharing the same etymology as English' "be". In Swedish, "bo" is also a verb meaning "to live (some place)", e.g. "I live here": "jag bor här".

Edit: Actually, "be" has a mixed history it seems. Indeed it is mixed with "to reside". See here for more etymology: https://en.wiktionary.org/wiki/be#Etymology

Edit II: After a bit more of Wiktionary, "bo" has the exact same meaning as in Swedish in Cuiba, a language with less than 3000 speakers in Colombia and Venezuela. Wow!

When it comes to the cows though, my original research might have been misguided. Looking at the etymology for Latin "bos", it comes from a different Indo European root:
https://en.wiktionary.org/wiki/bos#Latin
Is there a business op in this? Just a simple umbrella company in the US that supplies talent from around the world?
> obvious dichotomy between good and evil

You probably haven't read a line from him if you say this. Do not mistake the author for the movies from Hollywood.
Here's the episode: "Not all network effects are created equal"[1]

[1]: http://a16z.com/2016/08/01/network-effects-taxonomy/
Nice App for Adding Screenshots to Trello
Also it's often done on some type of canvas.
So I wondered how this algorithm behaves when applied to its own output. I know there won't be a fixed point because of random component, but here's the program applied 11 times to itself, starting from a red dot:

http://imgur.com/a/8Vs9z
That's what terrible management does to products
My multi-domain (3) cert just came up for renewal at $28.99 a year, instead I setup Let's Encrypt on 8 domains for free. I think I'll just setup a recurring donation to Let's Encrypt simply because I'll never have to do the SSL Cert song and dance ever again.
I think this one has just not been marketed very well but it works just great and the price is very low. I reckon there's a few other Trello users on here so I thought I'd share.
Here are my questions (to anybody with knowledge of this field):

- Is this type of programming related to the functional-programming field?

- How is this different to OOP/imperative code?

- What language(s) will be used to write code for this?
You answered your own question, 'I only recently found out about "oncontextmenu"', not a lot of people (outside of tech) seem to know about it, also not everyone uses a mouse!
Ramachandran touches on this in his TED talk (starts around 21:20 )about 'kiki' vs 'babu'.

https://www.ted.com/talks/vilayanur_ramachandran_on_your_min...
It's 2016 and you still can't disable the trackpad while typing.

This drove me insane after switching to an MPB.

The solution was to put the trackpad on the highest pressure setting and hope for the best.
This isn't really a new discovery. It has been common knowledge in linguistics at least since the '70s that there is a universal tendency to use /i/-like sounds in words that designate smallness and /o/ or /a/-like sounds in words for the opposite. (Note: Tendency. There are plenty of counter-examples, but the tendency is still there.) This is possibly linked to sound symbolism and has to do with how you position your tongue when you say those vowels. Possibly.

There are also plenty of older studies using made-up words that show that people link /i/ sounds to sharpness and /o/~/a/ sounds to roundness. (E.g. show a group of subjects a triangle and a hexagon and ask them which one they think the word 'pirl' refers to. Then show another group the same shapes but use the word 'porl' instead.)

Sound symbolism is super interesting. The Jabberwocky is a great example of how certain phonemes/syllables can affect our interpretation despite not being connected to each other in any immediately meaningful way.
There was plenty of fantasy fiction pre-Tolkien.
Do you feel the same about the Gates Foundation or executive managers who donate to Doctors Without Borders? To me both are admirable ways of treating private wealth, while splitting money with employees, investors, family etc is the step that happens before you end up with the private sum.
I'm more of a pessimist. If you can't get C programmers to handle memory buffers correctly, how are you going to get them to use actual formal methods or annotations that rely on understanding substantially more math than the average programmer has?
Yeah, I feel most of the interesting stuff is in the beginning to somewhere around half-way, and then I'm never as motivated to see it to completion because the "research" part is done.
So programmers mad that other programmers are making good money (although, taking into account overhead, salaries are rather normal). This is why we can't have nice things people.
On their site they do say however: "And we care a lot about your data. CouchDB has a fault-tolerant storage engine that puts the safety of your data first."

So, yeah, I think even if eventually consistent, and not immediately consistent, they want you to feel they have taken care of your data when designing the thing, so seems prudent to do.
Mac OS X has had smartcard support for a long time. They started removing it a few "updates" ago, but the support was still there. CACKey specifically added missing bits as Apple removed them. This latest release probably features their replacement architecture.

I haven't seen what is needed to make CACKey work on the latest release of the Apple's OS since I don't use it, someone else works on packaging that up.
Talk to a Swiss immigration lawyer. Unlike what some people seem to think, lawyers do actually have a purpose. This is one of them!

Also, good lawyers can more often than not find new ways to interpret existing laws to your advantage. There might be some obscure statute somewhere that exists that you don't know about.
The Legend of Zelda Ultimate Glitch Explained [Arbitrary Code Execution]
One thing that is familiar to me is your first sentence "there are literally hundreds of little hobbies and projects". I have something I call the "rule of 3". It says that you can do 3 things in your life well. I pick one of those things to be my job. I pick another to be interacting with my family and friends. That leaves exactly 1 other thing.

You can do hundreds of things very poorly. There is absolutely nothing wrong with that. I dabble at cooking. I love it. It's fun. I used to live in Ottawa, Canada which conveniently has a branch of the Cordon Blue cooking school. I considered coughing up the $60K per year tuition (cough, cough) to learn to be a chef. But cooking is not my one thing. I love it, but I'm actually fine with being relatively crappy at it.

If you want to be a good guitar player, you have to decide to be a guitar player first. A guitar player plays his/her guitar every chance they can get. A guitar player enjoys playing his/her guitar. Once you learn to be a guitar player, you may decide to become a good guitar player. You may not. You certainly can't do it the other way around.

If you do not want to be a guitar player (as evidenced by the fact that you do not want to play your guitar and you avoid playing it even when you have the chance), there is absolutely nothing wrong with that. Personally, I would also like to have become a good guitar player, but I have absolutely no interest in being a guitar player. So I restrict my guitar playing fantasies to my dreams and video games. This gives me the time to do what I actually want to do.

One other thing I should point out. There is nothing saying that you can't change your mind about the 3 things you want to do well. Of course, if you change your mind every day then nothing good will come out of it ;-) But if you get to a point where you are thinking, "You know what? I'm happy with what I've done and I don't want to continue", that's completely OK. It just gives you time to do something else.
I just wish the default (Google) camera app in my Nexus 5X didn't crash circa 50% of the time when I zoom out.

The apps I have already give me enough grief. Why would I want more?

P.S. Also WRT apps, cough security cough
Amazon has made use of formal methods during the development of AWS. Relevant paper can be found here: http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-s...
I wonder if anyone will manage to create a tool for Rust that can map out code partitions, or near partitions, based on access patterns of object ownership. At some tipping point a little bit of data sharing could be refactored into message passing and finish the job right.
I would liked to see an option to unlock the Mac with my phone using the fingerprint, as well as an option for a pin lock and a strong password for boot/sleep restore.

There are 3rd party apps that allow you to use the fingerprint scanner but I am not trusting my machine to 1.99$ app from some unknown developer.
I'm one of the researchers at Galois who's working on the quadcopter platform for HACMS. Let me first say that this headline makes me cringe just as much as anyone. I'd also like to give folks a pointer to some of the work we've developed on the project–it's all open source.

First we have Ivory, the DSL for doing safe systems programming that takes buffer overflows and other memory-safety bugs off the table: http://ivorylang.org/ [1]

Second, the flight control software we wrote for the 3DR Iris+: http://smaccmpilot.org/ The adventurous among you who fly with a Pixhawk can build it and try it out yourselves, and we'd love to hear your thoughts.

[1]: When we began work on HACMS, Rust was around but nowhere near mature enough to base a proposal on. These days, it covers a lot of the same bases, although currently Ivory is more suited for formal analysis with SMT solvers and model checkers.
For anybody interested in this field:

Specifying Systems by Leslie Lamport, the same guy that gave us Logical Clocks and Paxos (free on Ms Reseach website):

http://research.microsoft.com/en-us/um/people/lamport/tla/bo...
French had a big impact on Viet culture and I believe were in some part related to the romanization of the language. To me Viet seems like Cantonese written in latin script, with borrowed French words. I don't know it very well obviously.
I like amp but what is with responsive pages? I thought the best practice went towards not serving a different page for mobile users and have everything full responsive.
Now with amp, the opposite seems to be the case
Regular people get world class compensation (which this is not) because they ask for it.
This might be part of the advantage America has over some European countries when it comes to elite talent.
Browser History (2013)
And thank you for both of those things -- making a small profitable business and giving back to the community!
Free agency (in the job market)
More likely just not a great negotiator.
That's not necessarily true. There are many examples of fine art which is made by computer and easily replicated by anyone. However, the prints themselves are limited in quantity (or, there may just one official print).
Fight the real enemy, like the word "learnings"
As an aside, it would be nice if you could cite the original sources of the images posted by the Twitter bot; it would be nice to compare, and probably most safe legally too.
I agree that it was a kinda shitty thing to say.
> The words for “nose”, for instance, often involve either an “n” sound or an “oo” sound, no matter the language in question.

The wording here is almost painful. You can't play "often" as a minimizer against "no matter the X in question" like that. It is terribly confusing and the mark of someone who wants to sound sure, isn't sure, and isn't capable of making a more nuanced statement.
"For evil is matched and overcome not by superior power, but by the determination and the goodness of ordinary beings, ennobles by the assumption of burdens beyond their capacity to bear."

Lovely bit of prose for a book review.
Microsoft Announces Dividend Increase and Share Buyback
Really?? I found it dead simple to use.

1. Install the app.
2. Run the certonly script, following the prompts.
3. Point the server at the certificates.

The only hitch was stopping Nginx long enough to do the domain verification. A three line bash script fixed that.
Since we're talking art and commerce, I smell a business opportunity - selling inkjet printers with Giclée Enabled™ label, at extra markup.
Is this named for http://www.zombo.com/ by any chance?
It sounds like they are suggesting something more like 'cuts the stereo and begins announcing on internal and external speakers that the driver is not paying attention and the car will slow to a stop in 5,4,3,2,...'.
I had a POC honeypot for the acunetix rce bug running never went beyond crashing the scanner but it can work.

You can fuz scanners and the setup honeypots that would exploit any vulnerability you found nothing in here is specifically complicated, you can also tailor your honeypot to specific subset of tools you want to target.
Talk to your future employer if they can arrange at least remote working for initial few months and if you are not able to gather paper works then revise the process. Meanwhile you will have breathing room to look for ways that you can travel and work. You can take short trip and work there for initial few weeks(though I am not sure about the other visa, these are my guesses) to know the system and team. As an experienced person then you can work from anywhere. So talk to company if remote work is a possibility even with a pay cut.
Approve or Reject: Can You Moderate Five New York Times Comments?
Brexit will happen. The EU GDPR will happen. You can't avoid either
Option 1: Talk to a immigration lawyer specialized in Swiss immigration system.
Option 2: Talk to your future employer if they can arrange at least remote working for initial few months and if you are not able to gather paper works then revise the process. Meanwhile you will have breathing room to look for ways that you can travel and work. You can take short trip and work there for initial few weeks(though I am not sure about the other visa, these are my guesses) to know the system and team. As an experienced person then you can work from anywhere. So talk to company if remote work is a possibility even with a pay cut.
This article was just wildly misleading, the title is well, it speaks for itself.

Interesting language and rather than 'formally proven' as the article wildly claims it is a strongly typed system ala Haskell. So yep looks a great idea for secure systems - but formally proven - bah! :-)

Has anyone here actually formally proved a non trivial program, say a couple of hundred lines on NCSS?

How about tens of thousands, hundreds of thousands or millions of lines of code. The complexity of the proof would be insanely complicated such that the level of expertise to define the requirements would be (if at all within the limits of human endeavour) only for maybe a handful of people. And do those people make good business analysts, or hackers, or entrepreneurs or even just communicators.

Jeez the misinformation that gets spread!
I suppose going volumetric and matching colored cubes to an input model would lead to a pretty neat mesh-to-Minecraft converter :).
You're confusing the specification with the equivalence proof. A spec is likely going to be about as simple as an implementation, with the benefit that it can be read more consistently.
I'm not sure I like their "we'll do it all for you" approach. It seems like there are a lot of ways to accidentally break config files. In general, I'd rather not anyone touch those without me knowing what it will do.

Fortunately, the certonly script grabs the cert and puts it in an easy location. Updating the config from there is easy enough.
As a rule, yes. I'm not at all an expert on (or even all that familiar with) CouchDB, but if you make any guarantees at all about your distributed storage engine, then those guarantees are somehow testable.
I think it has a lot more to do with being a good negotiator and being good at leveraging your skills than being "really good" in a general. People don't get what they deserve. They get what they negotiate.
Yet another product blog that doesn't manage to prominently link to the product.

If you want to make my life a tiny bit easier:

- blog.<project>.org needs a link to <project>.org because half of you visitors want to read the "it" before they read the "news".

- github.com/<you>/<Transmogrifier>For<ThatProject> should have a link to <ThatProject> in the description or the readme's first paragraph. I often come across interesting plugins without knowing anything about projects' they are for.

(and yes, I know there are actual problems in the world. But these are easy to solve)
Reverse engineering an 1989 original Wonder Boy: the quest for accuracy
Maybe... maaaaaaybe.. the former will happen. The latter? Never.