mkwt
@mkwt@lemmy.world
lemmy
0.19.17-8-gded733659
0
Followers
0
Following
Joined June 18, 2023
Posts
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
programmer_humor
·
2d ago
This doesn’t happen “on a distro” because all of the different software functions are at different safety criticalities. The autopilot is (usually) level B, the air data system that delivers altitude and airspeed is level A, the navigation computer is level C (because pilots can still navigate without the aid of the computer). And so on.
At level C, the standard is statement coverage with unit tests. At level B, it’s decision coverage, covering every branch. And at level A, it’s modified condition / decision coverage, which is a lot more complex and expensive to write.
If you mix code for stuff at different levels, you have to develop the whole package to the highest level. Unless you can prove that the lower level code can’t interfere with the higher level code.
The easiest way to prove that is to put the different levels into different computers, so they’re only talking to each other on some digital bus interface. That’s called “hardware partitioning”. There’s also “software partitioning”, but it requires an operating system or supervisor layer to provide the guarantees, and that operating system has to be developed to the highest safety level that it handles.
Final result: you still see a lot of discrete computer boxes on airplanes. Various vendors have developed safety-critical OSes for main avionics computers, but they’re closed-source, and usually not based on Linux at all.
View full thread on lemmy.world
1
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
"Red dirt" specifically refers to a region straddling the Red River, including parts of Oklahoma and Texas. The soil in the region is actually red. But the musical area is much larger than the geological area.
View full thread on lemmy.world
7
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
programmer_humor
·
Mar 04, 2026
For me 1.0 only means that I’ve delivered the software to a paying customer.
View full thread on lemmy.world
0
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
PR rejected: Unnecessary bloat.
View full thread on lemmy.world
6
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
technology
·
Dec 10, 2025
The absolute safest bet is to perform a wipe.
This may be effective at preventing the government from accessing the data. But as we see, the law, including the 5th amendment, doesn’t protect from legal exposure to obstruction-type charges. Or lying to the cops type charges if you say you’ll unlock the phone, but then you actually wipe the phone.
View full thread on lemmy.world
0
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
technology
·
Dec 10, 2025
If he’s a US citizen, he’s better off refusing to enter any PIN. That’s protected by the 5th amendment.
If not a citizen and this was in a port of entry context, then he would still have the 5th amendment protection. But customs can simply choose to refuse entry on discretion. So that’s a potentially serious consequence.
View full thread on lemmy.world
0
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
lemmyshitpost
·
Dec 10, 2025
In many jurisdictions, deer season is like 1 or 2 weekends per year, and the limit is 1. It’s not a lot of time to actually find and shoot a deer. So this guy is probably setting this up several weeks in advance to get some level of assurance that some deer will show up to his spot at the appointed time.
View full thread on lemmy.world
3
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
lemmyshitpost
·
Dec 10, 2025
I’m not sure what attracts down votes to your comment. People should read up on the know nothing party. This shit has happened before.
America has always been a contradiction. It is Ralph Waldo Emerson and Robert E. Lee. It is both ICE and this nativity.
View full thread on lemmy.world
0
0
0
0
Open post
In reply to
mkwt
@mkwt@lemmy.world
lemmy.world
@mkwt@lemmy.world
in
lemmyshitpost
·
Dec 05, 2025
It’s funny because earlobes are, like, all gristle.
View full thread on lemmy.world
0
0
0
0