skysight-inc/HackerNews huggingface dataset:
"I've never found myself in a situation where anyone would discuss bouble sort vs merge sort. Neither have I been in a situation where big-o was relevant..."

How about in job interviews? Obviously never on the actual job, but how about interviews? They ask all sorts of crazy crap. I suspect because they've got no idea what to ask.
You might have issues with the quality of your compiler or you might be using POWER7 code and/or have VSX disabled. IME POWER8 is somewhat faster than high end Xeons (although not in terms of price/performance).
Is Qi Gong / Tai Chi fading too ? There were discussion in France to use them as "physical" activity in the morning at school. It would be strange if they start to like it while Asia start to dislike it.
Psychology or survival? How much demand is there for someone who's maintained an MFC app for the past 20 years?

This person could ROCK at C++, but who's going to look at his resume and give him an interview?
My food and drink section consists of "Food" and "Beverages"
While Go doesn't have a port to BSD on POWER, there is a Go port for POWER on Linux (it's the s390x port).

I imagine it shouldn't be too difficult (relatively speaking) to do the port as a result.
In reference to the Green Book, which I just had learned about last week, the US had so-called "sundown towns" [1] where it was ill-advised for people of color to be out after sundown.

https://en.wikipedia.org/wiki/Sundown_town
Since when did something need to have novel features or ideas in order to be productive?

I'll counter that one of the main reasons PHP became such a used language (other than ease of deploy) is exactly the reasons you dislike it. There are multiple ways to do things - that coincide with the ways you do things in many other languages (which it steals from).

You dont have to learn anything radically new to use it, and that makes it very easy to do things quickly.
Always used to see a guy cycling on my commute home. He'd roll through every stop sign and most traffic signals. (He explained one day that it "saved energy" for him to keep going...even though he cycled as "exercise...")

I don't see him anymore. One day last year, he rolled through a red light in Koreatown, right into a truck which had the right of way. He was thrown from his bike about 20 feet and died from blunt force trauma and/or internal bleeding by the time paramedics arrived.
While I don't like the phrasing "work before life", I can sympathize with friends not understanding. I experienced the same thing when I began really focusing on my career.

In the end, I decided those friends were trapped in their own perceptions of what our relationship was supposed to look like. The true friends were the ones who simply said, "yeah, I noticed you buckling down. You do you; I'll see you next month"
You could take a look at Coquand (2002) “A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions”.

https://www.dropbox.com/s/xmj7yv1i1moe0ag/Coquand2002.pdf

Drop in to #dependent on Freenode IRC, and let’s chat.
I think you are over-selling the internet's contribution.
The growth of MMA has been the real driver.

I think you're talking past the parent comment.

He's saying that the Internet shined a light and exposed "bullshido" martial arts. BJJ, muay thai, wrestling, and kickboxing didn't need an MMA forum to raise doubts. They needed visibility. The Internet makes the social proof easily accessible without having to buy a PPV, rent a DVD, or attend a fight. The exposure has correctly labeled many of these cultish martial arts for what they are -- ineffective combat systems.

The sad part is that for a sizeable minority, it almost takes a Youtube intervention with many videos such as this one [0] to convince them that no amount of aikido training will let them mow through a wave of attackers.

[0] https://www.youtube.com/watch?v=gEDaCIDvj6I
I just wanted to point out a bit of syntax from the article. I'm a huge fan of compact variable declaration if statements. The code from the article:

if name in names:
names[name] += 1
else:
names[name] = 1

That can actually be written as just one neat, readable line:

names[name] = names[name] + 1 if name in names else 1

It may not be as readable to some who are used to spelling it out as an if/else block, but I really prefer the one line way. It reads closer to regular English I think.
THey're saying you can use the geo-tags on pictures (along with the site's ability to find pictures taken in a certain area) to determine whether you'd like to go there or not, and plan your trip accordingly. They keep saying "guidebook", like you'd make your own list of destinations in that area that you want to visit.

