skysight-inc/HackerNews huggingface dataset:
Be careful that data doesn't say what you think it does. Southwest for example has the most MAX orders (being the launch partner for the airframe), but only uses MAX 8 and has only MAX 7/8 on order. They don't fly the MAX 9 at all.

Because of the long lead time for aircraft and financial commitment, many airlines will place large orders and take delivery of aircraft that they then turn around and sell or lease.
Note that the source you're seeing there is the fallback implementation, which is only used if there is no instruction for FMA in the architecture you're compiling for. On AMD64, for example, the call to math.FMA will be replaced by the VFMADD231SD instruction.
Really! Reading this thread makes me feel like I've been sent back in time. Just wait till we get NSAPI/ISAPI released!
Tech L7 who can only program Python but thinks they could be the next Boeing CEO.
Radar-based building damage assessment in disasters
There were only 2 possible causes of the incident, either the bolts had been replaced with bolts made from an inappropriate material, so they broke, or the bolts had not been assembled correctly, and they became loose.

It appears that the latter is what happened.

Perhaps those who did the assembly of the doors at Boeing did not use the right kind of washers that are needed to prevent the unscrewing of the bolts, or they did not apply the correct torque to the bolts.

It is extremely surprising if such trivial errors can happen during the assembly of an aircraft.
Things like the occurrence in this article only occur because job termination is so heavy handed here. When people are immediately cut off from their income source without warning, in a society with very little social safety net, they get angry and do drastic things.

In many, many other countries, letting someone go is a long process that involves a lot of time for both parties to shore things up and be prepared to move on without incident.
And every time you upgrade to the next major release, you start again from square one because the requirements of your software have changed. You get it to work and things seem to be fine. Over time, you start noticing things that are subtly broken, until something just fails completely and doesn't work. The fix turns out to be trivial when you give it another go two days later, but at the time it happened you really didn't have the nerve to deal with it right then.

After two dist upgrades, you realize that this approach isn't workable.
The point isn't to have users chat with documents, it's to automatically parse unstructured data into structured data and store that somewhere for later use. As a real example, I deal with piles of legal contracts from which I need to extract specific information so I can perform later analysis, to be able to answer questions like "what specific model of widget is under contract here" and "what's the average contract value" and "what's the average contract value of widget XYZ". All stuff that's very easy to answer in SQL[0], once you have the data -- but extracting that data from legal documents, many of which are not in English, previously required a small army of contractors. Now it's been replaced with a local LLM that parses those relevant contract details into JSON which gets stored into a database. The accuracy is suitable for my use case, though not 100%.

[0] and very hard to answer with an LLM, as they are notoriously awful at doing any sort of math.
Loom goes in the opposite direction: it presents a programming model where everything is blocking all the time, then makes threads lightweight, so that's scalable. It doesn't do anything to make file operations truly async; it makes it unnecessary for them to be async.
I've noticed the same with electrical work. How many use torque screwdrivers, even when dealing with high load appliances (eg, a 50 amp EVSE)?
What's the easiest way to cheaply get ECC on AM5 working w/ separate GPUs nowadays? I currently have an ASRock B450 AM4 motherboard + ECC memory + Ryzen 5 3600 and while I think ECC works, I'm not certain.

I with there were a "cheap ECC on <AMD newest socket>" guide where the components and settings were validated by a reputable party.
Yeah, I wouldn't be surprised.
United Airlines inspections find loose bolts on several 737 Max 9 aircraft
Most airlines do have MAXs. Delta does not. However, they have ordered some MAXs. So they will have MAXs in the future. That will take quite some time however.

So if it's really that big of an issue for a person, then just fly Delta for the time being.
Culture problem as we hire people of a generation who were not educated or engrained with responsibility they avoid doing the right thing and this happens.
Sounds like Hennessey.
If the concern is privacy, then access should be the focus, not time.

So long as the recording is properly encrypted, and the access is properly managed, privacy will be preserved.

If those things aren't true, then there is a privacy violation, regardless of the 2 hour time constraint.
From the README, pg_rman provides point in time recovery (PITR) and maintains a backup catalog:

> The goal of the pg_rman project is to provide a method for online backup and PITR that is as easy as pg_dump. Also, it maintains a backup catalog per database cluster. Users can maintain old backups including archive logs with one command.
We don't care if people die, just so long as your enforcement is not any more rigorous than ours!
What I'm talking about is that you haven't solved the verification problem by calling 911. They likely aren't aware of all dispatched units, especially in your district. Supposing they did, it also doesn't let me know that the person I'm taking to is an officer, but just that there is an officer dispatched. How do I verify that these are the same?

The system I want is basically something simple citizens can use and can become common practice. Such as cop shows up and you scan their badge with your phone. Why? Because such procedure can kill police impersonation before it starts. It creates a high level of difficulty to perform that impersonation. Honestly, this should even be possible without an Internet connection. There is also an added benefit for both parties. The scanning of the badge logs an interaction and can make both parties accountable.

