skysight-inc/HackerNews huggingface dataset:
Well I don't think getting hung up on such definitions will be fruitful. But here is the point i was trying to make: humans, as individuals and as collectives, do indeed have a lot of experience outsourcing intellectual jobs. They do this knowing full well that the "expert" they're employing is not a deterministic box, and may in fact be secretly working against their interests. None of those problems or potential issues is different if the expert is a human or a silicon agent.
It could have zero marginal cost, right? In particular, if you over-provisioned your solar installation already anyway, most of the time it should be producing more energy than you need.
Although opinions inside Apple about Swift vary, they seem to be investing in low level Swift for embedded, kernel use, and programming the “Secure Enclave” subsystem.

They certainly have many opportunities to use it for headphones, AirTag, flash driver, etc, beyond the very believable but less embedded use in kernel/Secure Enclave.

See also the wwdc session where they propose swift for building smart home thingies https://youtu.be/LqxbsADqDI4?si=KTYWPLdjGgTwK1UB
I've studied the Burrows-Wheeler Transform, I understand the transformation, I've re-implemented it countless times for kicks, I see how it improves compressability, but for the life of me the intuition of _why_ it works has never really clicked.

It's a fantastic bit of algorithmic magic that will always impress me to see it.
It's less "possibility" and more "certainty."
If I get an email from my superior telling me to either pledge loyalty or resign I'm going to read the very obvious writing on the wall here. You would have to be a massive idiot to not see it.

And the ATC was told they're not included in the offer after the emails were already sent out. Like you trying to reframe it and add more context makes it more stupid, not less.
It would probably have helped if they didn't turn away thousands of qualified white male candidates.

Instead of simply biasing their hiring based on race. The FAA brilliantly denied anybody who scored too low on their "compatibility" matrix, presumably as a legal dodge.

