skysight-inc/HackerNews huggingface dataset:
Good points.

Two issues:

(1) All code review tools I know of currently use merges http://programmers.stackexchange.com/q/256789/108980

(2) If you want to keep your local work up-to-date, you need to rebase. It can be painful to do this after a while; many like to do it often. If you have a conflict, you will need to resolve it everytime you rebase, unlike merge, which saves the conflict resolution in the merge commit. You can use git rerere, though it takes some effort https://git-scm.com/docs/git-rerere
We do this on securesha.re. Yes, you can't be sure the client hasn't changed the JS - I'm going to start putting md5s in the script tags but it's up to the client to check they haven't changed. However, the client is open source [1], so you could always run your own client.

1. https://github.com/STRML/securesha.re-client/
Can someone break down these buzz words? What is a "Formal Method" in laymen terms? How do they differ from other method documentation techniques? Why should I change the way I communicate my specifications, what are the benefits?
Maybe it's the easiest noise to make with a closed mouth?
If your only method of improving something is to rewrite it or add another layer then something has gone horribly wrong and people have a right to complain about it. I sincerely hope that the improvment's are not a rewrite or an additional layer to an already dangerously complex system.
Bring in a laptop and set up an ad-hoc WiFi network.
How did the market for Algol turn out?
Google offered themselves to Excite, also Yahoo.
I'm starting to believe that every form of burial other than cryonics is unethical.

As in you are taking away an opportunity from that human to have another shot at life.
Pretty sure this is troll feeding but in case you're sincere:

I didn't say cost was lowered in the "train" industry. Cost was lowered in the milk industry. Because after the train people didn't have to keep cows in urban areas to have fresh milk.

Your diagnosis is wrong. I've spent the last year focused on internet connected hardware, immersing myself in all the amazingly powerful new tools that just got cheap and open source.

The things I've made, the possibilities, the wonder of designing something on a screen and having it manifest itself in the world, so you can hold it and it comes alive right in front of you. The next evolution of internet techology is going to be so much better than CRUD apps ever were.

Adopt a broader view of internet startups friend and you will see the internet is just the communication/coordination channel for our cybernetic future.
Show HN: Free alternative to intercom.io live messaging
How to Read the News When You’re in High School*
What was your best experience at a conference? Worst?
https://en.wikipedia.org/wiki/Operation_Chrome_Dome#Accident...
I'm trying very hard to follow along but this quickly devolves into language that isn't easy to follow. When he starts going into combining "bitonic globs" is when I start having trouble focusing.

For someone that's familiar with parallel programming topics and language, is this talk easy to follow? I'm trying to figure out if the fault lies with myself or the presenter. The vibe I'm getting is that showing slides full of code in an obscure language isn't a good teaching method, but I also don't have the prerequisite background here so my opinion isn't useful. I also don't do work that involves these classes of problems.
It should not be in the README file. It should be a separate CREDITS file. README is for things people need to know to get started with using the project.
urgh: empty

http://54.86.121.4/recommend/app/getSummary?query=http%3A%2F...
What I learned from suffering my first and last XSS attack
Sbux Math: Calculate Your Starbucks Reward Program Changes
Have you considered D? It's pretty much supposed to be a successor to C++ and has GC (can be turned off) and is compiled as well. I feel like I'm writing compiled Java when I code in D if that gives you a nicer perspective of D.
In theory, a programming language only has a syntax and a semantics, and everything else is an implementation detail. In practice, programming languages are designed for specific use cases, and lend themselves to specific implementation strategies. For example:

(0) Type-checking C++ templates requires expanding them. However, nothing forces a C++ implementor to translate the individual template instantiations to machine code (or whatever target language is used). A C++ implementor could use a strategy similar to what is used in Java and C#, and re-instantiate every template on demand at runtime. Of course, nobody does this, because it's bad for the implementor (more work, because instantiating templates is more complex than instantiating generics, so better not do it at runtime if it's already been done at compile time), bad for the user (worse runtime performance), and good for noone (except perhaps C++ detractors).

(1) A Python implementor could use whole-program analysis to assign variables and expressions more useful static types than `AnyObject` - similar to what STALIN does for Scheme. But, again, this is bad for the implementor (more work), bad for the user (less interactivity and instant gratification, due to the constant rechecking of the whole program every time a change is made), and good for noone (except perhaps Python detractors).

Now, there exist language designs that are less biased towards a fixed implementation strategy. For example, Common Lisp, Standard ML and Haskell. But these languages are also markedly less popular, which perhaps suggests that programmers usually prefer languages that have a concrete story about what use cases their design optimizes for.
if you submit
http://54.86.121.4/recommend/getSummary.html to http://54.86.121.4/recommend/getSummary.html you get

{"summarized_text": {"1":"insert any block of text or single url url's must start with biomimic@gmail.com"}}

