skysight-inc/HackerNews huggingface dataset:
The thing is, correctess is often a transient property. Requirements are frequently changing or evolving. What's correct on a Tuesday may no longer be correct by Friday. Under these conditions it's important that the software be amenable to change. It's for that reason I believe simplicity is more important than correctness.
Deploy a Dockerized React App on GCloud App Engine
> So no, correctness does not always come first, especially if you value other things like user experience.

I think you're using a different definition of "correctness" than most other people in this thread. Which is understandable, a lot of folks are using different senses of it. What matters is not, "Does this perfectly and unobservably play hardware" in the definition of correctness for an emulator. What matters is, "Can this emulate the cart I want to play right now with a good experience?" and perhaps, "Will this allow a malware maker to own my entire computer if they run a cleverly crafted fake cart file?"
I agree. What he means is, it should work first, as simply as possible. Then you worry about correctness- correctness is not referring to working/no working. Correctness means, 'how SHOULD this work?' or 'How should this logic or code be written to be most efficient or effective?'

Third is performance.

1. Write a working piece of software that does the job.

2. Refactor to make the working piece of software do the job more efficiently and elegantly.

3. Refactor to make the working piece of software do the job as fast as possible.
"Correct" should, by definition, imply simple and fast. "Simple" tends to be the correct and fastest way to code. Code that runs fast might not be the "simple", but simple code will be the debugged/updated/ported the fastest. I think the author is saying this, but with a more controversial headline (and, intentional or not, controversy creates clicks). After all, this is the premise:

The reason is straightforward: if your solution is not simple, it will not be correct or fast.

This could be reworded in the following ways and the points made in the article would still follow:

If your solution is not correct, it won't be simple or fast.
If your solution is not fast, it won't be simple or correct.
For Golang Newbies: Golang training repository with some examples
Why? Because it does not look like todays medium.com blogs or default-skinned github.io pages? Twitter or Facebook posts? Having indiviually looking web sites is the internet. Sadly, most people today don't even actually use the internet anymore.
As far as I can tell, it's pretty simple- they've always been ideologically opposed to emissions regulations, so every headline is bent to accommodate that perspective.
I remember reading about this and being left with the impression that CryTek was in the green there. Don't remember any details, but it wasn't as ugly as it sounds, though I also got the impression that CryTek weren't entirely graceful.
> Simplicity always comes after correctness.

Strong disagreement here. A program that isn't kept simple will stop being correct, fast, or any desirable quality over time.
Just to give the proof as a whole in this notation for others, assume (→) has lower precedence than (∨) and is right-associative (i.e. that a → b → c = a → (b → c)):

Proving: (p ∨ q → p ∨ r) → p ∨ (q → r)
Start from:
(x → y) → (y → z) → x → z
Replace x with q, y with p ∨ q, z with p ∨ r:
(q → p ∨ q) → (p ∨ q → p ∨ r) → q → p ∨ r
The first part (q → p ∨ q) is already a known tautology so via modus ponens
(p ∨ q → p ∨ r) → q → p ∨ r
Replace the last → with its definition, (a → b) = ¬a ∨ b:
(p ∨ q → p ∨ r) → ¬q ∨ p ∨ r
Use the commutative property of (∨):
(p ∨ q → p ∨ r) → p ∨ ¬q ∨ r
Then use the definition again:
(p ∨ q → p ∨ r) → p ∨ (q → r)
QED.

The first part is also valid in intuitionistic logic and essentially just transforms a known truth `x → y` into "continuation passing style" `∀z. (y → z) → x → z` with a valid result, I think this is why the authors were quite pleased with the proof.

The second half is the shifty bit for intuitionistic logic, going from `q -> Either p r` to `Either p (q -> r)` where it's really easy to see that you could not, say, have a Haskell function of that type generally.
True autonomous cars need to work without any real time car to car communication. After all other cars on the road won’t be using communication protocols as they are driven by humans, etc.
> Correctness is the destination of any piece of software

