skysight-inc/HackerNews huggingface dataset:
Dev stops. That's reality. If you hand-wave it away, your tellers go down, and you, the CIO, lose your job.

Not all software is under your direct control. Once business processes achieve a stable working state, it is imperative that they maintain uptime, sometimes in excess of six-sigma uptime.

Imagine your business is NASA. Are you going to let mission systems auto-update 18 secs before launch?
Wow! fantastic!
"unsafety" rather ? ;)
decreasing non-safety is not the same as increasing safety. One starts with the assumption that things are safe. The other does not.
Just kind of.

Kernel headers are only an issue on free UNIX like OSes, on other OS what matters is what the SDK provides.

So at least in what concerns Apple, Google, Microsoft and every other commercial vendor OSes, don't expect a big issue having their SDKs updated when they start supporting modules.

The problem is getting the BSD, Linux and open source libraries without a specific agenda to adopt them.
Yes, very much so. Many organizations large and small, including Google itself, are using A2 in production for large important project. This was a good topic of investigation 6+ months ago, it is pretty moot at this point.
Yes as we move forward we should strive for more safety but 'countless lives lost' looks to blame software for that.

I think realistically we need to ask: would it be a better situation if no system program were allowed for lack of safety. Because I think humanity in general is better with existence of unsafe software vs no software exist at all unless it is safe as per rigorous safety standards.
While I respect what you're saying, and agree to a limited extent, I don't agree with the idea that people, and society, are completely impermeable to analysis. Perhaps you truly are neutral on the question of democrats and republicans, and have no preference regarding Hillary, Trump, Sanders or Kim-Jong Un (given your view that we can only understand something through experiment and direct experience, and not through logic, reasoning and extrapolation).

However, if you do happen to have political opinions (that you think are well-reasoned), then you are engaging in this form of 'misguided analysis' that economists also engage in (albeit unknowingly). As for the 'economists' who claim to 'know the optimal answer', I guess I've just been fortunate to have never encountered one. More precisely, I've never run in to one in the various federal economic public policy organisations where I've spent the majority of my career. Where do they hang out?

And good luck designing experiments around, say, national healthcare policy that 'fail safely'. I think you'll find that an alarming number of them end up 'failing deadly'.
What constitutes a strong compatibility guarantee?

