skysight-inc/HackerNews huggingface dataset:
Inflaming indignation like that isn't righteous. It's a mob behavior, not much different whether the target is guilty or innocent. It's just more socially acceptable when the target is (or is seen as) guilty.

Group rage is good for bonding a community—as Phil Ochs once put it, "the family that slays together stays together"—but that's not the kind of community we want HN to be. Indeed, how we react to situations where someone is (or is seen as) obviously guilty is a good measure of how well we're holding to that standard.

I realize the above may sound counterintuitive, but consider that the comments we get are the best predictor of what we'll get more of. Do we want more of those? The dynamic they lead to is people one-upping each other with fiery denunciations and getting ever more reflexive. We can't have both that and reflective discourse, and we want reflective discourse, including about bad things.
Vendors Must Cater to Developers or Die
> But you don't need to. We are talking about rewriting internal code that no one intends to touch, not about improving APIs.

But it has to be touched, because it contains mistakes!

> Sure, so wrap C code with Rust. That's a whole other matter than rewriting it.

Reimplementing things in Rust from scratch has an important advantage: abstractions can be redesigned to maximize the extent to which the contract between API implementors and users is captured in types.
“Serverless” is just a name. We could have called it “Jeff”
Serverless: what's in a name?
Young people in China has a special bond with the Warcraft franchise, which is absent almost everywhere else in the world.

Consoles were banned in China for two decades--basically a whole generation had limited access to games except on PC. In addition to this, there was the censorship that excluded many other foreign games, further condensing audience population on games like Warcraft.

For Chinese young people born in the 80s and 90s, Warcraft is something like Star Wars, it's one of the things that gets to represent their childhood memory and teenage years.

The Red Alert series, also hugely popular for the same generation of people, despite being banned, would probably have enjoyed similar success in China.
If the API isn't template heavy, a typical solution on Windows is to access C++ via COM, and on Mac OS X via the Objective-C++ runtime.

As of Windows 8,it is even easier given the new COM ABI model aka WinRT that all languages that wish to be used must support. You just need the ability to use WinRT projects on the language tools.

On mainframes like IBM i, you can take advantage that all languages, including C and C++, compile to a common bytecode to make some wrapper libraries as well.
But isn't that the whole point of technology? Ultimately we want to fulfill all our needs without any more effort than physics requires. As we get closer to that we have to shift society around, but isn't that a good thing?
The world’s languages, in 7 maps and charts
How are integrated circuits fabricated?
Best Times to Post on Social Media
Isolated Development Environment Using Nix
Interesting. I'd definitely believe that for some of those clusters (particularly the inverted Y). Not sure it fits with the cluster near Peru, and definitely not the one in northeastern Colorado.
but nowadays I cannot figure out how the heck I actually was able to do that.

I think without the adversity, overcoming it seems stupid/difficult/impossible.
> The most extreme example could be 'dithering' a grey square into 1) a black square and 2) a white square, and when they are rapidly switching between the two it might appear as a grey instead.

I remember seeing old STN grayscale LCDs that seemed to work like this (and I even implemented it myself on the TI-83 as a test)

edit: looks like is called "Frame Rate Control" and used to be common http://robotics.ee.uwa.edu.au/eyejr/lcd/FRC-information.pdf
> The whole point is that with some additional code changes (especially around pointer usage) one WOULD detect errors at compile-time.

The point isn't just detecting errors, but rather completely disallowing code that does unsafe things, by turning every undefined behavior into a compilation error. Unfortunately, determining whether a C++ program has undefined behavior is equivalent to solving the Halting problem.
System Under Test: GNU Make
If only we could use it!

https://news.ycombinator.com/item?id=6014632
Syslog, a Tale of Specifications
Some other went to jail for making a business out of publishing sex tapes without victims' consent:

http://www.theguardian.com/us-news/2015/apr/04/revenge-porn-...

