skysight-inc/HackerNews huggingface dataset:
We also have 40 years of research into improving program correctness, e.g. static analysis, test suites (unit, integration, etc.), fuzzing/mutation testing, and the benefits of code review. The idea that simplicity (which I'm pretty sure that nobody in here is using to specifically mean "the lack of cyclomatic complexity") can be measurably improved but that correctness cannot is incorrect.
Show HN: Creating a .saver file for a video screensaver
New Effort for Lyme Disease Vaccine Draws Early Fire
The article argues that sexual dimorphism is an extinction risk. I don't buy it: the ostrocod study doesn't generalize, and the rest of the author's links are evolutionary anecdotes.

There are plenty of species in which sexual selection has been highly adaptive, including our own: it's likely that sexual selection is what led to runaway intelligence growth. We've been incredibly successful despite being sexually dimorphic.

In fact, this article makes so little sense that I can't help but wonder whether there's a culture war aspect to it. It's become fashionable to bash masculinity.
the point is that you are claiming that they are being vandalized despite having demonstrated great social good, which, like cars, is the very notion under dispute with that vandalism.
> To guarantee traffic safety, when a control command, braking for example, is sent to a car, the car must receive the command within 1 ms.

> With the latency of 4G network, a car driving at 100 km/h still moves 1.4 m from the time it finds a obstacle to the time when the braking command is executed.

I'm a fan of self-driving cars, but I would never buy one that depends on an external network to know when to brake.
Which is why we need make the punishment fit the crime. The problem is, an appropriate and fitting punishment is going to be painful for a large number of people completely associated with the crime.

If we want companies to follow the law, then those that violate emissions standards should face harsh punishments. For example, they could be banned from selling vehicles in the US market for one year, all of their lineup should need recertification under more strict oversight, and they be required to fix or buyback the offending vehicles. And personal liability for senior executives.

The major problem the US has with all automotive regulations is GM and Ford get their lobbyists to write the laws with loopholes that cater to them. For example, CAFE standards that are based on vehicles footprint and are different for passenger cars vs. "light trucks." While the regulations are "fair" on paper, but in practice, they are much more lax for the types of vehicles domestic automakers sell.
>Germany for example is so export-driven that if our exports drop for just 2% our economy will have major problems. There's nothing scarier than a trade-war for Germany.

China is already gunning for Machinery, which I remember represent close to 30% of Germany export. While I don't expect China will ever come close to German quality in the next 10 years, the middle half of market might be up for grab. So unless Germany have some more to export, this drop of 2% might come very very soon.
Your definition of correctness is wrong in this case. If the purpose is to emulate the hardware as accurately as possible, BSNES wins. If the purpose is to make as many games as possible enjoyable for as many people as possible on the lowest common denominator hardware available today, BSNES loses.

There's no clinical definition of correctness here. Intent matters.
Unless I'm mistaken that's not really a front that was active for long, unlike the front between Germany/A-H and Russia.
For clarity's sake are we talking actual 4G or what American telecos are allowed to call 4G, which is like 3.3G on a good day?
Yep, I've been thinking quite a bit about this lately as well.

I set the same alarms Monday through Friday to wake up for work (usually a few since I'm a deep sleeper). While I know I could schedule these, I usually prefer to manually set them, so I wind up doing that every night.

In the morning I can do, "Siri, turn off all alarms" and Siri will disable any that are set.

But at night time, I can't do "Siri, set my usual alarms for tomorrow morning."

Seems like a critical type of action that a predictive engine should be able to process. But perhaps I'm wrong.
I like this approach, and it's usually the one I follow.

When I'm first building out a feature, I need to make sure that it actually works (i.e. is correct). Once that's out of the way, I'll have a good idea of what it takes to make that functionality actually work correctly, and can begin making it simpler while preserving correctness.

Simplicity is easy if correctness is not a constraint.
The pool of respondents are Digital Ocean customers? I'm assuming that would exclude employees of FAANG plus basically all really large "enterprise" businesses. Is that fair to assume?

If that is fair, I wonder how biased these results are. If we included FAANG and/or big corporations where tech is key but not a cultural staple (e.g. Walmart) I wonder what the results would look like.
The -idea- of unions. They're not exactly in a strong place in the US.
Fantastic Sentences
I'm glad that we can agree that correctness is the goal, though I still take umbrage to the blog post's title, thesis, and conclusion. :P
I don't think anyone should be dedicated to Voltaire's sense of free speech, as it's a ludicrously absolutist position. I'm fairly certain that in Voltaire's time, they didn't have coordinated harassment/doxxing campaigns on social media.
A story about Trump would have been a better use of time.
Yup, it's way too easy to dump RFI that throws off everything.

Without fail my 2 meter radio keys up in about 70% of the drivethroughs I go through. Some of them are probably due to overloading the front end, some of them probably aren't filtered well enough.

Had a microwave that would take out WiFi in a ~200ft radius when it was running.

Etc.
Exposing your iRODS data as AWS S3 object storage with Minio
> HFTs and investors [don't compete]

I started with an example where investors lose money due to adverse selection from HFTs, and I don't think that you've really addressed that argument.
Oddball | Software Engineers | REMOTE | Full-time ( US timezone )

We here at Oddball are looking to continue to build our teams. We are a remote and distributed team specializing in great development work for our clients.

What we offer:
Competitive Salary
Fully remote positions
Flexible work hours
Unlimited Vacation Policy
Team getaways
Like-minded peers passionate about building challenging technology

Openings:

Senior NodeJS Engineer: https://hire.withgoogle.com/public/jobs/oddballio/view/P_AAA...

Front-End Engineer: https://hire.withgoogle.com/public/jobs/oddballio/view/P_AAA...

Please read about our company and learn of our openings here: https://oddball.io/jobs or email hello@oddball.io
I posted this after reading the discussion "Why not program right?" https://news.ycombinator.com/item?id=17466277

I'm not familiar with Eiffel and this AutoProof give a clear example of of its syntax, and methodology.

At first glance it seems a little bit silly - the old keyword. Why not use immutable values?
5G marketing says this a lot, but operational hard dependecy on always available low latency 5G communication is clearly fundamentally incompatible with the safety requirements.

Consider:

> “The big difference with 5G is that when you start to talk about “autonomy” and factories, cars and hospitals thinking for themselves, they will rely on split-second connectivity to do so – with no room for error,” said Aicha Evans is senior vice president and general manager of the Communication and Devices Group at Intel Corporation, in February just ahead of Mobile World Congress.

(https://iq.intel.com/5g-communications-key-autonomous-drivin...)
People should check out the Earth Explorer site from the USGS:

https://earthexplorer.usgs.gov/

It has a huge number of high-resolution aerial photos for large swaths of the country going back to the 1930s, and not just urban areas. The interface is really clunky but once you get the hang of it you can find an enormous amount of data.

I couldn't find mention of it but I'm sure the OP site obtained their photos from there.
> Other than one model still under investigation, Nissan said all of the affected vehicles met Japanese auto standards. The data alterations were made by staff to meet Nissan’s own stricter internal standards, it said.

Good catch. This comment should probably be higher, because I don't think the majority is reading the news that way.
Yeah this is what I was getting at. How many old cheapo security cameras have no or bad IR filters if that was still the standard for ~2012 flagship Android devices...
To defend the idea, I think it starts with the assumption that software is often a moving target so "correctness" is at best a temporary state. If you had to use a codebase at any point of time you would obviously want the correct one, but if you look at the lifespan of software it would be better to have the simpler code. Simpler is (usually) easier to fix, easier to extend and easier to learn.

I think the author made this a little inflammatory to get people to think about it in these terms.
It might have had to do with the fetchPolicy that was in place. By default, Apollo aggressively uses local caching. But this is not always good. Ideally you could just subscribe to GraphQL subscriptions which would update your local stores, but I understand not all backend architectures are wired up that way. https://www.apollographql.com/docs/react/advanced/caching.ht...

Apollo has more advanced configuration options, and I think they're confusing to grasp at first. But I do think Apollo cuts down on the amount of state management you need to do for a typical app by about 2/3rds or more.
Thank you, I appreciate your reply and for you altering my thinking in a much more constructive manner than the other poster.
Who brainwashed you bro? Are you trying to say ethnicity doesn't exist? There won't be genetic differences (and physical non-genetic differences) between different groups? This is how far leftist propaganda has gone :(
EDIT: and typical that I get downvoted without reason for merely suggesting that it is silly to claim that ethnicity doesn't exist (which is how the parent is using the word 'race').
There's a "But what is the real story?"

happy to see some real and not deformed story about sharks
How GitHub Democratized Coding, Built a $2B Business, and Got with Microsoft
Let's say I'm making an SoC and I need an always-on service processor. It's a waste of effort for me to make it myself, so I'll either license one or grab one off the internet, if I could trust it.

In the past, people just threw a little bit of money to ARM and called it a day.

But now, I could grab picorv32 or rocket for free off the internet. Both have been taped out in this capacity before, both speak standard bus interfaces, and the former has been fully(?) formally verified.

Sure, it's not a resounding success story, but it helps me get my SoC to market sooner and at a lower cost (no need to even spend time negotiating with anybody).
One nuance is that some parts of correctness may be negotiable.

If I'm writing a file backup program, it absolutely must back up all the files without leaving any out or corrupting the data.

But let's say it has a feature that prints progress indicator percentages on the command line, ranging from 0% to 100%. Maybe under certain circumstances (like files added to a directory after the backup starts), it prints 102%. It's not what I had in mind, nor is it something I'd call correct. But if fixing it complicates the code a lot, maybe leaving it that way is the better choice.

(This is a bit of a contrived example because you could just clip the value at 100, but you get the idea.)
The Constitution calls out 2 groups of people: "Citizens", which it uses when referring to voting rights and who can run for office, and "People", which refers to everyone, citizen or not, within the jurisdiction of the US.
Something that puzzled me:

"the majority of hiring managers say they make no distinction between bootcamp vs. college graduates"

While the bulk of work at a lot of enterprises (banks, telcos, etc) are CRUD apps with some BPM, I did not expect a (hiring) manager to be unable to make such a simple distinction.

Hopefully it could be the case that 'we don't discriminate based on that' is simply the polite/legal thing to say, especially considering that the article goes to say that "48 percent have not filled any positions with a bootcamp graduate"...
Indeed. We've arrived at the 'fight' stage of ignore, laugh, fight, win.
the majority of hiring managers say they make no distinction between bootcamp vs. college graduates

Wow. Can this really be true? Maybe strictly a web dev thing?
Simplicity only trumps actual correctness if you want to hire more cheap maintenance programmers, thus pay more for the software.
Good luck telling Americans Race doesn't exist!
My reaction to both the title is similar to that of other commentors: correctness should go first!

However, the general idea appealed to me, so taking a step back, I tried to post-rationalize a similar thought to the author that I could reconcile with my initial reaction. The thought I then had, is that if a simpler solution can be found that solves a significant subset of the problem being solved, then perhaps it is worth adjusting requirements to go for the simpler solution for the fact that it lets us ship faster and with less risk.

Often times we come up with requirements that aren't really "required": showing business stakeholders that dropping a few requirements could enable you to ship six months faster and with far less risk can be a valuable insight in of itself. In essence we are still putting correctness first, but we are changing our definition of "correct" slightly in order to increase simplicity.
Did you purposefully parse my words incorrectly? It is very common to confabulate equal outcome with equal opportunity. Do you understand the difference? I was certainly talking about equal outcomes.
Evolution does not care if an asteroid hits the earth and wipes out all life as it presently exists. It doesn't care of the moral, ethical, or philosophical dilemmas when it decides how to recycle one living organism into another. It doesn't have the foresight to know how one solution may affect everything versus another. It just picks whatever seems to work based on the context given. If the context is described incorrectly, it doesn't care if the unthinkable happens and the whole system collapses. That just turns into the present understanding of the system, but it won't matter if there's no one left to listen.

We don't have infinitely powerful computers.
There is another option.

Employer: Do this vile thing.

Me: No, that would be unethical.

Employer: Oh, you're right, of course. Train Steve instead.

Me: No. <quits>
Plenty said that. The problem is that the reports are old with Google et al prioritizing new, ad-generating content. Even if you have links, many of those pages' links will be dead. It's online decay. I just spent an hour trying to find some reports of it from mainstream sources based on pieces of things I remembered. Here's two:

http://articles.baltimoresun.com/1996-11-01/news/1996306048_...

https://nypost.com/2000/07/10/giant-u-s-spy-vacuum-sparks-a-...

A lot of it happened in the Advocacy Center and/or Office of Executive Support. The European Parliament's report on Echelon talks about some of it:

http://www.europarl.europa.eu/EPRS/EPRS_STUDY_538877_Affaire...

Far as that last part, the U.S. does something quite different: a corrupt Congress makes patent and copyright laws so ridiculously strong that they make compatability/competition with big, U.S. companies anywhere from difficult to impossible. The best examples are in smartphone market where Apple tries to block Chinese and Korean products. Microsoft also pulled in about a billion in Android royalties despite not contributing anything to Android's success.

Also note that a lot of Silicon Valley heavyweights started out with big funding from the government, esp DARPA. Kind of similar to state-sponsoring of companies in China. From there, the U.S. companies legally rob or block competition via vaguely-worded, broad, long-lasting patents. Recently, competition blocking API rulings. The Chinese do it via spies and suppliers that iterate fast. I don't see one having moral high ground over the other if they're both doing things that harm the many to benefit a tiny, rich few legally backed with bribery or other corruption.
I think you mean 'as if it's a completely trivial thing to implement', since non-trivial means hard and complicated.

But, assuming that's what you meant, how does that compare to, say, speech recognition and understanding? Apple, Google, and Amazon are up to their eyebrows in machine learning and AI. They're working to solve very, very hard problems. But the next step of that needs to be to make it so their hard work is discoverable by users organically.
You can find ELMo here: https://github.com/allenai/allennlp/blob/master/tutorials/ho...

And ULMFiT here: http://nlp.fast.ai/category/classification.html
Typing GRPC with Node and Typescript
separate discussion format/protocol from visualization, then anyone can implement their own discussion navigator/visualizer...

the most obvious feature (and a more objective metric for the productivity of the scoring algorithms) would be a button or color that highlights the claim, which if swayed to garner more or less support would most influence the topmost/root claim. If you don't build it sommeone else will. The most popular and desirable interface is the one that helps the user sway the rest.
I used plenty of IDEs (from free ones up to expensive enterprise IDEs) and I still prefer Vim. In fact I started with an enterprise Visual Studio when I first started programming and only years later switched to Vim.

Which IDE do you use now? I am willing to give it a try, but most likely I already have.

Vim can be configured to show code errors (by integrating linters, static code analysis or "just" by integrating the compiler, or doing all 3).

Vim can also be configured to do auto complete. Actually I have not found a IDE that can provide Python (which I use a lot) autocomplete better or up to the standard that vim has and I have not found a IDE that can provide autocomplete for so many different languages.

Database work and debugging is something I mostly just use specialized tools for and don't have a need to integrate that into my text editor. Sure it was nice to just click and have a break point on that line like I did in Visual Studio, but that isn't something I miss.

Also: What do you mean by "modding down"?
don't give up so easy. Think of Fair Trade coffee -- all it takes is a vocal minority to insist on a set of practices and that will come to be considered the norm. The social (and market) pressure of hiring only coders that have taken the "Oath of Shannon" or whatever will enforce the standards far better than any union.
Let’s try to rearrange this to demonstrate that your reasoning that employees are not investors is wrong:

Instead of paying employees below market rate, the startup pays employees an actual fair market rate. Note that because of the short term failure risk of a startup a fair market rate is /still/ higher than market rate and an established company. Now each time they receive a paycheck the employees give you back a chunk of the money in exchange for common shares. The end result is the employees have the same amount of cash and shares, and the company has the same amount of cash.

Employees working below market rate are investing in the company. Getting paid isn’t “security” it is the part of their income the employee is choosing not to invest in the company.
Slime molds remember, but do they learn?
How would immutable values be better? Can you give an example for what you'd prefer? Note that "old" only is valid in the conditions/contracts, not the main function body.
That's also equality of opportunity - which we have. Do you have evidence that we have no equality of opportunity, or that I am simply trying to pass-off equal opportunity with equal outcome? Acting like we don't have equality of opportunity, and then promoting equality of outcome is intellectually disingenuous.
> I've never heard of this legal definition of "professional" that you put forward. Where is this in state or federal law?

Professional, as in professional engineer. Think civil engineers, for example, who need to be registered with the board of engineers in order to provide engineering services (eg. approving plans for construction, supervising construction).

Other countries also have specific legal statutes that regulate the title of engineer, such as Canada.
To all of the pseudo-pedants who think there is only one acceptable name for World War Two, I humbly submit a man far greater and learned than myself and many others: Victor D. Hanson

https://youtu.be/tQq-ORA4fHw
I can't help but wonder if this is a reflection of Digital Ocean's target market, and its late adoption of block storage and other functionality. Kubernetes is a pretty "serious" tool, and you'd expect "serious" teams to have a preference for bigger, more-established players like AWS/GCE. Digital Ocean having been moving up the chain but at least in my mind they're still associated with the "hobby site" mindset. Certainly I run my hobby sites there!

I wonder if a similar survey from the bigger players would have different results.
Congress can vote to get rid of the CIA, or stop them from spying. The CIA exists because of an act of Congress and at the pleasure of Congress, which consists of elected representatives .
How to Study to Become an AWS Certified Professional Solutions Architect
Thanks so much to everyone who responded! I’m going to try (over time) all of your suggestions, including DIY. This is a great community and I appreciate your help.
> OK, well, that was far from clear. Here's your original question:

Yeah, sorry about that - not being an academic myself makes it hard to put it across in the correct way.

> No on has found a breakthrough in these woods, and there are good reasons to believe there is none to be found

That's absolutely fine by me - I'm not looking to break through the undecidability barrier, only to implement an algorithm that can prove theorems we already know are decidable (well, group functions into the always halts/doesn't always halt/undecidable categories).

The numerous branching and totally equivalent fields is the thing I'm wary of - I don't want to have to invest 6 months learning category theory, only to find out that what I want to do is better expressed by type theory or second order logic or something else entirely. I guess in my mind it's similar to building a complex application in one programming language just to discover certain patterns can't be idiomatically expressed in that language, so you have to write horrible hacks to compensate for that lacking where you could have chosen a different language in the first place. From my own research I'm leaning towards axiom systems, perhaps utilising Zermelo-Fraenkel set theory as a basis. I don't know, it's early days yet. I'll keep reading and get a rough grasp on the principal fields before I make a definitive decision.
For more detail plus working code, lesson
4 of the fast.ai course uses this technique to obtain (what was at time of writing) a state of the art result on the imdb dataset:

http://course.fast.ai/lessons/lesson4.html

By training a language model on the dataset, then using that model to fine tune the sentiment classification task, they were able to achieve 94.5% accuracy
Do you have examples of companies that do the 10-20% maintenance? I am trying to collect a few concrete examples of companies doing this in the real world.
I prefer accredited or registered.