which is of course completely wrong
I stopped playing CTFs because the crunch time was too much. Burning a weekend reverse engineering and programming is fun, but then I lose the weekend. I'd like to see some casual CTFs / hackathons. Extended timeline, a few weeks to a month, fine if people with jobs play for fun.
The big assumption you're making is that everyone would want another shot at life. I'd be surprised if that were universally true.
This isn't about motivation. Its not even about study, rather how do you go about doing formal reasoning at all? Prove X has property P, what is even the first step? How do we get to the second step, and so on? Doing a proof is not a mechanical process, there isn't an algorithm for deciding what to do next to reach your goal!

Programming is a great example of this. Those lists and arrays don't appear out of nowhere. Someone has to write the code, how do they write the code? Why use a list to store those elements? Programs are generalized to operate on a wide variety of inputs to create a wide variety of outputs, but when you are writing code, you are thinking about just a few examples of those, you imagine them in your head and they guide the code you write. But perhaps the computer could help there as well.
Apple's tech allies oppose the FBI, but still want your data
Pictures combined using Neural networks
A free market doesn't mean anarchy. Like all freedoms, economic freedom is a range. In practice, the closer we are to the "free" side, the better things work.
I envy the monoglot...

"Oh another project, looks like RoR and React"

I have to think about 30 languages and frameworks and figure out the combo to pick..
I've been downvoted twice for the parent comment? I'm sorry, did I get something wrong? Do the Catholic church's woes actually stem wholly from the indisputable fact that they're EVIL, and the fact that they have children/teens which may interest pedophiles/pederasts is wholly unrelated?

Screw this. I take back my earlier remark because I think I've just uncovered the real reason that sex will be a major problem on a Mars mission: it'll be run by a government bureaucracy in a society which cannot talk about them rationally on either side of the topic. It'll be a culture-war thing and the Right will demand vows of eternal chastity not just for the crew but for the rocket technicians as well, while the Left will demand strict polyamorous relationships for all astronauts just to spite the Christians.

society. y'all are all inane
Ada, Eiffel, Java, C#, and Go are doing fine. All making money. :P Three even used in operating systems with two in embedded systems. So, can be fairly efficient, too.

Note: Not to mention Unisys still makes tons of money off their ALGOL machines from Burroughs. IBM & Fujitsu still service PL/1. So, old ones too.
Retail faces many of the same problems - you can check the quality of a pair socks, but if you order a million of them there can be high quality variance and detecting that is non-trivial.

Also common is that you check and verify the quality of socks but 2 years down the line your vendor starts screwing you with lower-quality equivalents.

Quality control is a hard problem in any field.

> "But what stops the place from dropping standards as soon as they get curated? Monthly surprise reviews?"

That's what we do for restaurant hygiene - and at least around here it seems to keep a reasonably good lid on things. With the help of software it's also relatively easy to identify patterns of failure (as opposed to irregular lapses in quality).

> "Even hotels are spotty"

They can be, and this is a large part of why hotel chains even exist - they exist because quality information is really spotty and so the chain is essentially a guarantee of some consistent quality expectation.

Yeah, part of the problem is that many of these companies are middlemen and almost completely uninvolved in the actual product being sold (see: Uber doesn't manage any of its own cars, AirBnb doesn't manage any of its own rooms), and so far the pattern has been to pass the buck to customers with a "buyer beware" notice.

