skysight-inc/HackerNews huggingface dataset:
There's a multi-part answer.

Legally (the subject that requires FAA approval) is that the type-certificate (the legal basis for certification and authority to operate) for these engines specifies the use of 100LL and the standard for 100LL is a composition-based standard, not a performance-based standard. If it doesn't have the prescribed amount of TEL, it's definitionally not 100LL, even if it would meet the performance requirement of the engine.

Then, from an engineering standpoint (the subject that companies are working on in order to propose fuels to the FAA via PAFI or GAMI seeking multi-model Supplemental Type Certificate), aircraft engines are stone-age in complexity and are overwhelmingly air-cooled, fixed timing [except during starting], and operate for hours on end at 75%+ of rated power. Your auto is water-cooled, has variable timing, and typically runs at 8-15% of rated power. An aircraft engine has to run reliably with cylinder head temperatures of 460ºF or more (your car's cylinders are much more tightly controlled as a result of the water cooling).

Why can't airplanes use a different engine? Airplanes are (legally) certified to use a specific engine and have had extensive flight testing to determine takeoff/landing distances, fuel consumption figures, etc. Those engines are (legally) certified to use a specific fuel [or list of fuels]. Automobile engines have a horrible track record when attempted to be converted to aviation usage. Small, normally aspirated engines are able to run on low-octane, ethanol-free pump gas. The aircraft with high-powered turbo-charged engines represent around 25% of the engines. Because of their higher utilization, those engines burn around 75% of the avgas purchased in a year. (These are the CapeAir fleet, skydive operators, etc.)
This reads to me as means/ends confusion. If you write your tests afterwards, to reify the implementation of the system, this is true. They may then require radical changes when the implementation changes. On the other hand, if you write your tests first to reflect business rules and requirements, then those tests will change only when the business rules and requirements change. (Which they will, and that's OK.)

I'm not an all-TDD-all-the-time type by any means. You kind of have to at least have something to start writing tests against or it'll just be compiler errors all day long. But for the projects where I've most consistently found success in building correct systems, writing tests as soon as the basic interfaces are in place has resulted in more flexible, more reliable tests that last over the long term.

As for type checks...isn't that what a compiler is for?
From the US Army itself. "Two is One, One is none".
There are 220,000 GA planes in the US. The number of jetliners isn't clear, but it's something like 45k flights in the US a day (some of those are doubled up).

https://www.faa.gov/air_traffic/by_the_numbers/

But the key number is there 25,506,000 GENERAL AVIATION FLIGHT HOURS PER YEAR, which is almost exactly the amount of 100LL used a year (technically some GA flights are jet).
Now with ChiselStrike™ you can rediscover the First Law of Distributed Objects 3x faster than the competition!
That's interesting to know, but just not going to fly with me. While I agree with the other commenters here that Spotifys Desktop-client is terrible, I don't miss any functionality and I don't want to use an additional app to control the music playing on the mac when spotify does it natively.

(That, and all my friends use spotify, too, so sharing/group sessions etc. work out of the box)
I don't mind dying really and I am in my 40s and haven't accomplished much of what I wanted. However, my life is getting better and better. Better job, better pay, working from home, got a few cats that are amazing for stress and bought a new place for me. As I love to learn new things everyday, life is just getting better and better.
I'm surprised that the bloat and ads in the start menu were not mentioned.
Sound just like how SalesForce is storing data, and charging the customers high prices for the data.
Wow, this was almost my exact experience (except that I had somehow gone through life never using Windows). Using WSL is working out pretty well for me for the most part, except networking seems to break when the corporate VPN is on that I'm required to use (which is very irritating). I find myself prototyping things on my personal Linux laptop and only using the corporate machine for required company stuff. It's been an awful experience.
Yea, the idea this is some concerted effort to sell more iCloud storage is kind of funny to me.

I'd love to see those discussions - "The OKR was to sell more iCloud storage so the Music team added half a meg of junk to every song file"

"Great!"

... I mean... weird shit has happened, but... I dunno, I've worked at quite a few companies and I just don't get the sense that that's Apple's MO. The bad publicity if it became public that they actually did this on purpose would be terrible, it seems pretty conspiratorial in this thread.

Also, Music is a real shit, buggy app that constantly annoys me.
Personally, I hate any system designed to give me lots of small bits of validation. I don't want to see green check marks, just show me any errors that I need to think about.
Libadwaita may actually be an improvement there if they ever finish the recoloring API, then you will actually have a chance to apply arbitrary colors to an app, without screwing up the contrast.

But I'm more puzzled as to why you're using xlib and xt apps in 2022.
Good going to keep it up for so long! I'm sure your content has been valuable to a lot of people
I feel pretty fortunate to be able to turn down jobs where I'd need to use windows as a daily driver. I don't mind using it occasionally, and I've gotten quite good at targeting Windows cross compiling from Linux, but using it daily just grinds me into a paste.

I mostly use Macs for work now, and while they do a pretty good job of exposing a Unix environment, they've been getting steadily worse over the past couple of years. I've had so many problems with recent critical OS patches that I'm debating convincing my employer to let me have a Linux machine, not that I would ever recommend that for a company who wants their employees to be productive.

That being said I'm actually really impressed at how good Linux on the Desktop is right now. I've got my whole family running KDE on NixOS and it's basically flawless.
An existential crisis of meaning is a terrible reason to have kids.

Have kids because you wish to raise another human from infant to fully formed adult, and are willing to make the huge sacrifices that requires. Don't have them to try and plug some sort of hole in your life.
How often do users change the metadata of music bought from Apple Music?

I have to change the genre on all of the Christmas songs my wife buys from Apple Music from "Holiday" to "Christmas" because there are holidays other than Christmas.

Otherwise, a "Holiday" smart playlist transitions from Silent Night to Monster Mash.
Built with Notion: https://jacobhrussell.com
You still need to do backups, a database backup is just one part of that, if you are not following the 3-2-1 rules and don't test your restore mechanism, you don't have reliable backups.

Those things you listed are sill sysadmin tasks in my eyes, and you are doing them, validating my point.

You still have to track storage space, either because you are paying for it and need to expand when necessary, or you have to manage costs at one point, that's not completely out of the picture. It can be easier for sure than building your own storage hardware.

You still need to keep systems up-to-date either you are using Docker so you are doing it on your "application level" or you are using Linux VMs and you need to upgrade those systems/images. Even if you are using something like Functions or Lambda, those have their own environment which you need to be aware of and they usually support specific versions of programming languages, so you need to upgrade your own stack when they don't support older versions anymore.
I'm fairly certain you can accomplish it with a pro license as well.
Can you (or someone else) tell me more about how to run database tests efficiently?

I'm working on an app that has 200+ tables and requires a lot of data to be in the database before anything even works at all. Of course good tests interacting with the database need a fresh database every time so even a test suite of about 10 tests can take 10-20 minutes already.
I was an amaetur pilot for some time, enough time to conclude from experience and talking to colleagues in the realm of aviation that regulatory institutions across the world enforce the strict (and reasonably so) rules on pilots and smaller companies, while turning a blind eye to big airlines, manufacturers and succumbing to political incentives.
> I'm at peace with the fact that I'm never going to found the next unicorn company or be CEO of Google or even write some software that a lot of people care about.

There's nothing that's stopping you from creating that first personal project, which other people eventually care about.
Oh I see, sorry for the misunderstanding. To go into more details, you need to send a LRAR, which is the only one with a legal proof and costs ~6-7€; otherwise they could pretend that you never sent it.

But my comment was on the fact that it was the only way to cancel. They could implement a system with single-click cancel (and it seems they did, here); it costs less than the current snail-mail system, and is more honest. But they don't because this system has a measurable impact on churn.
If you install git for windows, https://gitforwindows.org/, you get a ready to go Cygwin installation of most tools you need, including bash.

But probably WSL is you best bet for a saner environment.
I liked The Witness when the challenge was directly related to testing if you'd understood the rules or not. My favourite thing was where it deliberately exploited the fact that it knew you'd likely misunderstand a rule in order to redirect your thinking to the correct one. But it became frustrating when it appeared to introduce a new mechanic without any apparently priming (the colour filters in the greenhouse annoyed me).

There were also a few puzzles which required near pixel-perfect positioning and orientation, which is one of the least fun things to do in 3D space and games need to stop doing it (I'm looking at you Horizon Forbidden West); others which required quite being able to pick up on quite sensitive audio differences.

So as a whole, the game jumped from being highly rewarding to highly frustrating a little too quickly.
Missed opportunity to say you landed an interview at LandingAI :-)
Price of a Guest Post on Dragonflydigest.com?
I remember trying ubuntu for the first time in cca 2007. Then few years after that, I bought my first mac. Both linux and mac os felt like the UI was a veneer on top of the actual system. I grew up with windows, old version like 95 or 98, they never felt like a veneer or facade, the user interface was the OS for me. Well, windows 11 feels like a facade, cheap toy interface bolted onto an ageing platform.
When people assume a relationship due to familiarity taken to an extreme you end up with dysfunction. Everything from walking to up celebrities and demanding a selfie to downright stalking.
I think most of the issues he brings up can be pretty easily addressed with WSL.
> The above solutions didn't take much thought to come up with. I wonder why no one at Apple thought of that (especially the latter)?

The quintessential HN comment!
Banks only loan money to people who have good credit, and can pay it back.

2008 called. Not sure what it was saying because it was laughing too much.
Have a look at some of the recoloring support in the new gnome text editor: https://blogs.gnome.org/chergert/2021/12/03/text-editor-happ...

Those colorings simply wouldn't be possible without GTK4 and libadwaita. GTK3 has nothing like it.
Thank you for the well articulated comments.

The emphasis on absoluteness of facts in (American) public discussion nowadays is sometimes quite hysterical.
I don't understand why this has been upvoted. If you read the article in its entirety, there's no point whatsoever.
Hi, Matthew!

I've always found your technical talks, blog write-ups, and mailing list posts to be interesting and educating. And thank you for all the work you did, and do, in the various FOSS communities — that's already a significant impact for the better.

PS: It was a pleasure to interact with you at a few Linux Foundation events. I still remember the Edinburgh speaker event (2018, IIRC) where you've regaled us with some interesting "security incident" stories :-).
this article is tough sledding

https://www.lemonde.fr/en/food-wine/article/2022/04/06/arnau...

Does the French version offer as laborious a ride to the end of the paragraph?
That was surprisingly balanced and reasonable. Even as long time Windows user I have to agree with everything he wrote and don't really have any real quibbles.
> And yet political leaders will face no consequences.

To the contrary they will be rewarded.
This is the sort of thing that also seems crazy rare to need to fix. Ok, so you need to reassemble a file and recalculate offsets when an artist changes their names... so what? How often does that actually happen? Do people that download your music CARE that the meta data reflects an old/wrong spelling?

Even the argument of "Well, they need to download the whole file before they can see the metadata" seems really weak. If someone is streaming the music, why not stream the metadata separately from the data? Why do those two things HAVE to be together?

Heck, why not have a metadata "db" (ala plex) instead of insisting that stuff be bundled on the media itself?

Just seems like a bad solution all around.
Most [piston] engines? Yes. Most gallons of avgas bought per year? No (or at least until G100UL has an all-model certification to replace 100LL). I posted more details in a sibling comment here.

(I want nothing more than to be able to buy G100UL.)
Mmm chow chow and onion relish. That stuff is good. I might have a jar of chow chow left. Might be a good time to break it out.
> I could try to progress my career, but I'm already earning good money and I know to earn more I'd have to either start job hopping or study some leetcode to get into a FAANG.

I know this was not the point of your comment, but trust me that one can pass FAANG interviews without grinding Leetcode.

If you're seriously considering a job search, I would recommend going through jobsearch.dev
It sounds like what's needed is a way to get more operational hours in a way that satisfies the paper-pushers.

Allowing it on one engine of multi-prop planes might work if it weren't for the fact that those usually mix tanks ...
It's been a long time since I've updated but: https://www.laundry.sh

It's my own personal website that uses a Hugo template.
Don't forget there is still Cygwin. I recently had to work on Windows, and Cygwin was actually the rescue, with a terminal which just works and proper bash commands that put PowerShell at shame.

I guess WSL is similar but still painful/impossible to install if you don't have BIOS access for enabling CPU virtualization.
As a predominantly fullstack web developer, I will only ever voluntarily write unit tests and end to end tests, but avoid in-code integration tests in most circumstances.

This is frankly the easiest and best bang for buck.

Unit tests force you to make your code more flexible, they're fast to write, fast to run. Maintenance depends on how overboard you go with your verifications - try to verify the most important parts.

End to end tests require no elaborate scaffolding of internals and allow you to test it as a real user interacts with it. Generally fast to make, slow to run, and maintenance depends on how disciplined you are with stable identifiers/interaction points.

As for in-code integration tests - I love the idea of them, but they're absolutely miserable 9 times out of 10 due to extremely convoluted processes to "bring up" parts of your application. If you use DI it shouldn't be as bad, but almost nobody does and it becomes a total clusterfuck not worth the maintenance burden.

As an idealist, I want all 3. But most codebases frankly cannot support all 3, so the most value will come from whatever is easiest. I've found that's most often unit and e2e.
The problem is nobody understands even very basic physics. The public has to rely entirely on personality and comments from people who seem to be respected, but the actual physics itself is a complete black box.

We can't read his work, we are years of study away from that point.

All people are going to do is shut up(My preferred option), immediately dismiss it because some other physicist did, or heap praise on it because it's "Far out and groovy and must be good if those dirty no good mainstream people hate it".

And people often aren't that good at shutting their mouths....
Also cold start times for serverless differ greatly between those cloud providers. AWS is < 1 second, whereas Google Cloud is 5-10 seconds
Apple has been there since the start of OS X thanks to NeXT.

https://www.youtube.com/watch?v=4UiGnpmwAJk
People hate advertising and upvote anything that implies it is useless.

Whilst most of HN is employed by advertising companies and their offshoots ...
Yes, and for me to do that the client needs to sort out their payment issues first. I'm glad I'm not dependent on timely payments from this platform but if I was I would be livid.
I think the majority of people who use these kinds of apps just want a simple setup.exe or a app.exe.

When I installed Plex or Emby, I always just hit setup.exe never mounted a Dockerfile locally.
Modified AGPLv3 removes freedoms, adds legal headaches
Meta’s Approach to Safer Private Messaging on Messenger and Instagram DMs [pdf]
what will differenciate them and meduza?
Is that a problem with nuclear power itself or bad planning?
I love “positive-curious” it’s amazing state to be in & inspire others to take. I enjoy helping people develop into their full potential!

I too used to think setting a high bar was the way to get there. Maybe at the start it is.

But then, when I consistently reached beyond what I was capable of, the cost of downfall became overwhelming. After years of that, I couldn’t get back up again.

Then I asked a new question:

What if I let go of “should?”

The justifications for taking action were masking something very beautiful.

When the “should” is gone, what’s left is intrinsic motivation.

Turns out I’m curious & love trying new things. I also attract people like that & enjoy hanging out with them.

Now I’m doing the most impactful work of my life, but with much less pressure on myself.

Sometimes I worry about all the things I didn’t do that I thought I would. Rather than turn that into “I’ll get back on track” I simply acknowledge that I’m feeling sad & experiencing some fear about the meaning of my life.

The gift I get in return:

I can be open with my team that I feel afraid, breath, and refocus on enjoying the day.
How Tech Hiring Teams Can Approach the Search Process
The best outcomes are often found at the end of a search that is begun with the express aim of hiring a software developer who is an “80% fit”.
Time is relative. In the end, our planet is just a blip in the universe and when the sun goes it will be gone, and the universe will be unchanged, the same as if Earth had never existed...

As far as the point, well, philosophy is fun. Why is there something when there could be nothing? Why does the universe even exist? What's the point of planets? What's the point of life on planets? What's the point of human evolution? Maybe there are no discrete points, aka a continuum, and it's all pointless. Or maybe there are discrete points, indivisible subatomic particles. Or maybe we're all in a simulation?

For some the point is to continue the evolutionary process by breeding and spawning, like the salmon in the rivers do. For others the point is to amass as much wealth and power as possible so that they can be at the top of the human social hierarchy and enjoy alpha monkey status. Some invent supernatural beings and imagine life without end in an afterlife paradise. For others, the point is to push their minds and bodies to their limits by creating art, studying science, exploring the natural world, inventing technologies and so on.

Probably the saddest crowd is those for whom the point of life has become little more than buying the useless garbage the advertisers tell them to buy. It's not healthy for the mind and it's not healthy for the body, and it's leading to environmental catastrophe. Many people are miserable because they can't buy all the products they're told they're supposed to buy in order to acquire the patina of success (the antidote is to adopt an indifferent attitude towards advertising and its psychological manipulation strategies).
My own MP (I'm in the UK) has been willing to respond to my letters on climate change but not actually do anything. My plan, when time permits, is to publish the responses, and especially the lack of responses. Public bodies hate bad publicity. Maybe you can do the same.
I honestly think it is that his academic accomplishments in youth combined with the work he has done since is just triggering to people who have their identity wrapped up in being the smart kid. Since he names his companies after himself, knocking him for being "egotistical" is an easy attack to feel better about oneself for not having a PhD from Caltech at 20 with Feynman advising.

I have listened to hours of him on Lex Fridman and he doesn't come off as egotistical or arrogant in the least.
This appears like a strawman argument against single payer healthcare. Hard to tell since it's only a single sentence. But if it is, the majority of single payer supporters have no interest in mandating government healthcare for all, merely offering it as the default so that everyone has a reasonable baseline of coverage. The many people who prefer the treatment they get currently could continue to purchase private insurance. And those who feel like the corporate health system is worse than any government bureaucracy could make the switch.
It's a nice anecdote saying that people should validate their assumptions before continuing. In this case, the author proved that advertisement doesn't work for him, and that he can turn it off, at no loss.

One point though, this business seems well established. At that point, turning off advertising may not be so damaging. What would be interesting to know is, would he reach his current profitability if he didn't start with advertising, and depending on the organic search from the get go?
From a quick look at the article, I can see a few subtle "omissions" or "rants that have easy fixes". I can't tell how long the author has spent on Windows (it's not in the article) so it's hard to know how much effort they have put in getting adjusted. It takes a really long time to switch platforms and feel comfortable in them, and without spending a long time adjusting, it's too easy to complain and quite hard to provide a fair review...

For a more positive spin, I'll leave here my own review of Windows after being off the platform for 25 years, spending 15 of those on macOS, and then spending the last year primarily on Windows. TL;DR: I'm quite happy with the switch, but obviously there are many things that could be different/better and some of the issues that the OP highlights are valid.

The intro and index: https://jmmv.dev/2022/03/a-year-on-windows-intro.html

[edit: wording]
I just realized I've been using windows for 30 years... wow!

The main problem here is that this is a work machine. Generally you can't do what ever you want on those. I imagine Linux is harder to lock down in a corp environment and the complaints are rooted in that notion. WSL fixes many issues, I don't think I'd be spending much time in power shell if I had the option to use WSL.