I basically made our Tokyo tour without using a professional tour guide, and knowing this about Instagram (assuming it applies to Tokyo) would have been very nice at the time.

Edit: After playing with it a bit, I don't see how this would work well at all. I was unable to "explore" without knowing exactly what I wanted to explore in the first place, so it wasn't any good for planning a trip to a new place.
How AI and Machine Learning Work at Apple
they were not hidden. they were released ahead of time. the uncanny accuracy of an expectation article a month before the official release led to the opening of the case
Actually, you are wrong. In the 1972 2nd version of Bell Labs Unix the cat source code says "cat -- concatinate files"(sic). And, in the Bell Labs "Unix Programmers Manual", Second Edition, 1972 it is "Concatenate (or print) files".
There goes those them "elitists" trying to be accurate again... And where do you get the idea what it's "supposed" to be anything? Approachable, or not approachable, it is what its founders made it; not what you decide it should be. Talk about arrogance.
Do one thing and do it well, but...

- If more and less are split in two: more does not page well (no scrollback), and less does two jobs: paging and blocking the scrolling.

- If more gets dropped in favor of less: less is a rather good pager, and serve only its own purpose of paging lines of text in different way.
> It comes across as: Please pay too much for this vehicle and help subsidize someone else's future purchase."

"... See, you're not just being a rich snob buying expensive cars, but funding a future wave of electric cars for the masses that will help save the world from global warming. So you can feel good about yourself."

That's what I think they're implying.
Lockheed’s F-35 Still Falls Short, Pentagon’s Chief Tester Says
Their main docs are pretty good too: http://docs.idris-lang.org
First I've heard of this book, but catchy title.
Shame on who ? I'm French and by no way I support this. There is still death penalty on some US states but I'm not shaming every US citizens. There is only 15 towns concerned by this ban, that's not representative
The flip-side of that question is "When can I opt-in to surveillance if I really want that? Can my neighborhood watch be a real neighborhood watch, with collated telemetry and machine learning, but owned by private citizens?"

And then we're on the slippery slope to the burbclaves of Snow Crash. ;)
Python is not defined by its C implementation. For example, Python-the-language does not require reference counting even though CPython uses that.

The real-world distinction between the Python specification and its implementation started in the late 1990s, with JPython (now Jython).
Completely Wrong – Between Lies and Bad Analysis
> Haskell Platform route... which isn't a wonderful idea

It's a bad idea, on short timeframes. But it's a hell of an adaptability bonus that ensures the language will keep improving.

Just like Haskell's extension system, or its loose dependency on Prelude, or its multiparadigm emulation.

I keep hopping something better than Haskell appears and people move on - but it probably won't happen any time soon, as soon as something better gets traction, Haskell will simply devour it and keep growing.
12 Truly Shocking Cyber Security Stats
I feel like nobody's really obliged to do anything. Maintenance is work, after all. Though I think it's cool when things exist for the community.

If you're abandoning a project, releasing the source seems like a Good Thing To Do. But people should be allowed to walk away from things if they do not enjoy it as much anymore (modulo service contracts).
GitHub recently switched to SVG and claimed the opposite: https://github.com/blog/2112-delivering-octicons-with-svg

Was their font just poorly designed?
It makes sense; but it's still a "too bad" idea. Even crude physical exercise that challenges your limit, your perception of your body, your sense of time under duress, is of great value. Even if you'll never need the physical strength. I wish people kept nurturing the social desire for such sports.
Kung Fu has failed to adapt, by which I do not mean MMA, but changing market conditions. The quotes in the article more blame young people than having an idea of what's not working.

I've done many martial arts, but I'm not here to debate whether Kung Fu is effective. It's not, but there is no reason why it cannot be. What makes a martial art effective is simply having a large population of skilled practitioners. It can be institutional support like Judo in Japan, or wrestling in the US. Or it can be effective marketing like BJJ.

Anyone with real fighting skill can tell you that an art's effective has little to do with its techniques. Technique is only a starting point, that practitioners constantly improve upon. What is needed is a large number of highly competitive and athletic bodies to constantly test and improve on. It's brute force algorithm 101. Nothing can replace experience when actually fighting, because you don't have time to think.