I contend this is not good enough - especially when many of these services are high-priced and advertised as substitutes for actually-curated (see: hotels) products with solid quality assurance. IMO in many of these cases companies need to do more for the margins they charge (e.g., Seamless charges 15% of all orders, but they don't provide any portion of the service, not even the delivery bits unlike Caviar or Postmates).
So, iPads are a physically lighter, and a better value than printed out text books. So what? Netbooks are a better value prop there hands down. They weight about the same, and obviously can display drm'd pdfs without a problem.

My guess is the non-technical people involved with ordering them think iPads are sexy and cool.
I'm curious: how do you market these events? I have literally never in my life encountered a hackathon directly and only know they exist because people talk about them; they are a purely theoretical construct in my world. Through what channels do people discover your events?
We didn't have to wait until the 1930s. Utopian communes in the US were pretty common after the civil war until early in the 20th century.
"Many years later we asked our customers whether they wished us to provide an option to switch off these checks in the interests of efficiency on production runs. Unanimously, they urged us not to - they already knew how frequently subscript errors occur on production runs where failure to detect them could be disastrous. "

I've always liked that part. Once they saw the problems, they'd put up with whatever sacrifices it took to avoid them.
Not to mention, those plugins are a potential security risk.

http://www-personal.umich.edu/~markmont/awp/
The only "thon" I am willing to hack is my own.
IDEA's Maven and Gradle support is pretty good. I haven't had to use any Maven plugins to generate project files for an IDE since IDEA 7. But yeah, mvn and gradle are the definitive, the IDE support is a nice to have.
You can gain a lot of education working on a phd at a good school, even past your masters, and that can help if you are doing more sophisticated stuff. I found my phd helped a lot in my dev work at microsoft and google. Maybe someone with a lot strong BS or MS could have done it, but I benefited from my 8 years at grad school! I'm kind of embarrassed to admit how long it took, but I did finally finish :-)
"But keep in mind: not everyone is Google, not ever web site has a huge amount of traffic. With online ads, payment is usually tied to the click-through rate (CTR). The CTR is typically around 1% (actual percentage varies by web site). So if 100 people visit your web page, then 1 person will probably click on the ad, generating a fraction of a cent. If each click pays $0.001, then you need 1000 clicks to earn $1. And if 1% of uses click, then that's about 100,000 visitors."

I'm not sure where these numbers come from, but unless you are in fact running a spam site, and likely even then, revenue per click is going to be higher than a fraction of a cent. As a random data point, it looks like the combined revenue per click from Adsense on our sites is around 30 cents per click at the moment.
Hmm.

Offline code.org, anyone?
Maybe Python and ARM. Java was a was Worse is Better compromise trying to bring in features from Right Thing languages. Took lots of marketing to make it. C# similarly done with adoption mainly because Microsoft pushed it w/ tooling. They're both Worse is Better candidates. Just not as bad as some others.

Modula-3 or maybe Eiffel would be closer to Right Thing examples in that category.
What is the tooling and library ecosystem like for D compared to Java?
Something like MicroCorruption of CryptoPals, then?

(I haven't tried Star Fighter yet, but I imagine it's similar too.)
This is so true. Working on a relational database, especially a big team system, most people I have worked with did have phds.
Your commercial and competitive hackathons are already covered well by TopCoder and similar competitive programming competitions. There are commercial challenges which generally build against some kind of proprietary API. Then there are competitive Single Round Matches (SRM) which are purely data structure and algorithm based.

Grandstanding and networking sound like b-school entrepreneurship competitions. Who can make the best slide deck. Plenty of companies got funding with nothing more than a few presentation slides and some good talk so I agree it's a potentially valuable thing. It just doesn't reward technical prowess so why feature it at all?

Hackathons are a blend of all of this and it doesn't really do any of them well.

My main complaint about hackathons is that they are a poorer recruiting tool than most people want to believe. Corporate sponsors think they'll be able to spot top talent easier. And some participants think hackathons improve their chances of getting hired. In my brief experience, the success rate is very low on both sides. At best, I think a hackathon is a fun, creative, and social collegiate experience for the participants and another avenue for companies to market their brands to impressionable young minds.
I'm down at the Space Coast right now, and I don't get what happened here. How could a ship violate the range? SpaceX is obviously paying a lot of money to launch from the cape, you would think these types of issues would be addressed.
https://mlh.io/seasons/s2016/events Is very popular for promotion.
This is actually how DHL got their start in the late 60s. They paid the entire flight ticket for people on select routes (initially SF to Honolulu), in exchange for those people giving over their luggage allowance to DHL to courier valuable documents (such as bills of lading). [1]

Two points: 1) they were more innocent times and
2) DHL restricted itself to asking third parties to only carry paper documents

[1] https://www.flexport.com/blog/dhl-bills-of-lading/
What a tremendous waste of space and energy. Millions of people die every year, where would we store them all? And, even if we do later figure out how to recover people from cryonic storage, who knows what pre-treatment will be required to make them eligible for re-animation?
Minuteman uses VAXen:

http://www.pcworld.com/article/249951/if_it_aint_broke_dont_...
I takes me the better part of six months to build something worthwhile. I know I'm a slow programmer but it's still hard to see that anything but trivialities can be built in a weekend.
You can tell from the examples that these are mainly media related. This industry is pretty tight nit with preexisting networks of meetups/listservs/influencers.
Pages define the structure of your site, posts define the content of your site.

But having said that, posts have their own templates that might make them look very similar to pages.
The Tech diversity story not being told (2014)
Watch Deception (2008) – Watch Free Movies Online
No, a Klein bottle is a 4d moebius strip.
I've heard of Cyph, in passing, before. I haven't had a chance to look at the code yet. I presume https://github.com/cyph/cyph is the repo for the actual app?
The position of a 'skeptic' that you adopt is frequently adopted for things related to animal emotion, empathy, intelligence etc. It is often couched in a higher 'we have higher standards for a scientific method'. But it is somewhat misguided.

I find these inferential questions no more fraught than the question that a fellow human, for example, you are capable of intelligence, empathy, emotion. All we can do is make external observations and not get into your psyche and feel what you feel. If the basis of assigning emotions etc to a second person is the fact that I am aware of my own emotions, then it is structurally very limited. It is incapable of making inferences beyond the human kind, and even then it is quite suspect.