I think gawker got away pretty well with just a fine.
Same here. Windows, firefox, with or without ublock. Also unrelated (or maybe it is?), the audio downloads from soundcloud are returning a 429 Too Many Requests now.
I've been having fun using your stack along with RethinkDB's Horizon.io. Great way to get basic apps going!
I'm from Detroit as well, moved out here 3 years ago. I will probably move back in the next 2-3 years, but I currently make about $15k/mo doing software contracting (this is before paying any taxes, health care, etc.). I live in Mountain View, have a 700-800 sq ft 1 bedroom for $3000/mo. I currently am easily able to save $5k/mo towards retirement. I don't think I could do nearly as well as this financially back home.
AngularJS vs. Ember.js: Which JavaScript Framework Is Best for You?
Using the Not_null Template for Pointers That Must Never Be Null
Those are some nice metaphors, but what would a concrete example be, where you absolutely need unsafe memory operations to archieve certain performance levels?

("Need" meaning "it's fundamentally impossible to do it safely", not just "the language provides no way to do this")
It's a downer to me, that despite the stated aim of "keeping housing affordable", prices of such apartments will usually default to "still eating most of the household's income".

Is this proof for too much or too less government intervention? Or is the usual increase in price caused by the new micro-renters themselves, in that they are increasing attractiveness of the area?

I think it's most likely just that: We're bad savers and not being in the red at the end of the month will turn off the biggest behavioral signal for switching expenditure habits.
I lived in an apartment smaller than this in Lausanne Switzerland. This seems like luxury in comparison (granted, mine only cost 800 CHF in rent but...).
> You can do all the analysis you want, and put in all the procedures you want, but in the end people are submitting changes to these libraries, and you need to make sure that these people are ensuring the tools get run prior to release. Additionally

This sounds like a problem that's easily solved with tooling, including continuous integration and mandatory pre-release testing.
No. If that were to happen then I imagine that the discussion would shift to which Theranos executives will be going to prison.
This is really awesome. I have bookmarked it and i know i have to visit regularly.
It's certainly possible to capture everything a human can know in one database. The human brain demonstrates that it's possible. It might be a bit tricky to capture artifacts that come from messy wetware with something simpler than a simulation of messy wetware, but there is no theoretical barrier to having all human knowledge in one query-able location.
> when we all admit that we like Peter Thiel

Careful with your generalisations. Some of us do not.
The End of the Router? – Hyperscale Routing
> But it has to be touched, because it contains mistakes!

Sure, but where exactly? Is manual translation into another language the best bang-for-the-buck approach you know for finding bugs?

> Reimplementing things in Rust from scratch has an important advantage

Of course it does! But is it the most cost-effective way to improve vast amounts of legacy code that isn't under active development?

Just for the sake of argument, suppose some 10MLOC (which comprise a minuscule, nearly negligible, portion of all legacy C code) contain, say, 500 serious, dangerous bugs, 450 of them could be fixed in a Rust rewrite that would cost $10M, while, say, 400 of them could be fixed using C tools for the cost of, say $1M. Wouldn't it make much more sense not to do the rewrite for 10x the cost and 12% of added utility? Of course the situation could be much more in favor of Rust or in favor of C, but we don't know! Wouldn't it at least be far more responsible to use tools that would help us know where we stand for relatively little effort before we commit to one approach over the other?
> Yes, Rust is safer in and of itself, and "encourages" safety, but it is also like riding a bike with a safety wheels and cushions strapped everywhere. At some point it will start just getting in your way more than helping you.

On the contrary, having the compiler worry about correct resource management frees you to concentrate on other things.

> In the end it boils down to purity and elegance vs. efficiency and practicality.

You'd be surprised. Elegance and efficiency are aligned more often than not.
A phone ringing is an interruption.

Being expected to check your emails is an interruption.