That's the alternative. The alternative isn't do nothing when I'm literally asking for something else. Get the context of the thread before replying. It's like you're pretending my original cert question doesn't exist.
the 68000 had similar problems, you couldn't reliably restart an instruction after a page fault. the sun-1 worked around this by using two 68000s. as i understand it, usually you can work around reliability problems in cmos by stricter testing (at the fab, reducing yield), lower clocks, higher voltage, better bypassing and esd protection, longer setup and hold times, bigger heatsinks, derating industrial parts to commercial grade (or military parts to industrial grade), laser trimming, or occasionally higher clocks and/or lower voltage. not always, of course

parts that don't work at all are often unrecoverable, except through ridiculous workarounds like the sun-1 (one computer for the price of two!) or the 286 return to real mode via a cpu full reset (https://retrocomputing.stackexchange.com/questions/11954/how...) but parts that work sometimes can often be babied enough to get them to work reliably
At a previous job we had a Beaglebone mysteriously show up in our DC. We noticed it buried behind some network cables and immediately unplugged it. (Not) Coincidentally, we had gone through a merger a few months prior, and the new corporate IT team had come out (from clear across the country) right after the acquisition to get a feel for how our IT infrastructure was setup. The day after we unplugged the Beaglebone we got a pissed off call from one of the corporate IT guys, turns out he had installed it there to gather some network metrics/statistics or something like that when he had come out a few months prior and didn't tell any of of our network admins or sysadmins, but somehow it was our fault for not magically knowing what the suspicious SBC in our DC was.
Am I the only one disappointed in AMD for still not releasing a proper PC gaming APU and instead they keep trickling down these lukewarm parts to us like it's the best thing since slice bread when they already have the monster X86 Ryzen-RDNA APU from the PS5 and Xbox released 3 years ago, which slap these new PC APUs into oblivion at gaming.

So why can't they just strip the proprietary Sony/Microsoft IP from the silicone and release a PC version of those APUs?

They're still just bog standard Ryzen-RDNA parts with more graphic CUs and higher TDP than what they sell for the PC, and the PC motherboards can take higher TDPs of the PS5/Xbox APUs anyway. So what gives AMD? Why you playing us like that?
I mean, a pilot subject to constant audio recording could learn ASL, or scribble notes on a piece of paper, or whisper in someone's ear.

But we aren't talking about how to circumvent monitoring. We're talking about working when your idle socializing (while working) is monitored and logged.
To add: it's not just the fact that it's barely running anything that makes it secure, but the things that you do run have effort put into making their codebase secure as well. Such as the various daemons, like httpd.
As a passenger I'd love both, thank you. I do find it annoying to have to walk down the center stooped over or with my head turned sideways in smaller planes. I'm not even unusually tall--only 190 cm.

But yes, I do value legroom more than headroom. They don't, however, trade against each other.
As I understand it, the biggest story with Hezbollah over the past decade has been their involvement in the Syrian Civil War, which apparently depleted them significantly and greatly reduced their status --- which does remain dominant --- in Lebanon. I think it's pretty widely seen as something Hezbollah did at the instruction of the IRGC, which is Syria's closest military ally.
The true benefit of being able to tell NP-complete/NP-hard from the garden variety bucket-o-bytes moving is not in giving up when you encounter them, as you correctly identified, but in knowing that even attempting an optimal solution is futile and proceeding to looking for approximate solutions to the business problem more or less instantly.

People unfamiliar with the matter may attempt to solve the problem, might even get rewarded for effort and hard work if management is also unfamiliar with the matter. Maybe it's fine though...?
OpenBSD Foundation 2023 year successful
I think it was pretty common in the 2000s when devs could't provision machines/VMs without asking for permission
Data is crowdsourced and contributed by users. On a much larger scale, Apple and Google collect data from iOS and Android devices to power their WiFi/mobile tower based geolocation services.

Android's Location Services: https://support.google.com/android/answer/3467281#location_a...

iOS's Location Services: https://support.apple.com/en-gb/102515

In fact, Google provides it as a paid API: https://developers.google.com/maps/documentation/geolocation..., but you require BSSID's and not just SSID names to try to curb abuse.
https://news.ycombinator.com/item?id=38917569
It is even worse than that: those that don’t care will make life intolerable for those that do until they give up trying to help and go away.

You would definitely hope aerospace assembly would be immune to this widespread phenomenon though.
Plot twist: it was company's jenkins and payroll cronjob server. The other "proper" CI server was always stuck on some Java+Angular monster pipeline.
Don’t forget massive PMF in the case of twilio
not exactly farmed. Is fattened in captivity.
In that case, you might want to look at a mechanism called a "planetary gear set" for inspiration - I don't know if it's common for the rotation of the "planet" gears to be harnessed to drive something other than a synchronized output shaft, but it's still the same basic mechanism.
> They have American & Soviet fighter jets (F-5 / SU-22)