https://www.msn.com/en-us/news/us/faa-embroiled-in-lawsuit-a...
This is exactly Zig's strength, not its problem. The flexibility/lack of interfaces allows you to choose the correct abstraction for the given task. In C++, every writer is `anytype`, in Java every writer is `AnyWriter`, in Rust every writer is `GenericWriter`. They all have tradeoffs but "fits better due to language design" shouldn't be one of the tradeoffs considered.
Kevin Buzzard did great work to popularize mathlib among mathematicians (that's how I got involved myself), but he didn't found mathlib!

There's a blurb about the history here: https://leanprover-community.github.io/papers/mathlib-paper....
Is it time to bring up swappable batteries again? You could truck in a trailer just like diesel.
I think many psychiatrists view split personality disorder as a largely nonexistent condition arising artificially from charlatan psychotherapists. It seems quite possible to me that these people drove themselves mad and each other to suicide with these experiments (where they expected to evoke a split personality they had already begun to define).

https://en.wikipedia.org/wiki/Sybil_(Schreiber_book)
In Linux source benchmark results are interestingly more equal, LZMA still holding up well.

What makes Perl source benchmark special? Deduplication?
If you really want to cheap—run it in your browser via webgpu.
It can be done by moving a lot of code to new or existing reusable open source projects for the public benefit. Adding an open source dependency won't really count as "lines added". It is actually a good way independent of any requirement.
Listen to some ATC communications (lots of websites and YouTube videos out there), and try to get a sense of how complicated it is.

You really think you are the first person smart enough to come up with this idea? If this worked, it would have been automated many many years ago. We probably would not even need pilots.
archive it, quick! Can't have that data around contradicting the landslide and all :)
The following is some unstructured thoughts:

I know you are being facetious, but it is not obvious (to me at least) what the best approach is in this scenario where future AI capabilities and use is unclear. I don't know what the correct analogy for future AIs is because they don't exists yet. If AI have some offensive advantage then nuclear weapons might be the right analogy. The world would not be safer if everyone has their own nuclear weapon. If the harmless & helpful personal assistant analogy is correct, then we should democratize. But Biden's mandate that AI training runs of a certain size should be reported to the government (not in any way hindered) was (to me) just obviously good. Such a report would take at most the effort of one person-day (per Dario Amodei) and gives the government some overview of progress.
Bureaucratic systems have been able to fail like this for a long time: https://news.ycombinator.com/item?id=17350645

Now we have the tools to make it happen more often.
> is a certainty in that you have what you have

If you halt disease research, there's a greater chance of a pandemic - or losing the battle to drug-resistant diseases. If you halt meteor deflection programs, there's a greater chance of a significant portion of life being wiped out by a meteor. That doesn't seem like certainty in any sense to me.

> The severity is milder for sure, but the list of symptoms is nearly identical.

You could say that we haven't eliminated all diseases with similar clinical presentations, but we have eliminated smallpox - the disease that was killing hundreds of millions.

> Severity is a tricky one for most pathogens, its very common for severity to decrease over time as a novel pathogen becomes endemic.

Mpox is not just a strain of smallpox that became less virulent over time - they diverged long before smallpox jumped to humans. Smallpox stayed deadly for thousands of years.
>Population density is often cited as a reason for higher rates of gun violence.

That's not exactly what I was trying to say. All crime is more prevalent in NYC, and it is one of the hardest places to legally purchase a gun. So criminals who disregard the law can have guns and normal people can't, effectively. The laws are such that if you use a gun in self-defense, you are very likely to be charged with murder. The few gun crimes that do happen in NYC are committed by criminals who would have likely been violent anyway.

Big cities have more crime per capita for whatever reasons, perhaps because of their laws. There are generally more police per capita as population increases. See this for example: https://www.governing.com/archive/police-officers-per-capita...

Depriving people of guns is not a reasonable answer to gun crime, any more than depriving people of knives because of knife crime or cars because of car crime. Gun crime is unfortunate, but so is getting jumped by 5 dudes, robbed in your home or business, or gang-raped because you have no way to defend yourself. No amount of police will save you from that. The police also won't save you from government tyranny.
> a foundational step in this new chapter of Swift build technologies

The corporate language throughout that post is pretty cringe. It seems so unnecessary.
Some of the best troubleshooters I’ve ever met were comparatively uneducated factory workers in Mexico who just assumed they were diagnosing for diagnosing and fixing everything from forklifts to PBX systems.

The culture of that factory was amazing.
o1 and deepseek r1 managed to get this first try as well (o1 in about 30 seconds and r1 hilariously took a couple minutes). If anyone has set up API access already I'd be curious if o1-mini also got it or if it took more than "the jump to CoT" to avoid pattern matching this one.
It's the last 3 or 4 administrations to blame at this point, and they were just offered early retirement deals.
Modules come from ML linage.

https://smlhelp.github.io/book/docs/concepts/modules/

However they aren't as powerful, because ML modules are the way to do OOP like stuff, via what is called functors.

F# as .NET language naturally has other mechanisms for this, hence why it is a basic module concept, more in the linage of Modula-2 modules.
This is great, if for no other reason that it will give people the ability to debug build issues on their own and get access to fixes without having to wait for the next Xcode release.
TextArena
An old friend use to say that Perl is line noise that was given sentience.
You can't neglect something, then turn down fixes because they won't happen fast enough. Fast enough wasn't a concern during the period of neglect, so a sense of urgency is playacting. The optimal solution is to pay properly, and if temporary things have to be done (rewarding people for not retiring, paying a premium to develop/import some controllers quickly) then so be it.

What a "3-year training process" and the fact that accidents come at random does is create a grace period for profiteering. They would neither get a fast enough return on investments in staff, nor see fast enough losses from disasters resulting from staffing neglect, to see any problem with both not investing in staff and with finding savings in neglect.

Problems during the transition period between starting to do the right thing and when you will see the effects of that thing are good problems to have. They go away by themselves.
If they are the same underlying model, it’s unlikely the prices will be different on a per token basis. The high model will simply consume more tokens.
To make your comment more useful you’ll want to include compression and decompression time.

Using the results from the readme, seems like bzip3 performs competitively with zstd on both counts.
Yes, you can, especially if you use Qt with QML like I do[1][2][3].

[1] https://rubymamistvalove.com/blog/orchids.mp4

[2] https://rubymamistvalove.com/block-editor

[3] https://www.get-notes.com/
ATC here (opinions are my own, not of the FAA, etc)

I agree those uncommon skills help make someone be a good controller.

Unfortunately I don't think the FAA is testing for that, of course the hiring process tests have changed since I was hired on.

(I hope someone from the FAA is reading this and tells CAMI. I was disappointed when there was no free text response on the survey they gave out a few weeks ago.)
The Federalist Society has been a 40/50 year project to install a judiciary loyal to this coup project. This mix of Christian nationalist theocracy and unitary executive has been their aim all along.
I mean there's an entire cult of people who think 5G causes Covid and RF changes your DNA.
I don't know the specifics of this, but vouching "against" the hive mind leads to your vouches not doing anything any more. I assume that either there's some kind of threshold after which you're shadowbanned from vouching or perhaps there's a kind of vouch weight and "correctly" vouching (comment is not re-flagged) increases it, while wrongly vouching (comment remains flagged or is re-flagged) decreases your weight.
This isn’t he best comment I’ve seen on HN, you should delete it, or stop gatekeeping.
(1) the Best FSD System in China 1 Hour Drive Using Huawei Qiankun [video]
Naw, was before my time. I did see Terminator though.

Did Wargames age well? I tried watching a couple iconic 80s movies like Scarface but I just couldn't stand it.
Median pay is higher than my pay, and it looks like equal to median dev pay. But why would I want the stress and lower flexibility? I hate my current job and still wouldn't be interested in ATC for the higher pay.
> Raise pay until you have enough staff.

Federal workers have just been told to leave:

* https://www.opm.gov/fork
The human agent has a physical body like yours and shares your evolutionary history. They have reasons to care about things like reputation and social status. An AI agent only "cares" about maximizing or minimizing a number. It's much more difficult to determine if this aligns with your interests.
It’s hard to see how either logical outcome (massive deregulation, or regulatory paralysis) serves any useful goal for the American people.

We can quibble about the exact shape of the regulatory state, but it has given us clean water; breathable air; innumerable safeguards in the products we buy and the lives we lead. Simply destroying it is a deeply unserious approach to governing and is a disgrace.
It's WOPR = War Operation Plan Response.
Please just entertain a hypothetical:
If it turns out that the FAA was hiring much more slowly than it needed to be because it was unable to reach its DEI goals, can we all agree that we should stop doing DEI for important things?
Also speaks to a society more focused on blame than improvement. Why fix things when every problem further proves your opponents are bad people?
That might have changed, it was an older high end Samsung I had with updates blocked. I used Tracfone for years, but the block on tethering was particularly annoying. Visible is basically the same service also owned by Tracfone, but unlimited everything for $25/mo, worth it to me.
Distro packaging for programming language ecosystems is so often hopelessly out of date. I’ve never used a distro toolchain or packages to build production software for any language Python’s age or younger.

Outside of C/C++/Fortran pretty much every project I see on Github prefers things like Rustup or Nix for toolchains to navigate around Debian/Ubuntu/RHEL’s “stability” approach.
the corrupt statesman discovered that after the AI which was trained on him was put into place he got the same amount of money delivered into his Swiss bank accounts, as the AI was just taking bribes and depositing them as the training dictated.
Kalamazoo is the result of consolidation. The graph incorrectly just lists them as "Kalamazoo Tower", but its also a TRACON facility.

They're handling multiple airports remotely. In 2016, this was planned to be Grand Rapids, Lansing, Muskegon, Flint, and Saginaw, though I'm not sure all of them were consolidated.
I can never quite decide if Jimmy Stuart's outrageous hamming at the end of that movie makes it or ruins it ("Did you think you were God, Brandon?")
No the word we used to have for mind virus was “cult”.
That was Skylab hysteria, right?
I love Chinatown (1974)
Ford Utility Interceptor: 400 hp, 150 mph. Not much slower than a showy Lamborghini Huracán at 160 mph, all while looking like a boring utility car.
Someone should probably tell him about teams, zoom, telephones, etc if he thinks the answer to email chains is forcing people back to an office.
One of the main goals of RamaLama at the start was to be easy to install and run for Silverblue and Kinoite users (and funnily enough that machine had an AMD GPU, so we had almost identical setups). I quickly realized contributing to Ollama wasn't possible without being an Ollama employee:

https://github.com/ollama/ollama/pulls/ericcurtin

They merged a one-line change of mine, but you can't get any significant PRs in.
Once PRISM becomes R/W, you will not even know if what you read/hear/see on the internet is actually what others have written/said/created. You will interact with the world as the government wants you to, tailored to each individual.

Each time we choose to allow an AI to "improve" what we write/create, each time we choose to allow AI to "summarize" what we read/consume, we choose to take another step along this road. Eventually, it will be a simple "optimization" to allow AI to do this on a protocol level, making all of our lives "easier" and more "efficient"

Of course, I am not sure if anyone will actually see this comment, or if this entire thread is an AI hallucination, keeping me managed and docile.
I remember in 2017 ish Dell would market being like 50% remote/hybrid by 2020 as a feature of what makes it futuristic etc.

Everything is marketing and when push comes to shove nothing matters.
Nice read, thanks for great share.

I'd forgotten Minsky was such a good writer.

And oddly reminded of an episode of Blake's 7 where Villa the hacker
destroys a malevolent mind holding the ship captive, by telling it
jokes until it explodes.
Yeah it sounds like the worst of both worlds to me. Still cool!
Also the compression levels..
Apple going full Microsoft
> Apple used to be better than this

Unfortunately I find this to be true for their software in general these days, even outside of the AI junk.

I'll continue to roll my eyes at the "Jobs would have never allowed this" trope because it's often trite, but the fact is Tim Cook is not and has never been a product guy and the polish seems to have long since worn off. Software-wise at least anyway; I'd argue the hardware has never been better.
A former truck driver was one of the best troubleshooters I ever met. We also had a guy who worked on as a carpenter, a lady who was a former bank teller.

Also very loyal / hard workers.

In every job I’ve had since then their resumes would have been tossed in the bin by HR, but they were hired in the late 90s when companies were desperate for warm bodies.
Some of them can't even solve "A farmer has a cabbage and a boat. He needs to get the cabbage across the river..." without inventing pointless trips, though o1 can do it.
I remember when all Linux projects used to be install a source tarball and do the configure, make config, make, make install dance.

That hasn't prevented Linux to take over most UNIX workloads.
And yet, this utter nonsense doesn’t appear to be DEI nonsense, just incompetence.

I imagine this was the result of an inappropriate and inadvertently p-hacked analysis of a silly survey of existing employees, along with a large helping of unjustified assumptions.

This is the kind of thing that might be, gradually, mitigated by improved high school math education. We don’t need more calculus to fix this, and we also don’t need more Pandas or R or “data science” or statistics-taught-the-way-it-usually-is. I think students could use a serious education in what data and statistics means, how to ask the right questions, and how to identify cases where the wrong question was answered, even if the answer came from fancy math.

edit: I saw https://www.tracingwoodgrains.com/p/the-faas-hiring-scandal-... — wow, apparently a good amount of actual bad intentions may have been involved. Although the people in charge may well have thought that their bad intentions were good intentions. Sigh. One of the worst parts of the current anti-DEI madness is that its proponents are not entirely wrong.
DeepSeek-R generated a working web page on first attempt, based on a single brief prompt I gave it.

With Sonnet 3.5, given the same brief prompt I gave DeepSeek-R, it took a half dozen feedback steps to get to 90%. Trying a hand drawn sketch input to Sonnet instead was quicker - impressive first attempt, but iterative attempts to fix it failed before I hit the usage limit. Gemini was the slowest to work with, and took a lot of feedback to get to the "almost there" stage, after which it floundered.

The AI companies seem to want to move in the direction of autonomous agents (with reasoning) that you hand a task off to that they'll work on while you do something else. I guess that'd be useful if they are close to human level and can make meaningful progress without feedback, and I suppose today's slow-responding reasoning models can be seen as a step in that direction.

I think I'd personally prefer something fast enough responding to use as a capable "pair programmer", rather than an autonomous agent trying to be an independent team member (at least until the AI gets MUCH better), but in either case being able to do what's being asked is what matters. If the fast/interactive AI only gets me 90% complete (then wastes my time floundering until I figure out it's just not capable of the task), then the slower but more capable model seems preferable as long as it's significantly better.
You have to remember, HN is fully supported by YCombinator, and has a huge leg up on any possible similar sites. There will always be content thats encouraged to be posted here first from YC startups, and it will always be a valuable PR asset for those companies.

It doesn't have any pressures to make money, in fact it's basically a free place for PR and advertising jobs for portfolio companies
I'm not going to attempt to speak for java, but at least in C#, it supports virtual static methods in interfaces, including generics.

So, as I stated, you would use the interface keyword.

public interface IFromString<T>
{
static abstract T FromString(string value);
}

public struct MyHasFromString : IFromString<MyHasFromString>
{
public string Text = "";

public MyHasFromString(string value)
{
Text = value;
}

public static MyHasFromString FromString(string value)
=> return new MyHasFromString(value);

public override string ToString() => Text;
}
My wife is an Olympian in a track event and we have also discussed this at length. CrossFit’s trademark of “the fittest on earth” for the champion of their international competition (… the name escapes me…) always elicits an eye rolls from her. If you asked her, she would say Decathletes are the crème de la crème.
> That doesn't much line up with the process described in the article.

I think you're right this way: I quote part of the the official's comment, ending with ...

After that point in the comment, she pivots to FaceRec. Meanwhile I go off about problems with harvesting Gov ID data. I'd agree those two things don't align.

However, a larger point is she never actually says which tech methods will be in place in Dec 2025.

After half-dismissing Gov ID, she tosses FacRec out there in a way that suggests it'll glean age-from-face on login, without needing any other identifying info. She even qualifies a vendor as being 99% accurate - which is a worthless stat here because it has no context.

FacRec for ID is problem generator. It fails for white skin and fails more, the darker the skin is. Unlike AU's Ban official, I am not excited about tech that disproportionately misfires for AU's brown skinned population.

That's FR for ID, FR for age is magnitudes less capable. The odds it can distinguish between a teen of 15y363d and 16y0d is ~0.

Lastly she tosses beta hand-wavy tech out there as if it were an actual contender. In this interview, she should be reassuring us with known good+safe AgeVer methods. Instead, she takes a moment to tech-fantasize. Best case she's intentionally distracting us here. Worst case she's lost her own thread.
It's The Atlantic. They have no interest in being honest about the topic, telling you why the data is unavailable, or saying when it will be back (once they update the language that bookends the studies). The purpose is to make you angry and think they're burning data because they hate science.
The person blaming his parents because they tried to do their job of, well, parenting a child with ADHD.

I’ve read that psychotherapy is much more difficult when there is no-one to blame. So it might help for him, until he will have his own kids with ADHD and fail in a completely opposite way.

I would not recommend anyone to blame parents of neurodivergent kids, as it is a very difficult job to do right.
Sure, if you’ll also entertain a non-hypothetical that DEI does not mean hiring quotas where you refuse to fill open spots, it means proactively reaching out to find talent in non-traditional areas (e.g. doing a job fair at an urban vocational school in addition to the usual ones at mostly-white colleges).

And, if for some reason it turns out that the FAA was doing a terrible job of DEI and somehow was trying to meet quotas, can we agree that we should fix the implementation, not just throw up our hands and say “I guess these jobs are whites-only”?
> Office of Personnel Management clarified that Air Traffic Controllers aren’t eligible

I'm curious to know if this OPM policy was there was there from the beginning, or whether it's a backtrack after the 'bad optics' after the Washington, DC, crash.