Someone entering or leaving past you is an interruption (this is why open plans and shared offices of any sort don't work well for tasks requiring open ended concentration).

I don't actually believe that most people understand these issues, they don't understand the difference between the simple menial tasks, the small steps of implementing little details you've done a thousand times, and the large leap to actually keeping your mind full of a problem to solve.
Overall user experience comparing to Slack is much worse.
Last Week Tonight with John Oliver: Retirement Plans
That was my impression too. In particular the types of meetups seem very limited to tech topics. Some are ok, mostly those that are actually meant for non-topic specific networking, like hiking groups etc, generally sports outside of clubs.
Which doesn't detract from the fact that it's easier to carefully add freedoms to a safe language, than it is to constrain an unsafe language until it becomes safe.
Sampling a bunch of the jobs listed for Seattle shows that most are senior level. Senior level in Toronto is less on average, but it's definitely not half as much in comparable places.

One notable exception is Amazon, who starts people out of school at 90k. This is definitely an outlier. If you can get into Amazon out of school, might be worth taking advantage of it.
Accusations of astroturfing without evidence are not allowed on Hacker News. An opposing view does not count as evidence.
Previous discussion: https://news.ycombinator.com/item?id=11860491
React.js Conf 2016 – Gaetan Renaudeau – Universal GL Effects for Web and Native
https://news.ycombinator.com/item?id=11885411
> I wonder who inside the company is responsible for writing all of these? Holmes herself?

Hey - someone can do some NLP work to estimate number of authors, right?
I was just about to comment, that this "apartment" is pretty much identical in size and layout to an apartment my parents got from the communist government of Poland in the 70s. It was small, but at least it was free - is $2400/month a common price in New York? I currently live in UK and pay $900/month for a detached 3 bedroom house, $2400/month is more than I make a month as a c++ programmer - just seems very very high to me.

Edit: I do make more than $2400/month, I fudged the conversion rate
What does running a company have to do with science? I'm being serious here. It's not like the Ceo of a company is going to personally check on lab results.
The C community has things like Frama-C and CompCert, because they're not pursuing exponential complexity in their language.

As you correctly point out at first, the value of a language is more than the language itself, it's also the tooling and the environment. And since you can't retrofit safety in the language, it's a good place to work on it.
this was hilarious when they got to how to apply the rules to javascript and half of them don't apply because they're about memory management.
Spammers have been copying comments from other places onto HN lately, presumably to build up karma. We ban such accounts. If anyone notices evidence of this please flag the comments and/or let us know at hn@ycombinator.com.
Chx – wrapper on top of chalk to make outputting HTML on a terminal
We detached this subthread from https://news.ycombinator.com/item?id=11888315 and marked it off-topic.
> On the contrary, having the compiler worry about correct resource management frees you to concentrate on other things.

It's a hindrance when you're trying to prototype things to see if something's even worth while.
Even though the seed is frozen, respiration still goes on -- albeit slowly -- and eventually the seed will run out of fuel and die.
> Unfortunately, determining whether a C++ program has undefined behavior is equivalent to solving the Halting problem.

The Core Guidelines analyzers do not try to accept all valid C++ programs, or even a large percentage of real-world C++ programs. In principle they will accept a subset (+ annotations), a language within a language, designed to make it possible to statically verify memory safety, similar to Rust.
Yes, game playing AI has progressed immensely since 2009, as evidenced by AlphaGo. I haven't looked at poker playing specifically, but I'm convinced that if there's a high-stakes game played online that doesn't have known superhuman bots, that's merely because the people who have made those bots make a fortune on keeping it secret.
But that's like a domestic flight, because both are part of the Schengen Agreement?
The regex crate in Rust works perfectly well on stable, AFAIK. The author has improved the runtime-constructed regexes to be much faster, while those same improvements haven't yet made it to the compile-time macro-constructed regexes. So, to get the most speed, one gives up having a hard compiler error when using an invalid regex literal. That said, the clippy tool (https://github.com/Manishearth/rust-clippy) can do compile-time verification of regex literals, but it depends on nightly Rust because it relies on deep integration with unstable compiler internals. (The regex crate also has a new optional nightly-only SIMD-accelerated algorithm, but it's otherwise fully functional on stable.)

