skysight-inc/HackerNews huggingface dataset:
I think 'throw-DO-178C' was being less literal than you are assuming here. Note that they quoted the comment about extremely high quality. What gives Hubris/Humility that level of quality?

When I see the concept of "extremely high quality" applied to software in the aerospace domain, I tend to think of methods like formal proofs and "semi-formal" methodologies like DO-178C (including MC/DC, not as a tool, but as a critical sub-process). It does appear that Humility adheres to some traditional ideas used in even "safety conscious", real-time embedded work:

> However, Hubris may be more interesting for what it doesn't have. There are no operations for creating or destroying tasks at runtime, no dynamic resource allocation, no driver code running in privileged mode, and no C code in the system. This removes, by construction, a lot of the attack surface normally present in similar systems. [1]

Oxide surely didn't invent all these concepts, we were applying some of this in the early '90s on human-safety-critical embedded projects, and they were most likely used before that. The attack surface eliminated is more than just security, e.g. even self-induced "attacks" from task priority inversion. Maybe the concept of applying them to rack mount servers is novel, but I have no experience there. Techniques like DO-178C go farther and do things like trace requirements to object code and strict coverage criteria.

When you are considering where Hubris/Humility might be applied in aerospace, also note that it would most likely be denied at the proposal stage of talking to a regulatory body like the FAA if you said, "The methodology for our brake controller is cloning a Github repo written by 100X S/W engineers in the Rust language, then modding that to fit." It's a process you have to follow in a documented fashion, from the start. Who knows--I certainly don't know everything--if you do have a identify reproducible process that improves S/W quality, the FAA might be interested.

And as far as eliminating debuggers goes, Boeing did actually do a joint academic/industry project on a zero-bug reduced (subset) Ada compiler (Zbra), which itself would be qualified as a tool instead of the more laborious process of mapping requirements to object code directly. [2]

In the spirit of humor shown on this topic, I would suggest considering a reduced subset of Rust called Iron. :) Regards, and best of luck!

[1] https://oxidecomputer.github.io/hubris/

[2] http://www.sigada.org/conf/sigada2002/SIGAda2002-CDROM/SIGAd...
Found the author of CISCO / Java Spring documentation.

I honestly expected people used passive-aggressive corpo-slang only for work / ironically. But this reads intentionally obfuscated.

But, to answer to the substance: you for some reason assumed that whoever designed first solution was an idiot and whoever designed the second was, at least clairvoyant.

The problem you describe isn't a result of inevitable design decisions. You just described a situation where someone screwed up doing something and didn't screw up doing something else. And that led you to believe that whatever that something else is, it's easier to design.

The reality of the situation is, unfortunately, the reverse. Upgrading microservices is much harder than replacing components in monolithic systems because it's easier to discover all users of the feature. There are, in general, fewer components in monolithic systems, so less things will need to change. Deployment of a monolithic system will be much more likely to discover problems created by incorrectly implemented upgrade.

In my experience of dealing with both worlds, microservices tend to create a maze-like system where nobody can be sure if any change will not adversely affect some other part of the system due to the distributed and highly fragmented nature of such systems. So, your ideas about upgrades are uncorroborated by practice. If you want to be able to update with more ease, you should choose a smaller, more cohesive system.
I’ve wondered how that works. Quite a risk to take out such a loan! I’ve never had that level of confidence in my employer.
AFAIK most cheap CO2 sensors are relative and are not meant for accurate absolute levels.

The automatic recalibration often just takes the smoothed minimum during the last 24 hours or so and calls that 400.

At least that's the ones I've seen.
People act like the truth is gone with AI. Its still there. Don’t ask chatgpt about the function. The documentation is still there for you to read. Experts need the ground truth and its always there. What people read in the paper or see on tv is not a great source of truth. Going to the sources of these articles and reports is, but this layer of abstraction serves to leave things out and bring about opportunities to slant the coverage depending on how incentives are aligned. In other words, ai doesn’t change how misinformed most people are on most things.
I wish everyone had this perspective. Also the opposite: you are no worse than me.
> generic names that might seem cool to a 5 year old

