skysight-inc/HackerNews huggingface dataset:
Nothing new under the sun... MISRA C and Autosar were introduced around 1998, so we can also say standards for safe software are there for decades (around 2 decades but always). You still get companies skipping best practices, guidlines, etc.

What is funny you get the same stuff in construction industry. Companies take shortcuts, architects take shortcuts and there are buildings, bridges collapsing.

I just don't like dichotomy "proper engineers, mechanical, construction", "kids in the fog, software devs". There are tons of reliable software, and tons of buildings that might collapse tomorrow because of wind/temperature/vibrations which never were considered by any builder or architect...
Interestingly [1]:

> The original title of the letter, as submitted to CACM, was "A Case Against the Goto Statement", but CACM editor Niklaus Wirth changed the title to "Go To Statement Considered Harmful"

...

> Frank Rubin published a criticism of Dijkstra's letter in the March 1987 CACM where it appeared under the title "'GOTO Considered Harmful' Considered Harmful". The May 1987 CACM printed further replies, both for and against, under the title "'"GOTO Considered Harmful" Considered Harmful' Considered Harmful?". Dijkstra's own response to this controversy was titled "On a Somewhat Disappointing Correspondence."

[1] https://en.wikipedia.org/wiki/Considered_harmful
> employees do not calculate their own pay