Kung Fu will lose every time, unless they get institutional support, because you have practitioners who not only have questionable methods, they know nothing about building athletes either. Step on a wrestling mat or BJJ practice and compare the intensity versus a Kung Fu class. There's your answer right there. There is no 'kung fu' in Kung Fu.

I've got nothing against Kung Fu. I've learned some interesting concepts. But, similar to Aikido's flashy technique, I am able to put them to use from being a master in another art. Whereas its practitioners cannot.

Maybe a "high level" many year practitioner can do it, as they will tell you it takes many years, but that to me just tells me they are doing this the wrong and slow way. Even Olympic martial arts have shown that countries like Japan are far behind modern science in competitions. One can only image how backwards some random Nth generation guy in your neighborhood is.

Again, nothing against Kung Fu in theory, and maybe it had its heydey at some point, but a lot more needs to be done to save any of it. And it won't matter what style or what not - everyone is different even within a style.
I crawled the articel, full of obvious then crashed on the svg line. You can't just ditch IE8 away. Then bloating your source code with graphic code is a bad idea.
0/10 won't do it again
http://rob.conery.io/about/
> Even then, my cost do not exceed $35 a month.

And how about the opportunity costs of working on your project?

One of the big selling points of Vesper was the design aesthetics. There's a very real cost to that in the form of license fees for fonts.

So sure, they could replace the fonts with free fonts, turn off sync, and keep distributing the app. At that point it's a different product, one that they aren't proud of.
It nosedived on landing, and suffered some damage to the cabin. The crew was fine.

That's a huge win for lighter-than-air flight in my book. A jet aircraft would be a smear of aluminum, carbon fiber, and jet fuel all over the runway.
I love it, I feel like a saw an article linked through hn about the fact that so al-queda and extremist groups supposedly want exactly this to happen. Something along the lines of how this was a strategy for recruitment.
http://meta.ath0.com/2012/02/05/apples-great-gpl-purge/ is the correct link, parent needs to put a space before the close paren

raw text: http://hastebin.com/raw/zohoxaxuyi
use <br/> like you use <img/>
I like how HN readers are the 'hello world' of every new tech stack. It's pretty cool

There are HN readers built with react native, cordova, nativescript, ionic...
For me I keep a well updated Linkedin profile and recruiters will drop me a line every now and then.

I think you could apply to roles that look interesting but that's a little disingenuous if you're not seriously considering a move.
Which is one of a hundred reasons why the machine you write the code on, the machine you build it on, and the machine you test it on, should be three different machines (actually probably more than that because your test environment should be more varied than a single OS/environment).
Experience is good, but I find some people have a "knack"... they intuitively understand when something is good and when not. How do you instill that? Priming from good logical and mathematical education help. Nudges to think for yourself and thins of the reason things are done a certain way sort of help. What more?
I agree. Note that the Coq-style tactics-based approach is not the only possibility.

In Agda, you are expected to write proofs in a functional style, similar to Haskell programs. There is a small amount of integrated automation, which helps you fill in holes in your proofs — however, the results are explicit proof terms, inserted at the right place in your program.

Systems which behave in this fashion have the de Bruijn criterion, as described in Geuvers (2009) “Proof assistants: History, ideas, and future”.

https://www.dropbox.com/s/4mwtxojg7yqb365/Geuvers2009.pdf
Show HN: Kotive – build and run taskflows
link is working fine for me. https://pilotkit.co/
The more popular your preferred tooling, the more opportunities in the job market.
I work at exactly one of those places right now, and "rewarding" is absolutely the last word I would use.
The goal of the experiment was not to measure irrationality. The goal was to measure neuronal activity involved in decision making, while fuzzing the decision making system with too many options.
How can I sign up for a study on LSD effects? I really just want to do acid legally, and further human knowledge on psychedelics.
Serverless is a word that only has meaning within the existing paradigms of web development. A "Server" is nothing more than a metaphor for a machine with stuff a "client" (another machine) can request. Everyone acts confused/amazed at what is essentially semantics for describing infinitely more complex systems.