How many breaking changes happened in the past 18 months?
Thomas C. Schelling: A Reminiscence
Chrome is the new IE. Enterprise apps are being developer with the assumption that they will only even be run on Chrome, and become fragile because of that assumption. A recent example: someone has set up a race condition of timers that was only working (i.e. resolving in a specific order that is needed for the app to work) in Webkit-based browsers. No one cared to fix that, because it did work in Chrome, and that's all that's needed.
Why doesn't anyone comment on my posts :(
I'll take a look - thanks! note that we do limit the line somewhat since the best matches are curves, lines, etc and self intersecting lines don't match very well.. The best kinds of lines are like the ones in this video (https://www.youtube.com/watch?v=w6-LK9BOVTA)
I just took a very quick look at Bazel and saw that Windows support is "Highly Experimental" which concerned me. I've been looking around in this space recently as I'm getting into C/C++ again (ARM uC stuff) and all three platforms are fairly important to me for what I'm doing. I'm a big Gradle fan and Bazel seems like a natural next step if it's not problematic.
> A good type system (e.g Rust's, Haskell's..) can eliminate all type errors from your programs.

Do you consider silently trimming value during mandatory explicit type conversion a type error?
13 Things You Should Give Up If You Want to Be Successful
I can't put numbers on it as the codebase no longer exists in that form, but I can tell you what I consider "unbearably slow".

"Unbearably slow" is when the compiler takes too long for me to stay focused on a single task. So compile times in the minutes are a blow to my productivity.

The machine is i7, 4 cores, 8G RAM, SSD. Definitely not as beefy as it should be.

But my point isn't about how to optimize C++ compile times by adding more hardware. It's about the relative impact of "modern" C++ compared to traditional C++. There shouldn't be a disincentive to using modern libraries.
14- Click baits.
> It will eliminate errors related to the use of a given programming language. It will not necessarily avoid systemic errors.

Like I said: It will eliminate a specific class of errors, namely all type errors. Your program will literally not compile if there are any type errors.

> The programming language is only one part of the problem. Safety is a wider issue than just the use of a programming language.

Sure, I don't disagree with that statement. But it's important to recognize that eliminating whole classes of errors is extremely valuable and allows us to focus on the important things.
You're right, computer vision is/would be definitely a part of it. Thanks for the link. Guru seems a bit pricey for a hobby, but maybe I'll go with it.
Manufacturing pharmaceuticals is not cheap or easy. Even the US's National Institute for Health had to shut down producing drugs for clinical trials recently due to GMP violations.
> Currently Rust is about Go's age but nowhere close in usage.

Rust was released in 2015, it's merely one and a half years old, while Go was released in March 2012.

If you count the inception period of Rust (pre-1.0) you should also count Ken Thompson's and Rob Pike's work at plan9, which doesn't make more sense …

Fun fact: Go's first commit is 44 years old [1] ;)

[1] https://github.com/golang/go/commit/7d7c6a97f815e9279d08cfae...
Mobile app development future with HTML5
Given how much work and communication about work is technologically enabled today there shouldn't be a higher risk of being treated as disposable, but despite working remote for many years for a larger corporation it did feel like I might have gone on the chopping block somewhat sooner when the recession hit. Though in the end it might not have mattered because the recently appointed president of the company took the recession as an opportunity to replace most of the founding leadership team of our business unit with people of his own choosing.
I believe you have three choices with Ada:

1) No manual memory management, everything is static and you have memory safety

2) Garbage collection, you have memory safety

3) Manual memory management, you lose memory safety

Rust provides memory safety in the case of manual memory management.
Yes, for instance, it's easy to create concurrent programs that are semantically wrong (in other words inadequate for use) albeit correct in terms of "types" because the coder made an erroneous assumption about determinism somewhere. The type systems that we see nowadays do not help with that.
Jobs that are vulnerable to automation are generally not worth keeping. That's no comfort to those loosing them though.