My paychecks list the hours and rate paid, more often than not. But dispensing with that (because it's not relevant), a class isn't an actor-model. The tried-and-true Class Car->Drive() example (the car is doing something) is a contrived way to illustrate one of the ways a class can be used, as a learning tool. You don't want to create systems with that mentality, as it will always disappoint and spawn countless new webs of inheritance as time goes on.

This is all hand waving, but that's a rather important issue to realize. There's no science behind design yet and it hasn't changed since the late 90s (when I started). My experience teaches me as with your own. I am afraid we'll just have to agree to disagree.
you don't need differentiability you just need a learning rule. there are learning algorithms that don't use gradient ascent.
I would very much like to know who owned it and what it was used for. and more importantly why it was just left to rot. It must have been worth something.
I realize I'm picking a nit, but I think that, in this situation, it reflects a distinction that's worth making:

Systemd and Docker do entrench the monoculture, but they can only have that effect because the monoculture is already so well-established. If this were EEE, they'd be part of the transition to the third E.
Given that having the source code to a system is a necessary part of modern security practice, it would actually be a very good precedent.

This assumption that it's alright for communications infrastructure to rely on trusting black boxes as long as those black boxes were designed by "allied" companies is madness. It doesn't particularly matter whether the gear is made by Qualcomm, Cisco, or Huawei - it's all suspect.

The ultimate path forward is for mobile nodes to stop trusting the network, entirely. But that's a long row to hoe with regards to access authorization without leaking identifiers.
I watched the video a few moths ago. I disagree with almost everything this guy said.
Yeah i think this is the 'software engineers are not REAL engineers'. There is a fair argument on both sides and the article raises an interesting point. Perhaps the root cause is how new & rapid all this tech has come across our world. Folks have been building things thousands of years right?

We've only been building scalable docker microservice agile jira lambda functions for a few years now. Curious to see where time takes us. Change takes a while to come along, companies and people have been getting hacked for many years but i havent heard any whispers of change.
The "labelled goto" of the modern world is very far from the GOTO of pre-Dijkstra, which would allow you to jump into the middle of loops or functions.
That government was not this government.

This government does appear to have pure contempt for due process and human rights.

Just like the US.
Since there seem to be a strong interest in diabetes community.

Please also see:

Gum disease–causing bacteria could spur Alzheimer’s (sciencemag.org)
https://news.ycombinator.com/item?id=18987015

Association of Type 2 Diabetes with Titanium Dioxide Crystals in the Pancreas (acs.org)
https://news.ycombinator.com/item?id=17362137

Some studies show an association between the herpes virus and Alzheimer’s (theconversation.com)
https://news.ycombinator.com/item?id=18265115
... ok, so how do you know you're using LE?
The linked video shows them using an Ultimaker so it's pretty low-end tech they use for at least part of it. Unless those are non-functional models.
I think the drivers need to use the passenger app to see the surge pricing, anyways?
You clearly don't spend much time around the Henry Ford Museum...
The thing about contracting is you don't have to take the job if they aren't willing to negotiate. If no one wants to build your website for $5, then the client is either going to have to pay more, or not make a website.

All of the drivers around that airport incur roughly the same costs for gas, wear and tear, rent, etc. So while you might find someone halfway across the world to build your website for $5, you won't be able to do the same for your driver between the airport and your hotel.
RIP Bookmarks Bar in Chrome
But there is no way that they can get the from-scratch design, engineering and production line of yet another model up to capacity in less than a year. And everyone knows this. OTOH, making bets on AI are much harder for investors to evaluate the reasonableness of.
The Internet Is a Dark Forest
> ...vs driving a cab, where you will have a schedule

Cab drivers lease their vehicles. Taxi companies are merely in the business of leasing vehicles and providing dispatching services. The drivers are independent and work on their on schedule.
Geoff Ralston taking over as President of YC
A close cousin of this topic would be the background of new full professors in major universities. Ph.D. is risky, especially considering the slim chance of getting the full professorship and its tremendous opportunity cost. The competition to become a full professor in a major institution is fierce and also it takes longer and longer as the competition heats up. The path is quite comparable to that of the unicorn founders in many ways.

I'd wonder how much study has been done around the socioeconomic backgrounds of those prominent professors. I'd also be interested how those backgrounds have been shifted as time goes by. It would be also interesting if not much research has been done about it when some of them are supposed to do such a thing.
> The only thing he's being extradited for is trying to hack into US gov computer systems, something which he literally admitted to in a chat message with Manning. https://www.wired.com/story/julian-assange-arrest-indictment....

It sounds like an open and shut case then.

So why does the US want his possessions? The US should have no interest in his possessions if they are genuinely not on a fishing expedition.

Why is Chelsea Manning's testimony required? Why is she back in prison? It seems an open and shut case.

Maybe the media are telling you it's not a fishing expedition, but it sure looks like one.
> The results, however, also show that a serving of alcohol every day slightly lowers the risk of certain types of heart disease — especially in developed countries, where people are much more likely to live long enough to get it.

Statements like this are so frustrating. Correlation doesn't imply causation -- repeat it until you're blue in the face, and still people write this.

I understand technically parsing that sentence, it never actually says 'causes', a casual reading of it clearly implies it.
Easy to Trade Binary Options
The concept of science, which is the empirical study of reality, does not change. There are many concepts that can share the same word - is a Scotsman someone born in Scotland, one who moved there, one who shares Scotland's culture and ideals? There should be different labels for each of these concepts but there aren't.

The importance, relevance, trust, and reality of science may change, but the underlying concept does not. Nevermind all the other forces trying to co-opt 'science' for their own purposes.

How many papers and articles describe a purely empirical inquiry into reality and accurately describe all shortcomings and sources of error? 10%? 1? It matters that our trust in "science" may continue to degrade, but none of those change the underlying concept/ideal.
Show HN: Developer jobs at Japan's best tech companies
That's right. It doesn't.
Yes, DBUS is specified [1]. There are multiple implementations shipping (dbus reference implementation and dbus-broker), as well as several different client libraries.

As dbus user, or application, you just need some client library. As an operating system, you also need a daemon running, which is routing the messages among all the clients.

[1] - https://dbus.freedesktop.org/doc/dbus-specification.html
Apparently they're rather shady.

https://ewwlo.xyz/evil

https://infosec-handbook.eu/blog/e-foundation-first-look/
But...it doesn't include "everything else". My desktop doesn't use systemd-timesyncd, I'm not even sure systemd-nspawn is installed on my home server, that same server isn't using systemd-resolved. I haven't fiddled with journald anywhere 'cause I like it a lot more than rsyslogd, but you totally can forward journald stuff to rsyslogd if that's more your bag (and I think, though don't quote me on that, you can remove it entirely if you want).