It's the same process with any buzzword. They're terms that are so all-encompassing that, yeah, every sensible, modern project operating in a related space could probably be described by them. Like horoscopes for engineering.
They could look at the Cavium (ARM 64 bit) chips. 48 cores / socket, and typically two sockets per server. Each core is in-order and rather slow. eg: http://b2b.gigabyte.com/products/product-page.aspx?pid=5460#...
CS for Dummies?
SigOpt (YC W15) raises $6.6M A led by a16z for Bayesian optimization platform
It seems that I've been it by the wrath of the K Nearest Neighbors model: The affiliations are those of my friends and not mine.
I can't recommend this often enough:

Check out "The emotional life of your brain" by Richard Davidson and Sharon Begley.

It is applied neuro-science. A refined version of the "big five" character traits along with scientifically verified explanations where they originate in the brain and how to change them.
>The owner of spi.dod.mil has configured their website improperly. To protect your information from being stolen, Firefox has not connected to this website.

oh, yeah, totally clicking on that.
WW3 JOHN LENNON JUST BEFORE HIS ASSASINATION READ BLOG THI AND HAARP
Hey, co-founder of Kotive here.

We’re looking for feedback from the community on our web app.

Shortly, Kotive makes it easy and uncomplicated for anyone to build taskflows. Taskflows can automate repetitive tasks, give people feedback through timely notifications, and show them forms when their input is needed along the way.

Thanks in advance!
Home Prices Up 5 Percent in July as Inventory Becomes More Scarce
Show HN: Hire JavaScript - Top JavaScript Talent
They are optimized for a situation that simply doesn't occur in the modern world: rivals duelling to the death with martial arts.
If I'm searching a git repo I use "git grep" which seems to be very fast and knows exactly what is your source and what isn't.
>You're basically admitting that Javascript is not good enough

Most languages go through iterations and improvements. Transpilers are enabling Javascript to 'fix' issues with the language quickly while being backwards compatible. This is a good thing.

Note by necessity all languages transpile down machine code eventually. ;)
> I have never felt so uninspired by a language.