"Good enough" is the destination of any piece of software. Sometimes that means correct, but more often it means "oh yeah, sometimes it starts acting funny, just restart it when that happens"
We won't. If any new conflict actually escalates to the proportions of a world war it'll be much much worse than the world wars of the past, it'll be a thermonuclear holocaust, an extinction scale event. Apparently, we as a species, have learned nothing.
These are happening...though we should have a dedicated place for them:

https://www.kialo.com/kialo-should-create-a-mobile-app-addit...
What do you think Zuck does in private? We learned about what Kalanick did, and Cuban and Trump make no secret of their lifestyles; but heard no such things about Zuck.
I love Mobx. It was fun and easy to understand specially when I tried to understand the state management. But then I realized Redux is basically easy, two things to understand MapStateToProps and MapDispatch to props and then rest is all easy to follow from there. Then with Redux Saga and it is super fun and many possibilities.
I know someone who skips meals to make rent. She's about to start a second job, since her first can only give her 40 hours per week. A one-time $300-$400 could be life-changing for her.

Your larger point is still interesting, but it is still true that the wealth gap prevents people from buying computers.
Toothless? The EPA is like a great white shark compared to European regulators.
It seems a little hard to believe that other manufacturers had no idea how they did it. If it was so confounding it could quickly resolved by plugging in an analyzer and run a test cycle...

Maybe VW isn't the origin of this, they could have seen another manufacturer doing something similar, decided to join in and took it too far.
The famous experiment is the "Sally Anne task", which goes like this:

The child is in a room with Sally and Anne. Sally has a basket and Anne has a box. Sally puts the marble in her basket and leaves the room. While she's out, Anne steals the marble, and puts it in her box. Sally then comes back into the room.

You ask the child "Where will Sally look for her marble?". This tests whether or not they can fathom the world through Sally's eye, and see that her view of it will be different from their own.

The experiment was formulated by Simon Baron-Cohen.
Worse is worse
But Moooooooom! It's all virtual! There are no hardware resources being used up!

(until the bill comes)
That quote actually refutes the OP by reinforcing that correctness is more important than simplicity. Achieving correctness is the whole point of making things simple, after all. To put simplicity before correctness would be missing the forest for the trees.
FWIW, software engineers do have professional organizations like the IEEE and ACM, whether or not they back members in any significant way. There are also PE licenses although my understanding is that they are being discontinued for software engineering because basically no one was getting them in that field.
The default Emacs keybindings are nice, but do the semantics transfer (mark/point and associated manipulation functions), and can you write your own functions? I don't have a _ton_ of custom elisp functions for raw text manipulation, but the ones I have written are useful and I wouldn't just give those up for no reason.