Yes, there are additional, thoroughly optional, components to the systemd ecosystem that you can choose to opt into. And...so?
Comments section is on point...

- The most outrageously patient human being alive.

- "1+1 = 2". So you're saying 3 is not a number?

- This is the most impressive display of dealing with a hostile interviewer I have seen in my life

- Jordan Peterson: Hi

Cathy Newman: So you are saying "Heil Hitler"?
Only after reading your comment I remembered that there's also an album by Vangelis' band Aphrodite's Child, bluntly named ‘666’. It's good at the apocalyptic atmosphere, though I dunno how faithful it is to the text.

https://youtube.com/watch?v=xcAnMTHuNNk
You're avoiding the point, which is the collusion and artificial price increase. That's fraudulent.

Edit: Whether this is a "regulated market" is a red herring and irrelevant.
3D interfaces are usually worse than 2D interfaces
Language Log discussion: https://languagelog.ldc.upenn.edu/nll/?p=42749
I think you can make an argument that it’s bid rigging. Uber/Lyft pricing can be viewed as an auction where the surge price is the market clearing price. Conspiring with others to not accept bids below a floor could probably be prosecuted as a bid rigging conspiracy.
It makes for a good headline, because it's something people will talk about, but it's not believable.

Honestly, if they came out and said Assange was a slob, I'd believe it. Isolation and depression go hand in hand.

But to claim he was smearing poop on the walls when he knows Ecuador wants him out, it just screams 'lies and propaganda'
Not being an expert or qualified on this, my speculation is size, as in a reasonably-educated population and resources to support them, not necessarily government efficiency or competency. The size is what enables a complex supply chain and network that high tech companies need. You can transfer tech to a smaller country like Vietnam all you want, but it will be forced to specialize into only a few industries as it matures
if it wants to keep an edge (like with Korea, Taiwan, etc.).

Edit: Maybe another thing is that value in technology is a mix of design and process. It's one thing to give the other side a blueprint, but it's another to force a joint-venture and teach people on the ground how to do things hands-on.
Apologies, I erred in my previous post and meant to say the opposite. It is now edited. Sorry.

(Hopefully that makes my aggressive indifference to Stallman more comprehensible.)
They're getting better. It's a little reminiscent of Android, actually, which wasn't really solid until KitKat.

For example, I have a microsoft bluetooth mouse that is utterly painless & two AA batteries last for something like a year working full time. Also have a pair of Jabra 65t, pairing is annoying and on rare occasions it hiccups, but 97% of the time they are excellent. I had owned BT mice & headphones previously, and they have never been better than today.
Which is usually a ghost town. Maintainers of small libs usually don't even monitor SO. Issues is the fastest way to get high visibility and get a question answered quickly since newcomers usually read GitHub issues to see if there are any serious things to worry about before using the package.
It's good that systemd apologists have moved on from arguing that it isn't a single binary. But it is not a bunch of loosely coupled tools any more than it is "just" an init replacement.
I'm not a huge fan, but dbus at least runs on FreeBSD and others.
Is it considered price-fixing if a union that works mostly contracts (e.g. electricians) sets a labor price? This seems to be a standard practice.
Step one for an eventual von Neumann probe. Go NASA!
Unionization and striking for the gig economy. You love to see it!
The analogy between software "engineering" and structural engineering is used a lot to point out the failures of software. I think this analogy is a category mistake caused entirely by the misapplication of the word "engineer" to software developers.

We have already solved large areas of common classes of bugs at the language level, through strong static typing, memory safety and safe concurrency (Rust is the vanguard here but there are lots of languages that tackle these problems in effective ways).

Institutional inertia (technical debt) is the only reason why we can't apply these solutions to all software. I work on a PHP app with code that goes back 15 years. To convert it to rust we'd have to invest basically the same as the operating cost of the company. That'll never happen.