Re: nightly features, I agree that there are several things which Rust really needs to stabilize to achieve many of its goals (stable SIMD, inline assembly, procedural macros, stable custom allocator support, the Rust Language Server for IDE integration, etc etc etc). Now that the major compiler internals refactoring of the last year is nearly complete, my understanding is that we may start to see more aggressive progress on some of those items which keep pushing users to nightly Rust.
Don't you find the "Technologies" list quite limited? How one would search e.g. C++ jobs? Please at least provide a free text search.
There is a vast vast difference between secretly and openly backing legal action. If thiel had been in the court with a "privacy for billionaires" banner then I would not nearly be so concerned. But it was mere accident - years of litigation without any indication he was bank rolling this stuff, the courts did not know - that is unacceptable. Courts must know this stuff

And political is not quite the right term - this seems way more personal and vindictive
It's also a lot cheaper (about a fourth if I recall correctly) and has good integrations with the other Atlassian products.
> It's a hindrance when you're trying to prototype things to see if something's even worth while.

I don't see the value in deliberately writing software of non-optimal quality. Bugs can happen to anyone, but I take issue with not aiming for excellence.
Scam at its best.
The Most Terrifying Thought Experiment of All Time (2014)
I agree with the sentiment that being snarky doesn't help, but I think ddebernardy is correct when saying:

"Sure, a good samaritan could do the work, figure it out, learn something new in the process, and answer. Maybe they'll even answer it another few times for the feel-good factor. But at some point they'll get bored or irritated, and therein lies the rub."

Personally after having answered a lot of questions - in a nice, helpful way, mind you - questions whose answer could simply be "RTFM", these days I just avoid them. The problem with these kinds of questions are that more and more they offer nothing to the person answering them. A lot of them are asked by people who created an account on SO just to ask that question and then throws away the key (to that account). So don't expect to get any feedback, whether karma, comments or to be marked accepted. Don't expect there to be an interesting discussion with other devs with different experiences. I mean, I was answering questions on forums long before there was any karma involved just because I like to help/teach, but for that to be interesting to me who answers questions, there must be some sort of feedback. Karma is one way but I always preferred the good ol' discussion. It means I get to learn something as well. Questions answerable with "RTFM" offer very little of that.

I guess what I'm saying is that people who answers question on SO (or similar sites) are not getting paid to answers those questions. They do it for fun, learning experience, karma, status or whatever. So there has to be something in it for them as well.
They have greatly reduced cost and increased capability to a level that arguably would never have been reached by NASA, all without loss of life.

Well, they haven't attempted manned space flight yet, have they?
Is there some market value to HN karma? It's even less useful than gold in an MMO!
> The Core Guidelines analyzers do not try to accept all valid C++ programs

I'm aware. My point is: Are the Core Guidelines enough to completely rule out memory errors? This is essentially a type safety claim, and thus requires (possibly informal) proof.
Agree that reflection and contemplation is important.

Likewise, writing your thoughts out is also powerful and sometimes, being forced to edit your point down to one or two 140 char snippets is not such bad thing either.

Similarly, being exposed to the views of people you would likely never meet in pre-internet/social media times is no bad thing either IMHO.

"Everything in moderation" and "Variety is the spice of life" are aphorisms that persist for a reason.
I think history records that the night sky has always been appreciated.
Is it legal to fund another parties court case, to influence their decisions (why did hogan drop insurance-covered issues?) and do so without knowledge of court? I am not sure those are clear answers - we shall see.
Operations Center for the Public Safety
I'm the author of ag. Hardware may or may not support it, but the algorithms involved are embarrassingly parallel. Searching involves no data dependencies between files. If you're searching 1,000 files, finding results in file #827 doesn't require any information from files 1-826. That's what I meant by "embarrassingly parallel".