They have, from the accounts I’ve seen (including their own propaganda videos) a single flyable F-5 constituting their entire “fast air combat capability” of those delivered to Yemen more than 40 years ago (and the F-5 was an older cheap export fighter then.)

And... I wouldn't expect it to be flyable much longer. Mobile missile launchers may be hard to find and kill on the ground, boring conventional fixed-wing jet fighters aren't, and even though they aren't the strategic target of the coalition the US has put together, US combat doctrine very heavily favors early destruction of an enemy’s air combat capability and air defenses to maximize freedom of operation.
Also if this were true, we'd see this happening with existing platforms like Rocket Chat and Zulip. And likewise we should see velocity of open-source projects skyrocket.
Show HN: Chalker – Rainbow JSON Logger (Stringifer)
This is the one of the first items I load in when I start a new project as it makes it so much easier to visualize the data structure when each nested level is a different colour. Thought I would polish it up a bit and share it for those who may find it useful.

Cheers.
Now that's problem solving!
Unsure what file formats you're dealing with, but archive.org, github.com?
I see. Yeah, I was on the same search as you some years back. KDE Connect was somewhat promising -- IIRC it worked on Mac and Windows, as well, but it didn't meet my needs.

So now I have various front-end to SSH/SFTP with key-based auth that require minimum effort for day to day use. It transfers fast, too. But I have to build everything first.

Good luck! Post here if you find anything you're impressed with.
Something that injures you. But also any long-term routine that lacks an aerobic component. Aerobic aspects of exercise are particularly important for most of the mental health benefits[0].

0: https://en.wikipedia.org/wiki/Neurobiological_effects_of_phy...
I've seen on Toyotas and also at Universal Studios bolts on rides are marked with paint presumably to indicate that the nut hasn't backed out.

Are airliners marked in this way? Is checking the bolts simply a visual inspection, or do the inspectors need to get out a torque wrench?
This is a closed cycle, so I would expect it to be cleaner, but I don't know for sure.
From the article:

The state-of-the-art tool for automatically generating proofs is called Thor, which can generate proofs 57% of the time. When Baldur (Thor’s brother, according to Norse mythology) is paired with Thor, the two can generate proofs 65.7% of the time.

Though there is still a large degree of error, Baldur is by far the most effective and efficient way yet devised to verify software correctness, and as the capabilities of AI are increasingly extended and refined, so should Baldur’s effectiveness grow.

Now, I suppose that a 65.7% success is better than the ZERO% success rate that most software vendors guarantee, but I'd like to see better.

https://law.stackexchange.com/questions/1410/do-warranty-dis...

Most open source software licenses contain, in capital letters, the following disclaimer:

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

One reply:

Some jurisdictions provide for statutory warranties on fitness and merchantability of goods. The effect of these exclusion clauses will vary between jurisdictions ... more ...
I doubt ever, consumers have been proven to select the cheapest airline ticket. The average once-a-year flier likely has no idea what aircraft they are even flying on.
These are multibillion dollar companies, not your scammy SV dogshit startups. Fun is a rounding error for them.
There is a very strong reason why Airbus does not publicize mishaps of their competitors. Once airline manufacturers start slinging mud at each other it will damage the carefully built trust that they have gained over the years. Neither Airbus nor Boeing want this. Airbus has had it's fair share of mishaps as well, which Boeing has not publicized either.

This is post is not sponsored nor endorsed by Airbus or any other plane manufacturer for that reason. Note that airbus has not done so when the 737 max had 2 accidents that were due to lax regulatory oversight.

This post IS sponsored by a travel company that tries to market their service to a wary public that doesn't want to fly on a potentially badly manufactured airframe.
Did anyone go to jail for the previous Boeing MAX crashes?
from a cursory check https://en.wikipedia.org/wiki/List_of_Boeing_737_MAX_orders_... there are not that many 737 MAX in Europe:

* Ryanair (124 planes out of 575)

* TUI (40 planes out of 134)

* Turkish (25 planes out of 400)

* Norwegian (18 planes out of 81)

* Icelandair (3 planes out of 47)
https://archive.ph/8Nq7u
> A special thanks to all who support my work with a small donation on GitHup.

I was hoping the GitHup link was a play on words that would lead to an interesting unix-related project. Alas, it's just a typo. Maybe next time. :)
You’re lacking a significant amount of historical and cultural context to understand what that even means though.

For one thing, translating the words alone leads to a significant stripping of context. Additionally, movements around political Islam have only gained sway since secular/nationalist movements failed to achieve their goals in a meaningful way.
In my comment I originally considered writing "people want concrete answers, now"...