I agree with this sentiment very strongly. I understand that there's a lot of hate, flamebait, etc etc about the language, with which from my own experience I agree with or disagree with in fairly equal parts. At this stage, I have written more large web projects in PHP than any other language (for varying reasons). I don't proselytize on why it is (or is not) a good language. But for me, personally, a huge chunk of whether I'm happy or not comes from whether I feel inspired while I'm working. Quite separate from the excitement of solving problems: while working with Rust or Python, I get excited, and am generally happy (even when fighting with Rust's compiler); while working with PHP, I tend to feel vaguely annoyed. Take from that what you will.

I'm of the opinion that the best tool for the job is the one you know how to use, and in the real world of deadlines and opportunity cost, if you get a great PHP dev to write your application in Python it's going to be far more expensive and far worse than if it had been written in PHP. But it's also going to be far less fun to both write and maintain. I think you have to make your language decision depending on your priorities.

> the egregious security issues in PHP have been fixed

This I strongly disagree with. And I don't think it's possible. It's not that the existence of the language includes vulnerabilities, it just makes it extremely difficult to write applications securely. I actually teach an upper-division university class on Network and Application Security, I am writing my PhD dissertation on the topic. I have worked on the internal security team of a very large company, and I have worked as a penetration tester / security auditor. I am very familiar with the vulnerabilities that plague web applications. And I still occasionally find the odd XSS vulnerability, timing concurrency attack, etc. in PHP code that I myself have written. And most PHP applications are not written by people with my background.
Behind the scenes of Toronto’s $15,000 capybara caper
As a historical note, this phrase was originally applied to WordStar. Quoting Jim Mischel at http://www.mischel.com/diary/2005/08/22.htm :

> While I'm on the subject of WordStar, I've heard a story that I haven't been able to verify. When Phillipe Kahn was asked why he chose to use the WordStar command set in the first version of Sidekick, he said that he asked a lot of people for their editor preferences. Almost everybody had a different first preference (back then it could have been Emacs, vi, Word Perfect, WordStar, Brief, Leading Edge Word Processor, or who knows what else). But almost everybody he asked knew WordStar and named it as their second preference. I don't know if it's true, but it smacks of truth. Certainly every microcomputer programmer I knew back in the late 80s was proficient with WordStar.
France’s burkini ban exposes the hypocrisy of its secularist state
On an evolutionary scale that's true, but on an interpersonal level it's less true. It's not like a person is more valuable because they are an only child.
> The type of “eval” can also be fully static; it can just return a type that you have to do case analysis or runtime type inspection on to use.

Yes! The problem is, we don’t have a static type system which would allow us to intensionally analyse syntax at runtime. See section 9 of Sheard (2001) “Accomplishments and research challenges in meta-programming”.

https://www.dropbox.com/s/pathrmr7rufkw1d/Sheard2001.pdf

If you’re interested in this subject, perhaps drop in to #dependent on Freenode IRC, or ping me on Twitter.
You echoed my thoughts exactly!
Hello, I'm one of the co-founders of SigOpt and I am happy to answer any questions about the round or what we do.

More info from a16z on the round here: http://a16z.com/2016/08/24/sigopt/

More information about the research behind SigOpt here: https://sigopt.com/research
the solution we are moving to is to use spark to compute similarities, etc and load it into a neo4j graph.

so we use neo4j for oltp and spark for the olap part.
Note the FreeScale chips implement the embedded variant of POWER7 ("book E" IIRC). They won't run server software. In particular vector instructions are missing -- servers OSes like RHEL will crash very early in boot. And last I looked little endian support was missing or broken. Big endian is basically dead on modern server POWER although at Red Hat we still build both endians for now.
Blockchain Company Clearmatics in Finantial Times Front Page Today
Blowing up in midair, or spilling some of the passengers so that they land separately from the plane can be a problem, too.
ETH Zurich spinoff device is cheaper solution for hacking
Same here in Chromium. Typical... The actual problem seems to be with the cert chain.

The whole site is a joke, but then again, so are most US govt sites. I don't understand why they have to keep using ugly, outdated and badly operating websites over there.
Yes, it is. However the effects of the sounds on cognition as described in that short story are remarkably spot on for how ADHD affects my ability to concentrate and think.

He even got the ability to "ignore the sound" down pat - it can be done if something novel really grabs hold of your attention... and that it doesn't last.
Sure, that's fair. Do you think you would've gotten at least a phone interview had you had a lot of experience and a good resume (aside from the non-target school)? I have friends who have such experience in finance and firms won't even look at them because of the university name in their resume.
Could that be the curse of development?

The martial artist expects that a straight punch to the face will be blocked and countered, so they don't do that, even though in a street fight against an amateur, that is the best strategy.

It's similar to beginner's luck in videogames, where an expert player can't predict the beginner's moves because they play badly, so they lose the first time.
DARPA's Cyber Grand Challenge: Final Event Program
Where do I sign up?

Seriously, this sounds like exactly my kinda gig.
2021's “fully autonomous” cars will be strictly limited to certain areas
Coase is great. On a related note: not long ago, I discovered the wikipedia pages on "Internalization theory" and the "Eclectic paradigm", which descend from his ideas.

Those views deal a bit more with intellectual property and the fact that knowledge is a non-excludable good (as long as intellectual property rights are difficult to enforce). For me it's interesting to think of how this relates to giant tech companies, their secrecy, and internal-only software stacks.

(The eclectic paradigm relates to multinational corporations, which face some alternatives related to location/ownership/internalization.)

[1] https://en.wikipedia.org/wiki/Internalization_theory

[2] https://en.wikipedia.org/wiki/Eclectic_paradigm
Thanks! That's really helpful. We'll add all of these things.
Doubleplusgood, fine sir. Doubleminusgood on the language opressors!