Once "safe" languages are used, there are still bugs of course. But what are those bugs? Failures of thought, plain and simple. Structural engineers work within the limits of physical reality and these constraints greatly limit the range of possible creation, thus also the range of possible failure.

Software has limits too, in memory, storage and processing capacity. But otherwise it works entirely in the realm of pure thought.

Well defined specifications that can be turned into concrete tests can solve a lot of these problems, too. (But this is also very expensive).

But even if you have specs and tests, there is no magic formula for ensuring your ideas are always sound. If the idea is wrong you can't even write tests to ensure it's correct. "Correctly" functioning components can have complex, difficult to predict side-effects when composed into complex systems.

We do have everything we need to write highly reliable software. But solving the software failure problem is the same task as solving the erroneous thinking problem. I don't know that we meat-sacks can "solve" that problem.
> and some people don't like change.

People really need to stop saying this rather than taking the time to actually understand what people are objecting to.
Amazon Will Take over Logistics
> It's unrealistic to force people to use the socially optimum solution rather than their prefered solution.

It is perfectly realistic and has happened, like when schools were desegregated much to the dismay of white people in the south, who abandoned the democratic party as a result of it. The hard part is getting a law passed and not diluted along the way by people who refuse to accept inevitable change. Making transit comparable and better than cars is the goal of every transit agency in the world, the difficulty comes from getting people to vote for funding and approve construction projects. Los Angeles is pointed to as a slow meandering failure of a transit build out, but the only reason why it is a slow meandering failure is that the people who would benefit from transit the most do not vote, and the people who vote care about their view or have a preconceived and bigoted notion of who rides public transit, latching on to psuedoscience along the way to further their racist worldview into political action (underground subway construction was banned in LA from the 90s to a couple of years ago due to an unfounded fear of blowing up the city, for example, but the real reason was that the concerned citizens of beverly hills felt they might see more black or brown people on their stretch of sunset boulevard).
Hacking Bad
It's really bad
Most building "bugs" don't result in harsh sanctions. Only catastrophic (or potentially catastrophic) ones, done with some negligence do.
Yikes, this is an uninformed comment...
I haven't run in to any problems, but I also haven't been using the phone exclusively so my experience is very limited. It would be interesting to know exactly which apps are affected by that though...
Cards are widely available, even new.

Their main problem will be getting it running! For example: if there are germanium transistors in it, they often fail, and you can't get modern replacements easily.

Every board will need to be checked component by component and it will have to be powered up very carefully. Just getting everything connected together and damaged cables repaired will take a long time.
Change is good. Let's change away from systemd.
The strange move from a risk management perspective is partnering with their main rival. I'd have probably went with Google for two reasons:

1. They'll likely fail in their gaming effort with Sony still being in strong position in market.

2. They have a competitive cloud with bright engineers that can solve infrastructure problems better than Sony.
Can we please start investing in nuclear power again. Pretty please? We've already lost 50 years due to anti-nuclear policies that effectively killed nuclear power in every developed nation not named 'France'.

Wind/Solar necessarily implies doubling-down on natural gas as this is the standard (and only) way to get around the intermittency issue of those renewables. It's no surprise that natural gas companies now lobby for Wind and Solar deployments, and Germany signs multi-decade deals to import Russian gas as they increase their Solar and Wind footprint.

So nuclear, apart from being capable of cutting our CO2 emissions to 0 for power generation, also requires two orders of magnitude less land-use than Solar and Wind deployments. This does nothing for CO2 emissions, but I'm sure wild-life will appreciate less encroachment.

What will it take for environmentalists, and progressives (who push the anti-nuclear Green New Deal) to support nuclear power?
> IRCCloud is a centralised, closed-source entity that stores all your chat logs in the cloud. So, no different than Slack/Discord (with the exception of the protocol).

(A very important exception.)