Science fiction from the 60's painted a world where people would lounge around in their airships hopping between beaches, and mountains and parties while robots took care of everything and the lord scientists and engineers that gifted the wold with such plenty smiled benevolently down on the citizens of the Age of Plenty. Yea that did not happen, nobody thought about who would own those automatons, and lo, it was not us.
Thankfully there is __int128 these days natively!
I type at 65+ WPM, so a little faster than you. And I'll tell you what, it's
not the typing speed that irritates me whenever I and one of my colleagues
work with the same screen (me looking at somebody's hands). It's not even how
effectively they use their code editor (although it used to). It's how fast
they can follow my reasoning, my instructions, and how effectively they solve
my steering questions (I have this (bad?) habit of making my colleague to come
to a conclusion on his own) [&].

I don't think any of your colleagues considers it a problem that you type
slower than them, and to me, faster typing is more of a party trick than
a necessary skill.

Of course I understand that my comment here may not ease your mind in the
matter if you happen to want to actually type faster (as opposed to wanting
not to be burden for colleagues). Unfortunately, I can't offer you much of an
advice, barring maybe seconding the howlett's comment about looking a word
ahead of your current position.

[&] Now that I think of it, the speed of following is probably much more on
the side of me not knowing how to pack more precise information and my thought
process into sentences than anything else.
Sorry but why is that a bad thing?

I can understand that it's "bad" that their story was lacking at release, but isn't it awesome that they'd go to such lengths to serve fans and buyers and have a good product in the end, if not in the beginning?
Not only does Dev stop, but the people that built the app, agreed on the specs and really understood it, all left too.
Auto update is unfortunately something that's just not worth the risk in a lot of cases.
People buy goods, often from companies other than their employer, because the goods provide utility to the people buying them.

Why would robots, or more accurately the companies that own them, buy goods from other companies outside of those needed for the company's own business? There's no incentive to do that.
Ada still requires manual heap management, although it can be mostly automated.

So you might occasionally see the unsafe package being used to deallocate memory, even though there are better ways to do it, e.g. controlled types.

The other point, is that Rust prevents data races via the type system, while you can deadlock Ada tasks if the monitors aren't properly implemented.
Why would variant be deprecated for C++20?
Whenever I read a story about the US justice system here on HN, it almost always includes incredible level of harassment towards peaceful, (usually) law-abiding citizens.

In this particular case I was surprised (as a European) that one can be summoned to a court outside of their home town. In my country it's unthinkable that someone from another city could sue me and expect me to go there for a court hearing. I'm sure there are exceptional cases where someone might be summoned, say, to the capital, but AFAIK this would be a very unusual case.

Little things like this - lies, misrepresentations, pressure; I am more scared of police and other agencies when I think of visiting the US than I am of criminals. Unsettling.
I guess you could move the decimal point a bit and just add zeroes on output for that particular currency. [Not serious, this is a strong argument for int128 for currency... wow]

Gas stations in the US had a similar problem in the 1970s; most pumps didn't go over 99 cents a gallon. Took a few years for things to be retrofitted.
There are really only two popular Rust libraries that use unstable features:

1. serde, the best serialization/deserialization library. This works on stable now using the `serge_codegen` crate and a custom `build.rs` script. This will Just Work on stable with no extra setup once Macros 1.1 lands, theoretically in about 5 weeks. But I'm using it on stable now in a half-dozen projects, thanks to a `build.rs` script.

2. Diesel, the high-level ORM library for Rust. This works on stable using a `build.rs` script, and 90% of it will work on stable without the `build.rs` script once Macros 1.1 ships.

There are a few other experimental libraries like Rocket (which looks very slick) that only work on nightly Rust. But I don't think any of them are particularly popular yet.

Personally, I maintain something like two dozen Rust crates and applications, and only two use nightly Rust. Both need Macros 1.1, which should be on stable in about 5 weeks.
Some newer Markdown editors will style the raw Markdown in addition to providing the rendered form, such as StackEdit[1] or Nanote[2] (my own work).

[1] https://stackedit.io/editor

[2] https://nanote.co
I haven't been myself but my wife is a process engineer and had to go to China to install and train people on a new machine so this is only second hand...

But one of the reasons China is so good at manufacturing is because everything is in one place (or at least clusters)... need 10,000 of an Integrated Circuit? The company that makes it is literally down the street. Need some raw materials? That's down the other street.

I can't think of a place in the US that is like that. If we need parts we have to wait for them to ship. (often from China)

It's not just a labor problem. It is my understanding to be competitive in manufacturing you need to be vertically integrated. And I think that is harder to do in the US.

Although I hope it is true. I live in the US but I don't believe in inherit United States exceptionalism but I do feel like shipping goods by container ship is bad for the environment and bad for consumers. I'd much rather see things made locally.
The Gender Balance of Fiction, 1800-2007
The Economist/YouGov Poll, December 17-20 2016 [pdf]
مشاهدة مباراة الاهلي والزمالك بث مباشر يلا شوت ماتش مباراة الزمالك والاهلي اليوم
Thank you for those links. One thing that jumps out from the links is it looks like the US has an absurdly high corporate tax rate but if you click through you see it is only high because there are few data points and China and India bring down the average.

Very interesting.
I wrote this out yesterday: https://news.ycombinator.com/item?id=13267399
You fool. How dare you suggest this was a Child Porn case? Even if it was - you dare to suggest that all of our personal liberties need to be shed to allow the executive branch to traipse through our private communication.

Shame on you.
Yep, that should work. Two commits earlier is the actual 1.1.0 release, before some restructuring to make room for the React Native stuff, so that may be a little better to work with.

https://github.com/alangpierce/LambdaCalculusPlayground/comm...
Inflation doesn't cause the real value of investments to increase, because the real value is the nominal value relative to general prices (and inflation is increase in general prices.)
Website design trends coming to WordPress in 2017
Far too many to list here. A small sample:

- https://github.com/mholt/caddy

Caddy is an HTTP/2 webserver written in Go that integrates with ACME and serves websites of TLS by default. It powers https://paragonie.com and manages our HTTPS certificates automatically.

- https://github.com/twigphp/Twig

Twig is one of the sane templating languages for PHP projects that I use extensively.

- https://github.com/composer/composer

Composer revolutionized PHP development.

A lot of the "PHP sucks" arguments focus on things that haven't been true about the language since 5.4 (or earlier), but one thing that truly did suck was dependency management (before composer came around).

Dependency management also sucks in other languages (and still sucks in those). I suspect that's why few used that as a criticism of PHP.

- https://github.com/jedisct1/libsodium

Libsodium: modern cryptography that you can likely find bindings for in your favorite programming language.
ArnoldC – Arnold Schwarzenegger based programming language
> Any time your code takes in untrusted input, it should not be written in an unsafe language.

So basically just about all programs, all of the time?

https://www.owasp.org/index.php/Don't_trust_user_input
Three window modes in Windows: full screen, borderless and windowed.

Full screen will take up the entirety of the current monitor with no menu bar. If the resolution of the app doesn't match the monitor, it will either skew the content (common) or add a black border (uncommon) to fill the unmatched window space. Removing focus from a full screen app will minimize it to the tray. Games and some video players are typically the only apps that use full screen.

Borderless is the same as full screen, except the content will not be minimized if the app loses focuses. Text editors/IDEs in "distraction free" mode, full screen mode for browsers and games set to borderless are typical use cases for this mode.

Windowed has three icons in the top right with minimize, restore/maximize, and exit always on the menu bar in that order. The menu bar is draggable. Double clicking the menu bar will maximize or restore down the application.

The notable exception to inconsistent behavior is the exit button. It used to be that the exit button would cleanly shutdown the responsible process. Devs now sometimes input a menu option that makes the exit button close the window while leaving the process running in the background. The app still resides in the system tray. Apps with this behavior are usually communication software (Skype, Slack, ICQ) or something that processes data in the background where a main GUI isn't always needed.
FWIW, Go and Rust are 16 and 43, respectively on the TIOBE index:

http://www.tiobe.com/tiobe-index/

A Github search turned up 2,658 Go repositories with more than 100 stars:

https://github.com/search?l=go&q=stars%3A%3E100&type=Reposit...

compared to 348 Rust repositories:

https://github.com/search?l=rust&q=stars%3A%3E100&type=Repos...

Notably, Docker has more stars than Go itself.

Edit: you may also be interested in IEEE Spectrum's interactive list of the top programming languages:

http://spectrum.ieee.org/static/interactive-the-top-programm...

With the default parameters, Go and Rust are 10 and 26, respectively.
BabelNet – The Largest Multilingual Encyclopedic Dictionary and Semantic Network
> Most people use stable Rust.

However, many popular or important libraries like Serde or Rocket require the use of nightly. I recall the article a very short while ago on the front page that noted how Rust has effectively diverged into two languages, stable and nightly.
Not overkill at all, but youy should know that there are a lot of competitors in the e-discovery software category, and they do a lot besides classification, starting from the ingestion of email archives, through extraction of attachments (recursively, because Outlook PSTs get mailed as attachments too), identifying and attributing quoted text, deduplication of messages and documents, SNA, clustering, normalization, canonicalization, NER, synonym identification (aside from correctly identifying people referred to by nicknames, advanced implementations can also figure out when people are using a code-word to evade filters), etc.
You need to remember that Unity 8 is still in a early alpha stage and it won't be ready as the default ubuntu desktop till 18.04 or even further.
Funny, to me it's the opposite; one can't imagine such a fantastic technology without making it sound like magic anyway, and I respect PKD for avoiding the inevitable technobabble-laden "explanations" of how it would work.
i've migrated back to r for various reasons, but wes really is a beast in the python finance world.
We really need economic indicators that reflect conditions for most people, not just the top few. Indicators that are often used in the news like rising GDP, house prices and manufacturing output are pretty useless if only a few get benefits from them.
It's not "countless" it's "uncountable" because we couldn't agree on what a software caused death was.

In my CS program we had an ethics class that included stories of bad X-ray machine software that overdosed people. Bad, bad bad. I don't think many people died as a direct result, but 10 years later there was probably a spiked cancer incidence. Did software kill people? Well yeah....kinda.

In airplane systems, there have been a number of cases where bad alerting / warning systems basically either misled the pilot or lulled them into a false sense of security prior to events that caused crashes. Did software kill people? Uhm, yes, I think, sort of, but not directly?

It's only when we get fully sentient AI that arms itself and decides to clean up the human pestilence that we'll be able to draw a straight line there. :)
Real media vs. social bubble of Facebook
GC was dropped from the Ada2005 standard, because no Ada83 compiler ever implemented it.