I am fine as long as the same standards are used for animals and as is used for humans, without resorting to arguments mirroring 'I know I feel therefore I know you do' or 'I know you feel because you told me so'.
AFAIK, turning off GC in D is not feasible whenever using large portions of the standard library, but there were efforts underway to change that. Do you know if there's been much progress?
Because it's (a) shorter than full texts on the subject and (b) most of that is the examples. For (b), you can choose how much you want to read.
BigData frameworks, libraries and toolsets weekly roundup – Feb. 28 2016
"Just for fun?" They were trying to figure out whether they could detonate nukes in space to blow up incoming ICBMs, which were a real and growing threat in 1962 (unlike anything to do with the Moon).
Unfortunately "As of March 2015, [the developed has] pulled Computable from the App Store because of ongoing stability issues."
Point is to get something done, force you to make choice, have a deadline, etc. -- not something else, like production ready code.
That's not what I or yahyaheee are talking about. Giving scientists ideas is not the same as figuring out how the cosmos works. Scientists are inspired from sources as varied as drugs, fever dreams, and even strokes. But they don't actually discover whether things are true until experiments are performed and observations are made. In other words: A scientist may have first conceived of benzene's correct structure in a dream, but other scientists conceived of many other likely structures. The answer wasn't known until x-ray diffraction was performed on the molecule.

Yahyaheee is saying that the last step isn't necessary for some facts. That is, he thinks some drugs, when combined with introspection, can reveal true facts about things outside of the mind. I disagree.
Just to throw out this idea I've been thinking about for a bit as a ad-golden-rule: The other end of an ad has to have an identifiable person attached (ideally a citizen or from a non-poor country): An ad-auditor.

So now the other end of the ad is not faceless/identiti-less. If the ad is found to serve malware, there's someone to ban/take action against (like banning from a good-paying ad-audit job for life). Ad-networks that require the golden rule can be white-listed by blockers, and become trusted. Networks that don't are considered malware haven.

Could this work? In the current ad-blocking war, the use of ad-blockers will only rise-and-rise, and something has got to give.
There is a trend called "green burial" where just that service is offered. I had to look into it for a client who wanted a green burial dictated in her will. There are local cemeteries that specialize in it. They basically wrap you in a sheet and bury you. No casket, no vault, no embalming.
I've never been a fan of "hackathons" for long term projects going back a number of years.

That said, the group I am part of, we regularly engage in focused "hackfests", where there is a clear goal, people work together, and a lot gets done in 3-5 days.

Is it always complete, no, but for solving spot problems, short term deep dives can be great.

Generalizing that, as hacktahons try to, there will be some interesting successes, but that won't be the norm.
Going to corperate sponsored hackathons and hacking on your own side project is the way I've really enjoyed myself at a few hackathons. I don't really want to learn $COMPANY's API, so I just hack on whatever and enjoy the atmosphere.
Are hackathons just a university thing, then...?
I'd start with the requirements for secure SCM's in general. Wheeler has those:

http://www.dwheeler.com/essays/scm-security.html

Then add endpoint security. Then add certified compilation to know compiler passes don't add vulnerabilities. Then add reproducible builds, cryptographic signing, and so on. Now one sees the scope of the problem. At this point, most people will just ignore most of the problem in favor of implementing a subset and saying they "secured the build and deployment process." ;)
IDEA's native Gradle support is excellent. I haven't had to use Gradle's IntelliJ plugin (the Gradle bit that generates the IDE files) for at least two years now. All I have to do is (on Mac OS X):

open -a /Applications/IntelliJ\ IDEA\ 15\ CE.app build.gradle

At work, we have a Gradle project with 346 submodules. We have about 200 engineers working on the codebase. Gradle/IDEA combination works well beautifully.

There are a few rough edges, especially when one uses custom source sets. IDEA 16 is going to get better support for that [1].

[1]: http://blog.jetbrains.com/idea/2015/12/intellij-idea-16-eap-...
Hello Barbie. The doll that REALLY listens
No, the big assumption here is that cryonics will ever work.
See That Billboard? It May See You, Too
At one stage I suspected I was in charge of the oldest in use computer still running in the world.

In 2001, the Australian Navy still used the Mk152 computer. https://en.wikipedia.org/wiki/UNIVAC_418 on the last remaining Charles F Adams class destroyer, HMAS BRISBANE.

It was a general purpose computer entirely constructed from individual transistors with magnetic core memory. We had two of these onboard and if both were down we couldn't fire the missile system. I had 3 sailors dedicates solely to keeping these ancient machines running.

We got to diagnose some pretty cool bugs, like what happens when the card corresponding the the lowest significant bit of the least use register has an intermittent fault due to a bad mechanical connection.
this is the clearest summary I've seen, thank you