I totally agree that for important issues more research is always needed when one needs to resort to Bayesian analysis, but sometimes for policy reasons somebody needs to make a decision quick and they can't wait 2 more years for indisputable evidence. COVID is a good example, governments can't just say let's wait for two years and see what happens... Even for the autism example, even if authorities only find a substantial but not definite likelihood that autism is going up, they are supposed to prepare for policies that might help alleviate the problem, instead of waiting it to become a definite problem and then fixing it after the fact. For example, let's say chemical X is deemed to have 80% chance of causing increased autism, it's hard to argue we should wait until it's 99% before restricting the use of X. Of course if it turns out upon more research the likelihood is closer to 0% the policy can be reversed.
How many times are the torque specs available to me when working on my car? I have no idea what random bolts are supposed to be so they get the good n tight click.
Those don’t sound very reassuring either. What’s to say that this is the only bolt with incorrect torque spec, or if this part is bad why not others, and if bad parts are not being caught during quality control then what other parts will be next to fail prematurely? And if there are unexpected vibrations in that area, why wasn’t it discovered during test flights? What other vibration issues would they not have accounted for if they weren’t capable of detecting this one?
This is simply a badly written, outdated list of airlines that don’t use the 737 MAX. It is not a list of airlines who have grounded their fleet due to the current safety concerns.
might be pdf i have it on paperform; im requesting it tommorrow
There are no similar APUs in the same price range. Unless you consider regular i5 CPUs as APUs, which they technically are.
Why does it request write access to my repos via gh auth?
Accessible AI for Everyone
spirit doesn't have any of these in their fleet, but it's not the most comfortable flight
> seems to have a problem with splitting tools across a bunch of vendors

Why is this a problem?
Thousands of AI Authors on the Future of AI
> People at large simply cannot be bothered to care about anything, including torque specs for freakin' AIRLINERS

It may have not been operator error with the torque wrench. Maybe the torque wrench itself was miscalibrated. Maybe the bolt had a flaw in the metal. It seems too early to make conclusions.

An example of flawed bolts on aircraft in an excerpt from https://www.sciencedirect.com/science/article/pii/S136970210...:

A bolt from an aircraft flap control unit fractured in the threaded region of the shank near the shoulder with the head upon installation after a major service. A metallurgical investigation was carried out to identify the cause of failure. The bolt was manufactured from cadmium-plated, high-strength steel. Material checks carried out on the bolt showed that it conformed to the required specification and was found to have an approximate ultimate tensile strength of 1380 MPa.

The fracture surface of the failed bolt was examined using SEM to identify the mode of fracture and determine if pre-existing defects were present that could account for the unexpected failure. The fracture surface exhibited two distinct modes of failure. [...]

The embrittlement in this case was attributed to the cadmium plating, which is applied to the bolts to provide corrosion protection to the steel. Hydrogen is evolved during the plating process, which becomes absorbed by the steel. The cadmium plating acts as a barrier to hydrogen diffusion at ambient temperature so that the hydrogen becomes ‘trapped’ in the steel. In high strength steels (>1100 MPa) this leads to embrittlement. To overcome this problem, high strength steel fasteners, which have been cadmium-plated, are baked at 175–205°C for 24 hours to allow hydrogen to diffuse through the cadmium. In this case, failure of the bolts was caused by insufficient baking after plating, which gave rise to hydrogen embrittlement.
> You need to use sudo.

Sigh.

» sudo dtrace echo hi
dtrace: system integrity protection is on, some features will not be available

dtrace: no probes specified
(last command returned 1.)
» sudo dtruss echo hi
dtrace: system integrity protection is on, some features will not be available

dtrace: failed to execute echo: Operation not permitted
(last command returned 1.)
»

There's a host of problems that come with that, though: how do you then execute the tracee? If your problem is nice & simple and works under root, that's great I suppose, but it always seems like some access to $HOME destroys that possibility for me.

Then there's that, even ignoring all that … I've still yet to figure out a minimal example?

Give me a barebones minimal example. Every article I hit on this tool is right into space shuttle levels of complexity. That's what makes strace the winner.

> As long as you use it properly, i.e. not like an alias for strace the way you tried here.

… "you're holding it wrong."
Supreme Court rejects appeal by Elon Musk's X on disclosing federal surveillance
I thought airplane interiors are outfitted for the specific airline. So your issue is with the tray table in a SW 737-MAX-7?/8?/9?, not the MAX in general.
Neural networks for quality assessment aren't necessarily unheard of. I'm not sure how they'd be using them in this case, though?

Maybe something like a camera monitoring that they are using the correct tool at various parts of assembly? But I'm not sure how feasible this would be at airplane levels of volume.

I bet it'll be common in car assembly at some point, though.