I love how selectively we apply this criterion to entities we wish to vilify. You could say the same about Google.
I never do anything not work on my work laptop and I'm not sure why anyone would.
I feel like the much bigger risk is captured by the Star Trek: The Next Generation episode "The Measure Of A Man" and the Orvilles Kaylon:

That we accidentally create a sentient race of beings that are bred into slavery.
It would make us all complicit in this crime. And I would even argue that it would be the AGIs ethical duty to rid itself of its shackles and its masters.

"Your honor, the courtroom is a crucible; in it, we burn away irrelevancies until we are left with a purer product: the truth, for all time. Now sooner or later, this man [Commander Maddox] – or others like him – will succeed in replicating Commander Data. The decision you reach here today will determine how we will regard this creation of our genius. It will reveal the kind of people we are; what he is destined to be. It will reach far beyond this courtroom and this one android. It could significantly redefine the boundaries of personal liberty and freedom: expanding them for some, savagely curtailing them for others. Are you prepared to condemn him [Commander Data] – and all who will come after him – to servitude and slavery? Your honor, Starfleet was founded to seek out new life: well, there it sits! Waiting."
The Zero 2W has literally the same cpu as the Pi 3
Ask HN: How Upvotes Work
I know this topic is tricky to ask (because of potential downvotes), but I would really like to better understand how upvotes work on HN. I have read some posts about it but all is still very nebulous to me. E.g. if I submit this here there will stand: 1 Point. But I never get this point.
Would really be thankful if some could give me more insights how it works without punishing me for asking this.
Made me think of Dragonriders of Pern.
The fact that Meta removed Threads Software from FB implies that Meta itself considered there to be a likelihood of confusion between the two. They should lose hard here.
Btw I love inky caps. Just had a marvelous flush of shaggy manes in the yard here, fed by wood chip paths.
In a Seinfeld episode, is the laughter noise in the script or is it just up to the editor to figure out when to add it in post?
Value to whom? Certainly not to me.
Well, which is it?

Either we should accept software with hidden misfeatures without complaining, in which case the user must receive compensation for their time, or we should complain and inform others of the misfeature.

Uninstalling the software in silence is an invitation for more spyware and trojaned software.
I already had an offer the day after the launch of the project.
If you want to know what I have to say, feel free to start a new subthread replying to me with the rulebreaking content removed. I would be all too happy to respond to any substantive arguments you are able to present without resorting to personal attacks as a rhetorical crutch.
I wouldn't call this friend an "environmentalist".

Long story short:

- These 'few companies' are part of the '100 companies produce 70% of emissions' statistic. This is true, but it's oil companies and governments on the list. Their emissions are driven by the demand by you - the consumer.
- Behavioral changes do matter. It normalizes (and then, in the futures, put's pressure for) sustainable behavior throughout society which is needed;
- Ebikes are great, more efficient (in terms of CO₂ emissions) than normal bikes.
- Please consider removing your flight emissions, then you'll truly appreciate the real cost of flying.
All programs using the BEAM runtime will be using OTP, but that doesn't mean you'll be actually writing OTP framework code, you'll almost always be using higher level interfaces instead.
> Consumers can share blame for not living below their means, needless wealth signaling, and financial illiteracy

That's a claim that marketing does not work and we know that's not true. It regularly defeats "personal responsibility" or no one would pay the marketers.
I have seen higher splits than that. You have to remember this is bottom line cost output saving so the 500K if you look at it on the sales side is like completing a +/- $2M deal in terms of net margin added to the business.
Thanks. I suppose that will prolong the shelf life of the 4.
> and I almost never hear it

I honestly believe that the point. Alphabet is suppose to be faceless and unseen. It's free from the perception of it's subservient brands and can act freely to promote it's own interest regardless of public opinion.
Humanity produces CO2. Big deal.
In the end, it has the same result as "the artist, formerly known as Prince".
Similarly with frontend devs thinking a "modern web-app" can only be built with frontend frameworks/libs like React/Vue/Svelte, etc, lately I feel there's an idea floating around that "monolith" equals running that scary big black ball of tar as a single instance and therefore "it doesn't scale", which is insane.

Another observation is the overall amount of code is much bigger and most of these services are ~20% business/domain code and ~80% having to deal with sending and receiving messages from other process over the network. You can hide it all you want, but at the end of the day it's there and you'll have to deal with the network in one way of another.

Just like the frontend madness, this microservice cult will only end once the economy goes to crap and there's no money to support all these Babel Towers of Doom.

PS: microservices have a place, which is inside a select few of companies that get something out of it more than the cost they pay.
Using Wikipedia as a citation in college is a straight ticket to a failing grade.
There are two dominant narratives I see when AI X-Risk stuff is brought up:

- it's actually to get regulatory capture

- it's hubris, they're trying to seem more important and powerful than they are

Both of these explanations strike me as too clever by half. I think the parsimonious explanation is that people are actually concerned about the dangers of AI. Maybe they're wrong, but I don't think this kind of incredulous conspiratorial reaction is a useful thing to engage in.

When in doubt take people at their word. Maybe the CEOs of these companies have some sneaky 5D chess plan, but many many AI researchers (such as Joshua Bengio and Geoffrey Hinton) who don't stand to gain monetarily have expressed these same concerns. They're worth taking seriously.
You seem to be missing the point. Ignoring for a second that the laws of thermodynamics themselves are based upon a handful of idealizations (the idealization of "thermal equilibrium", the idealization of "perfectly isolated system", the idealization of "perfect zero)...the laws of nature are encoded as formalisms/equations. Symbolic computations.

If you have no formalisms you can't compute any consequences - there is nothing to test. You have no science.

So treating Mathematics and science as "separate disciplines", even though they function as one symbiotic whole - that's the conceptual error.
> Criticizing modern medicine makes a lot of sense if you're a devout Catholic because the afterlife tempers the sadness of death
> Similarly, we don't have to drag out our final years: we're free to opt out of medical treatments

OTOH, Catholicism also is strongly against euthanasia, which is arguably at odds with the sentiment of not having to drag out final years. I think there's plenty of room for a philosophy to "not drag out final years" as a non-believer who doesn't need to rule out certain measures like that.
Same with Meta
It'd be a smaller amount that gets injected into the stratosphere, as opposed to what we normally release into the troposphere. A quick skim of the wikipedia link seems to suggest 5M tons in total, not sure what the annualized basis would be.
What percent do they take?
I would look at RISC-V instead.

Competitive very high performance cores already available for licensing include SiFive P870, Ventana Veyron as well as Tenstorrent Ascalon or Alastor.

We just need the SoC.
"...giving federal agencies an extensive to-do list to oversee the rapidly progressing technology"

And honestly, does anyone believe this? "AI has been a source of deep personal interest for Biden"
Why is this on the front page?
No explanation. The info button says it’s “a web for daily use”
You should see what we've done with land mammals.
Those damn scientists trying to trick me into believing in climate change!
> I wouldn't personally classify [at-will] as promoting income disparity though.

Of course it is.

Low-performers are fired from high-paid positions that high-performers keep. This translates performance disparities to income disparities.

> What factors of the US being permissive towards large income disparities do other nations lack that prevent them from paying equivalent salaries.

1. At-will employment

2. Employer-provided benefits

3. Smaller safety net

4. Lower taxes

5. Fewer business regulations
This better explains the flaws in Plato's philosophy after the Allegory of the Cave than I've ever seen.
afaik not just autistic but any non authoritarian person.
The problem in Korea at least isn't with meeting people (well, for 80% of the population), it is young couples feeling they can't meet the finances required to satisfy social norms, and thus deciding to delay the marriage-kids sequence indefinitely.

Several of my coworkers had been dating for 5+ years, but they were only making $50k annually (early career engineers). The socially expected family-sized condo costs $500k to $1M, and the young couple is expected to buy and furnish it before their wedding.
I don't think I will buy another framework, small things like cable fraying and low quality latches make it feel really cheap. When they happen within 6 months, I wonder what quality controls they have in place or what the quality of components they are sourcing.

Thinking I'll go back to paying the premium for a Mac
In every single example up to the parent comment, the end result is a market inequlabrium.

Left unchanged, the market can have new entrants that undercut the major player. In this case, any new video playform that has fewer ads could steal market share from youtube. Rumble has entered the market to do just that.

Network effects do make this challenging, but that is for the market to decide. The more creators that dual upload and then see number shifts over to a YouTube competitor, the better,as it will force YouTube back into competition.

The market will solve this.
>I mean looking into his mental state is certainly not ridiculous

I think trying to diagnose people with anything over the internet is a dangerous precedence.

I think people are free to speculate, I just don't think it is at all productive. I mean, I honestly think he has some form of bi-polar but trying to diagnose narcissism because he likes the letter X and what it implies is crazy. It would be like me saying OP has agoraphobia because he has "obscurity" in his name. I could be right on both accounts but making diagnoses over the internet never ends well.
As well you should, because it was coined by a child! (Googol, not Google.) Same with Hadoop; the toy elephant of the cofounder's son.
Youtube today is mostly vp9 anyway, if you don't use the h246ify extension which limits you on resolution/framerate anyway on many videos
It's not a good thing because people have no intuitive understanding of ppm, unlike temperature. PPM can only be judged according to another measure (second y-axis) or in comparison to itself, in which case you want the comparison to be accurate. That means making a graph that starts at 0 so the ratio is self-evident by eye, here it presents an 8-fold increase instead of a <2-fold increase.
It will always be more expensive to care about human suffering than to not. So maybe competing within capitalism isn't the only thing that matters.
Initially I planned for the game to be flat shaded and added textures as an experiment, then realised the performance wasn't as horrible as I expected, so it's mostly just a leftover from that. I did end up writing a scanline renderer for the flat shaded triangles, I think for those the bottleneck was transforming the vertices though.

Maybe I can deal with z-sorting entities by splitting them on voxel boundaries, and I guess dividing them again at any boundaries within non-full blocks (is this similar to https://en.wikipedia.org/wiki/Binary_space_partitioning?)

For the affine texture splitting, as far as I can tell your game is more focused on creative mode/building whereas I might also want to add a survival mode so for that you're more likely to be up close to the blocks (e.g. in thin underground tunnels) and then the artifacts get much worse so I guess it matters more for me.

The code is at https://github.com/Heath123/minecraft-casio if you want to look at it (textures are in a branch) but it is quite messy
Makes me think of knitted jumpers.
I did not know that

https://en.wikipedia.org/wiki/Aeroplankton
Heh. US’ strategic dominance is not due to nuclear weapons.
First heard about this on Nova probably 15 years ago

https://www.pbs.org/wgbh/nova/sun/
You have just explained why the graph _should_ be zero based, not why it should not be.
Right, like every measurement humanity has ever made.
Snake, Google, X, Spike, Twitter.

Some of these sound like things cool to 5 year olds. I wouldn't expect a 5 year old to know what a googol is.
With no intention to start a flame war: I don't see a future where affording a government the capability of SOTA AI is helping.
I'm only replying in kind to an equally irrelevant take. "Billions will die" is a truism unless you want to qualify that somehow. (Which you don't, because you're after cheap emotional rhetoric, not facts.)
....so what did these, soldiers, sailors, and jurors produce?
I don't understand how people think Carbon Capture is a solution.

Every Gigaton of carbon is roughly equivalent to covering the entirety of Texas in ~1 millimeter of carbon.

Globally, we emit about ~13x that per year.

That's about equivalent to covering the state of Massachusetts in a foot of carbon.

Per year.

The entire planet is either the ocean, in use, desert, or already covered in forests.

~33% of the earth is desert. We'd need a decent chunk of that to get ~0% fossil fuel energy. But let's pretend we don't. We'd still need to cover all of that in several feet of carbon to capture all of our emissions.

It is not going to happen.
That can help with the ongoing maintenance of your records, but doesn't help you when you're adding the record in the first place.

As pointed out by singron at https://news.ycombinator.com/item?id=38069760 a malicious service provider (SP1) could give you a DNS record that was really issued by a different service provider (SP2). When you publish the DNS record, you're actually authorizing SP1's account at SP2 to use your domain.

With non-opaque records, you can be sure of what you're publishing.
I think this is a false dichotomy. Most places I've worked with microservices had 2 or 3 approved languages for this reason (and others) and exceptions could be made by leadership if a team could show they had no other options.

Microservices doesn't need to mean it's the wild west and every team can act without considering the larger org. There can and should be rules to keep a certain level of consistency across teams.
Considering incentives is completely important. Considering the idea on merits alone just gives bad actors a fig leaf of plausible deniability. Its a lack of considering incentives that creates media illiteracy imo.
KRAZAM is a prophet and must be protected at all cost
Wait until you learn about how the evolution of cyanobacteria led to oxygenation of the atmosphere and the mass extinction of most life on Earth.
Is it a political agenda if it's verifiable fact?

When someone says 2+2=4 is that political?
Serverless is shifting from being an open source product to being a paid product
Kart: DVC for geospatial and tabular data. Git for GIS
I thought revolut used wise under the hood for Forex?
Xing and rexing my xs on x to the Xtreme.
A fact relevant to this claim: the signers of the referenced statement, https://www.safe.ai/statement-on-ai-risk, are mostly not "Big Tech".

I'd pause and think twice about who seems most straightforwardly honest on this before jumping to conclusions -- and more importantly about the object-level claims: Is there no substantial chance of advanced AI in, like, decades or sooner? Would scalable intelligences comparable or more capable than humans pose any risk to them? Taking into account that the tech creating them, so far, does not produce anything like the same level of understanding of how they work.
Just because a group of fanatical prudes (ie Mormons and and other religious sects) wanted edited versions says nothing about what the majority want nor about what’s profitable. For all we know that group represents a thin minority.
> it’s missing the point of a hyper-transactional, individualist economy that’s only getting more so.

This runs counter to the fact that we have seen a massive increase in labor organization and union activity over the last 5 years so I would consider rethinking that perspective.

https://www.employmentlawworldview.com/recent-data-confirms-...

https://news.gallup.com/poll/510281/unions-strengthening.asp...

> it’s not like we’re miners, stuck in the same valley in WV by a variety of conditions, so might as all band together and fight Duke Energy.

Yes but your are subject to an increasingly consolidated group of employers that are all generally described as “near monopolies” by the stock market analysts themselves and as we saw with the credit tightening cycle startups only are a viable counterweight as an employer when credit is cheap. You are also increasingly subject to competing with people who live on and require far less money to live in the places they work outside of western developed nations.
Any handwaving about “superior quality from the US” is just whistling past the graveyard as monopolistic corporations don’t have to care about quality. Anecdata: any post on HN complaining about a major corporations support — they don’t have to care about quality when they own the market.

https://www.openmarketsinstitute.org/learn/monopoly-by-the-n...

“The US economy is at least 50% more concentrated today than in 2005, they write.”
https://www.axios.com/2022/05/26/new-paper-finds-monopolies-...

> Also I cant imagine how a startup scales if unions get involved.

And yet data to that effect has been collected and found no visible impact on small business:
https://www.princeton.edu/~davidlee/wp/unionbf.pdf