There are also a lot of dumb keybindings in Emacs that should not be copied by anyone (looking at you, C-u - 1 M-z X to delete all characters backwards to the first X.).
How a particle accelerator helped recover tarnished 19th century images
DC area resident: Eleanor Roosevelt High School might be the best high school in Prince Georges County. I'm not sure that it counts as "reasonably fancy". Still, if your father is a professor of mathematics, high school may not matter that much.
The lastest tech transfer information can be found here
http://www.sac.gov.in/SAC_Industry_Portal/index.html
Sharks or no, it still had to be pretty terrifying to be floating in the ocean without knowing when or if you were going to be rescued. But, like most stories taken from actual events, there always seems to be a person or persons who step up to help others without regard to their own well-being. I hope Capt. Haynes received recognition for his efforts in keeping so many alive.
In all fairness, the urea systems are really annoying. I was driving a rental vehicle and I got a warning that it was out of urea in the middle of nowhere. I stopped at a gas station which did not have any and the vehicle would not start until you put urea into it which I could not find in the middle of the desert.
He's making the joke that the PRC's official position is that it owns Taiwan.
Ask HN: Is blockchain useful outside Currency?Is decentralized validation used?
(I'm looking for ideas, not shilling coins)

I am very skeptical of blockchain as a revolutionary technology.

Isnt the entire purpose validation of data?

To me, for social media, Facebook isnt going to lie about my July 4th vacation pictures. I can trust Facebook with this data. If they screw up, I can leave facebook.

So where do we need decentralized Validation?

Currency, Voting, Timestamps.

I dont think Logistics is worth the extra price and is untrustworthy due to the garbage in garbage out problem.

dApps are are extremely rigid, and if they arent, the decentralized verification means nothing. Smart Contracts are not smart and are only useful for niche scenarios that are also very rigid.

Services, Products, and Leadership is still needed, blockchain ONLY decentralizes the validation.

I understand Bitcoin is valued around the world because the currency/rare number is validated and trusted. This is a real use of blockchain where people do pay extra for having 7 'Notaries'.

I'd like to hear from other programmers if I am wrong about my understanding of blockchain. Will blockchain allow any sort of revolution to happen? Or is it an expensive way to write to a database?

(Goal is to communicate ideas an learn, if you have a coin that solves a problem, I'm all ears.)
But the web runs on all of those platforms, and there are a ton of ways to wrap a browser view into a native "wrapper" to put in the app store (including react native)
In my experience, those VMs were used briefly then left to rot. Consuming a large reserve of resources while doing nothing. Serverless should at least reduce the overhead of orphaned projects out there.
Iron (Fe) Public Beta
>Maybe there should be a mode you can turn on where Siri will watch what you do and when there are things you could do more quickly with Siri, it could tell you.

You say that as if it's a completely non-trivial thing to implement.
> Regulations will just increase the cost of goods furthering the economic divide and harming the people that can least afford the changes

NOx gas emissions from cars cause and worsen respiratory diseases, especially in urban areas where it is especially concentrated, thus ALSO harming people that can least afford it.

I'd also note there are plenty of cheap vehicles that do meet these regulations.
An IDE gives you:

1 - Autocomplete and automatic code, those are the main benefit. Turns out that if your computer can write code for you there is something wrong with either your language or your code. Code generation is a bad replacement for code abstraction.

2 - On the fly error checking. Turns out that vi and emacs do that too.

3 - Coherent access to compiling and debugging tools. As long as you want to use the IDE tools and nothing better, at the price of loss of productivity every time you must reconfigure it, or share an environment with anybody.

4 - In place documentation. Again, vi and emacs do that just fine too.

If you are using a language that requires an IDE (that's a big language flaw, but most people don't get to choose), and wants to use a very standard and non-extensible toolset, go ahead and get that IDE. But the people disagreeing with you, it's not they that don't know something.
Thankyou! This is great. Well done.
Is it even really technically feasible yet? If we could grow meat in a lab, then we should be able to grow replacement human organs in a lab too, but we're definitely not there yet, though we're making progress.
There are many devices for which power consumption is measured in the microwatts. This could certainly be useful for them.
Like you said, everyone is going to cry when their burden is increased in any way, even if it's a completely reasonable increase. Companies complain if their employees request cost of living raises, and people complain when prices rise due to rising cost of living. At some point, it drowns out any legitimate complaints. If you've been saying the regulations are too high yet have been meeting it every time, then a new regulation comes out that is actually too high and you can't meet it, people will take you less seriously.

If you then pretend to meet those requirements even though they were too high, you get zero points.
I'm curious why you think so?

I normally ask questions about various non-tech topics including conflict resolution, team makeup, strategy, product management priorities, how they mentor junior team members, etc. Those discussions may not be able to tell the difference between a good vs. great leader, but they absolutely will raise red flags from a bad leader.
What's the issue here? That Parker interned for Pincus directly, but not necessary for Zynga? Or that he's more well known for his role at Napster a year or two later? Or...?
That actually is a fairly high power density for this small of a temperature difference. The main application is probably remote sensors that run on a milliwatt or less.

Still I agree it sounds misleading.
Best Practices for Migrating RDS for MySQL Databases to Amazon Aurora
Just about everything that is an opinion can be deconstructed into a correlation.

If you don't want to agree with it, don't.
'If intelligent traffic management becomes a reality in future cities, more and more self-driving cars will appear on the road. 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.

The latency of a 4G network cannot meet this requirement. 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.

Under the same condition, with the latency on a 5G network, the car will move just 2.8 cm, and this performance is comparable with the standard of an anti-lock braking system (ABS).'

From: https://www.huawei.com/minisite/5g/en/defining-5g.html
I just saw advertised that google home/mini has at least one named bot for special domains... I believe it was Toby? who is a "chef".
> we can reduce the emissions to zero by banning all cars, would you support that regulation?

That's ridiculous, of course not.

> Improvements to technology the lessen the dependency on those energy sources.
>
> Regulations will not solve the problem, no matter how draconian you desire to make them. Regulations will just increase the cost of goods…

Regulations will drive technological solutions, and if it weren't for regulations around emissions then car manufacturers have proved that they will quite happily sacrifice the health of everyone in the search of profit.

> furthering the economic divide and harming the people that can least afford the changes

Oh please. Car manufacturers will always sell budget cars to people with small budgets, because there's a market for it.
Why do you equate working software with correctness? Software that works is never correct by any definition of correctness. Because working software is a system that exists in the real world and therefore can never have a specification against it.
Popular Mechanics is not great for people with more than the bare minimum knowledge of chemistry. The new explosive is bis(1,2,4-oxadiazole)bis(methylene)dinitrate:

ONO2
/
H2C
\
C---O
// \
N N
\ //
\ //
C
|
C
// \
// \
N N
\ //
O---C
\
CH2
/
O2NO

I propose the acronym "BODAMN" (Bis Oxa-Di-Azole Methylene Nitrate), as the one most likely to catch on among those melt-casting it. Army folks love pronounceable acronyms.

In the absence of sufficient oxygen, reaction products are likely to be

C6H4N6O8 --> 3 N2 + 2 H2O + 6 CO

C6H4N6O8 --> 3 N2 + H2O + H2 + CO2 + 5 CO

C6H4N6O8 --> 3 N2 + 2 H2 + 2 CO2 + 4 CO

That beats TNT, which produces between 1 and 3.5 moles of C (as soot) per mole of TNT. With BODAMN's all-gaseous products, the hot CO and H2 can expand after the initial detonation, and then react with O2 whenever they can find one.

With excess oxygen available, the hot, pressurized N2 might also form some NO or NO2.
Right, but web looks like web even if you wrap it.

RN is supposed to feel like an Android or Iphone app.

(Btw, someone prove me wrong because I have a full blown working website/database and the front end is RN and I'd love to stop because I hate front end auth and multiple platform...)
> You believe EV is "clean" even though most electricity is generated by Burning some kind of Hydrocarbon, be it Coal, NatGas etc...

Clean when compared to an ICE in a car, yes.

e.g. If we can reduce a bad thing by 90%, your argument is that there is still 10% of that bad thing, and therefore we should not adopt the solution. That's a silly argument to make.

> if everyone changed to EV Tomorrow it would completely collapse the electric grid.

Since that literally can't happen, it's a non-issue.
Simplicity is also a transient property.

> Under these conditions it's important that the software be amenable to change.

At the same time, under all conditions, it is important that the software actually works (i.e. correctness), which is why it's more important than simplicity. Irate users who come to us telling us that our program doesn't work will find little comfort as we regale them with how simple it is.

First, make it correct. Then, make it simple. If requirements change what correctness means, then make it correct again, then make it simple again.
To remain in power? That's why they have propaganda. All governments listen to their people, by necessity. The quality and quantity of this listening varies, but all do.
This makes sense, for the few views which contain the complex UI. What I’m having a hard time with is the suggestion to replace all views. I don’t see the benefit in that.
> Too much regulation and court procedures are preventing others from coming out and blowing the whistle on themselves.

"The penalties for murder are too harsh, so people aren't confessing to many unsolved murders."

Well, yeah. I would not blame "the system" for this, however.
Is it? Honest question, I don't remember any China-led interventions, but I can't say that there were none. The US-led wars got a wide coverage, especially in NATO countries which were dragged into them, and the public was focused on them, so I can 100% believe that there were some underreported Chinese actions.
How about some kind of distributed database you share with your friends, say to keep track who has borrowed books or equipment from each other?
Even worse is all the people adopting the "ketogenic" diet these days.
Generating useful energy from large temperature differences is old hat, though. 1.6% efficiency could be plenty for some tiny device that needs very little power.
Software engineers don't understand they're not professionals. I mean, they describe and think of themselves as such, but they are not legally such.

Being a "professional" legally means that you're given exclusive rights to perform some economic activity and in return for this (usually) lucrative right, you have a great number of obligations - being responsible for your work (ie, facing the possibility of never being able to perform said economic activity legally again), an enforceable code of ethics, an dispute / resolution process etc, steep fees, continuing education, an accreditation exam, etc.

Software engineers by and large do not want the obligations and restrictions of being a real profession, so no, they don't have any special ethics or rules to report or do anything in these cases beyond what a designer or secretary would do.
Could you elaborate in some detail on those other factors? Preferably with some citations. I’m totally unfamiliar with this second narrative, while I am familiar with the likes of ‘The Jungle’.
I was a developer there, not a writer, but this kind of mentality was so basic to the entire company. It reinforces a great deal of humility -- not just in your work but as a person.
I don't want to derail this even further, just want to offer a different point of view.

I'm a Chinese citizen, and ever since I started reading HN a few years ago, it feels like the media and comments in general are mostly negative towards China, or specifically to Chinese government. In rare occasions you have people trying to offer some different perspectives from someone who lived in China (like 1 out of 10 comments), but a large percentage of them get downvoted. This has not changed at all. So really, if there were a propaganda effort, it had failed miserably. The audience on HN just don't buy pro-China propaganda (for better or worse).

The ironic part about your argument is that whenever there is a positive news about China (like this one), it quickly derails into criticism of China.
Ethereum Founder Pleads for Help Over Twitter Spam Bot Problem
There are no mandatory crashworthiness rating requirements in China
It never means "correct". Not to mention that 100% correctness is even impossible.
Shipping produce from northern Australia to the Americas or Europe is going to mean you'll either have a bunch of spoiled produce, or produce that was picked far too early and has no taste or nutritional value. Are you planning to ship food by jet to deal with this?
Yeah, this years of security scrutiny argument is getting disproved. The recent processor vulnerabilities are one example. Another is how big corporates treat internal software: upgrade rarely and test very extensively. This has proven very fatal: WannaCry wouldn't have been possible if people had been at least updating to the most recent release and update.

I'd be happy to try out a RISC computer, actually it's quite sad that the CPU diversity got so little due to Intel/AMD.
You seem to be confusing Zuckerberg with Facebook, Inc, and ignoring that Musk is both 13 years older than Zuckerberg, and that bringing 4 billion people onto the internet is "interesting". Musk cares about sci-fi things like going to Mars by himself, and making luxury cars in the crowded EV market; Zuck cares about doing something interesting for billions of people on Earth.
>accountable

You do know they have the worst dirt on everyone right?
Maybe you will be interested in the book "Working Effectively with Legacy Code".

It teaches several ways of dealing with large untested codes in edible chunks.
Governments don't care about people having affordable cars. Governments care about votes. Look at the cost of safety features that have been implemented in cars the last 10 years; some for marginal benefit (rear-view cameras). These features increase the cost, making it hard for lower income people to afford the cars.
I think I agree with these points but I have a question. What is "consistency" in this case? The article only says,

> Consistency can be sacrificed for simplicity or performance. Don’t let excessive consistency get in the way of getting stuff done.

I take consistency to mean consistency of results being correct. Wouldn't that make consistency a subset of correctness?
How do you make up a loss by not charging sales tax?
This is easy to pontificate about. How do you actually bring about culture change?