Side note: originally, ag was single-threaded. When I added pthreads, it only gave a 15% speedup in my test benchmark.[1] The speedup is larger if checking a file for matches requires more CPU usage (such as when using a complex regex).

1. http://geoff.greer.fm/2012/09/07/the-silver-searcher-adding-...
We detached this subthread from https://news.ycombinator.com/item?id=11888940 and marked it off-topic.
So you are disappointed some random language isn't more like what you imagined. Great. Here's to hoping you don't go about your day with the same attitude.
For people who think this universe is a simulation, maybe the simulation is possible because the next universe up has more dimensions. (Maybe the 20+ dimensions some string theorists talk about.) Despite Flatland, you can't really do much in 2D; the connectivity is too limited. 3D is a minimum for life.

Computing would work better in a higher dimensional space. Propagation delay is less of a problem because you can have more things closer to each other. Cooling would be easier with an extra dimension or two into which heat could be radiated.

But if higher dimensional beings want to run a universe simulation, 3D would be enough for entertainment purposes.
Email hn@ycombinator.com
We detached this subthread from https://news.ycombinator.com/item?id=11889046 and marked it off-topic.
Not an expert, but it seems to be built with meteor.
> The C community has things like Frama-C and CompCert, because they're not pursuing exponential complexity in their language.

Could you elaborate on what complexity you are referring to, and what makes it exponential?
Our immune system is pretty good at identifying all kinds of foreign proteins. Unless a virus or bacterium has specifically evolved to evade our immune system, its chances are pretty bad. I wouldn't be too worried.
You are right. rust is lacking many many things. C++ will still be around in 30+ years. But remember, C++ has a good 10 year head start on java, and java gained a lot of traction because of all the tools they didn't have to build.

Nobody needs to build valgrind for rust (or your favorite alternative). Leveraging existing libraries isn't trivial, but it's not a year long project either. IDE's support a lot of languages out of the box. rust support will be rough at first, but quality will be proportional to use. I suspect microsoft could build the layers you want like they did with J++ very quickly. A year? maybe 2?

The biggest bottleneck, imho, is developers. I don't think many people really know all the dark and scary corners of C++, but there are a ton of people that can get stuff done in C++.

If schools start graduating people with rust experience, the writing is on the wall for C++. Shifting school curriculum takes a big reason. Maybe a hit indie game, maybe some other killer app. I don't think servo is the one.

Really, it's a testament to the quality of the language that the complaints are all along the lines of "it's fantastic, but the tooling..." Don't underestimate that. Tooling can happen real fast.

Is rust a sure thing? no. absolutely not. does it have a chance of becoming the systems programming language in 10 years? Yeah. i think it does. i think it's got better than a 5% chance of doing that. 1 in 20 is a perhaps an insanely high number. The language is just so very good.
Probabilistic Data Structures for Web Analytics and Data Mining (2012)
For questions like this, you should contact the moderators at hn@ycombinator.com.
That is exactly the effort done in our group before (from TLA+ to real C++ implementation) - the challenge is that the gap between specification and the implementation is large in terms of both implementation details and language expressiveness. As a complementary approach, we have come up libraries for distributed system development with built-in implementation-level model checking support. You may check out https://github.com/Microsoft/rDSN for details.
There are plenty more warnings to turn on than what -Wall uses.

http://stackoverflow.com/questions/11714827/how-to-turn-on-l...
The Saarland University has a (pretty small) botanical garden that is open to the public.
"Unfortunately, determining whether a C++ program has undefined behavior is equivalent to solving the Halting problem."

Sigh. You can write undecidable programs, but you don't want to. This issue has been neatly addressed by the Windows Static Driver Verifier. If it can't decide if a driver is memory-safe and API safe in some number of minutes, it quits, and Microsoft won't sign the driver. About 5% of drivers hit this problem, and need some rewriting.

If your kernel driver is anywhere near undecidability in memory safety, it's broken.