IRCCloud just appears to be akin to a BNC. If Bob decides to use IRCCloud or a BNC that is his choice. The rest of the team or group can still use their preferred IRC client because the protocol is an open standard. Would it be my choice for an IRC client? Hell no. But thanks to the protocol being FOSS: to each their own. Try that with Slack/Discord...

> How is it worse for Slack?

Because whatever gamers discuss is much less privacy sensitive than whatever businesses (with for example other people's data) discuss.

I'm also not really sure why anyone would compare Slack/Discord with IRC or XMPP when its clear that these are so vastly different while there are FOSS, open standard solutions for Slack/Discord in existence such as Mattermost (Slack alternative) and Mumble (Discord alternative). You can't even do audio or video over IRC.
The internet isn't to blame for the global success of far-right parties
I don't think WSL counts at all.
You can tell journald to forward everything to rsyslogd and grep to your heart's content. https://wiki.archlinux.org/index.php/Rsyslog#journald's_sysl...
Yeah this was fun to read about when the Guardian mentioned it a week or so back. The guy appears to have invented a language (Proto-Romance) and made claims that this was the usual script for said language, and cracked decoding it. And all this after only two weeks study.

Anything that can shed new light on the book is intriguing, but I'm not buying this without extraordinary evidence.
We have the natural experiment of California, which as I recall, if it were a country, would have the world's sixth or seventh largest economy.

Compare what's happened to the Boston metro area with Silicon Valley. Boston matches the Bay Area in top universities, and if you go back to the 1980s, had even more of the computer industry. But the Valley has outpaced it ever since, and by now has much greater economic vitality.
This analysis really under-plays how thin and blurry the line between "dead end job" and "blue collar career" is early on one's career. Driving a tow truck for someone else is a dead end job. You only need like $5k to get your first tow truck though and owning a fleet of tow trucks is not a dead end job. If you have that drive to move up then you can easily start moving up.
I can't believe that lawyers are such an outlier, I though it was very close to engineering.

That's an average, I wonder the mean, maybe there are many lawyer whales pushing up the numbers.
I personally will pass on any project/lib that has a bunch of unanswered issues, or a bunch of auto closed stale issues. Unless the project is big enough to have an active SO or Gitter community.
Why is putting tariffs on imported Chinese goods a bad deal? Isn't that a choice? You don't have to sell your products in the U.S.

Fine, China is a Sovereign country and can do what it wishes, but so is the U.S.
That would invalidate a lot of the criticism I saw.
Yes.

Lua doesn't have continue or break in loops. But it has goto. That's one of the uses of it.

It also has, IMO, a sane goto. You cannot jump to any label outside of the function you are running from.

https://www.lua.org/manual/5.3/manual.html#3.3.4
Are you advocating that every one take on the operational burden of running an email server after everyone takes on the mental burden of learning how to set up and configure a mail server and all the fiddly DNS bits theirselves?
I know you're getting downvoted. I don't think things are as "bad" as you think they are, but it's also impossible to deny that our current incentive structure is not ideal and can lead us to bad results.

That said, with respect with Seyfried's work, I urge you to give something like https://sciencebasedmedicine.org/ketogenic-diets-for-cancer-... a read. Go ahead and skip all of the bits about his chosen associations and focus on just the science parts if you would like. I think you'll find that quite a lot of research as been done on cancer metabolism, and that Seyfriend's work at best can be considered incomplete.

If you find the blog's arguments about lack of clinical trial data to be circular (I guess they kind of are), I don't have any answers for you now, but I suggest you keep on eye out for this guy: https://clinicaltrials.gov/ct2/show/study/NCT01754350

This is one of the studies in early stages that the blog links to (it's been a few years). They just wrapped up the study a few months ago, and hopefully there will be results posted soon. You can also search for that study number (NCT01754350) or study name (ERGO2) for papers when they do come out (again, expect at least a few more months).
Welcome to 21st century arguments.

Humans used to be able to disagree and still get along, but that was boring for drama-preventing reasons.

More on topic, though, I wonder: What exaclty is the relationship between Alpine Linux and ungleich.ch?