Ada provides more ways to automate memory management, though.

Controlled types are Ada's version of RAII, used for arenas and smart pointers.

Also in Ada you can dynamically allocate everywhere, so a common pattern is to use a subroutine parameter to do stack allocation. If it fails, by throwing an exception, recall the subroutine with a smaller size.
You can't read this without a username & pw.
Don't know about these days, but Michigan/Ohio area with car parts comes to mind.
Well, Go is Limbo with some Oberon-2 touches.
Looks like "technical specification", based on http://open-std.org/JTC1/SC22/WG21/
Ask HN: Benefits and Drawbacks of Fully Transparent Financials
Hi,

Years ago I read in a Seth Godin book (don't recall which one) that a potential value point in a company could be their having completely transparent financials. But it didn't go any farther than just that statement.

I'm curious to know if anyone here has done something like that, what happened, & how it might've been either a good thing or not.

In what cases could such an approach provide any benefit?

Thanks-

-c
Interesting, but I was disappointed that there were no details of how people were tortured. I know it's ugly, but I believe that the details should be explicitly described as a warning for future generations.

The proximity of the prison to the city reminds me of my home country Tunisia prior to the 2011 revolution (the so-called Arab Spring). Some of the worst torture of political dissidents took place under the building of the ministry of interior on the busiest street in the capital. Thankfully, the death toll never was as bad as Uganda.

One popular form of torture used in Tunisia involved hanging the prisoner upside down and naked. The torturer would then proceed to use electrical shocks, beating, cigarette butts, and sexual abuse. Torture was usually done without reason - i.e., they were not looking for a confession. When they were looking for a false confession, they usually threatened the prisoner with imprisonment of family members and even rape of siblings and mothers. Once a prisoner was released into society, they remained close and asked about every movement the prisoner made and continually harassed them. On top of that, there was the social stigma of being a prisoner, which was especially difficult for women after release.

I'm proud that my country has recently been following South Africa's model by setting up a truth commission [1]. During each session, victims of abuse and torture and their relatives are given a platform to air their grievances on live TV. There have been four sessions already, and it has been a huge success, so there will be more to come.

[1]: https://www.theguardian.com/world/2016/nov/17/tunisia-to-bro...
Some of these companies didn't even have the data in CSV format...we had to buy it from another vendor in CSV form (https://www.aggdata.com).
Go: https://github.com/golang/go/wiki/GoUsers

Rust: https://www.rust-lang.org/en-US/friends.html

Without counting Go usage roughly looks 10 times more than Rust.
Could you explain me why you don't like those "I do not recomment" sites? I just registered at upwork.com and would love to know the (bad) experiences you had with them, for instance. Thanks!
> Put simply, AI can instantly identify all the troublesome gene sequences of a beagle’s genome to determine the likelihood of certain diseases

That sounds as much of an AI as finding the negative numbers in an array.
If you have hard currency it's one of the more beautiful countries in the world.