skysight-inc/HackerNews huggingface dataset:
I’m always surprised to remember that mingw32/64 has a dependency on MSVCRT (or now UCRT, I guess).

Given how sparse the C standard library is and how much effort went into/goes into mingw, Cygwin, msys2, and co; you’d assume they would just use the native Win32 APIs and supplement with unversioned/undocumented plain MSVCRT.DLL that is always available on all versions of Windows [0].

[0]: https://github.com/neosmart/msvcrt.lib
Sure, but if you stay on topic I'm just saying there isn't a clean 1:1 correlation between political ideology and environmental harm.
Not a presumption, a qualification. If the aforementioned arrangement is not fair, then I'm not going to say it's a good thing. Is that not obvious?
Even without any knowledge about the author and without having read TFA, the comment exchange of you both makes for a satisfying and interesting read.

I'm not sure if this can be shoehorned as "curiosity", but it dangerously touches on a meta level that HN has historically been keen to avoid (as opposed to other, more common social media platforms)

This is not meant as a critique of our comments, just a self-observation.
I googled the cost of building and firing NASA's big rocket, $50b, and the cost of building and firing Starship, $10m.
If the public schools are good, the rich send to private schools for the exclusionary aspect more than for education outcomes so it doesn't really matter. I mean it matters in the sense that less talented people take up the spots for talented people, but not in terms of generating talent out of the general populace.

> Because if we’re just guessing, I would guess elimination of private schools would result in rich people with children grouping up in very wealthy areas more than they do today. A public school in a very affluent and wealthy area would likely not have many “pools” attending (because the cost of living in the area is so high).

But that's the point. If the funding is uniform based on number of pupils, in fact affluent areas will have worse education because they'll have fewer students. The thing that's hard to fight is "funding drives" to buy things for the school. That's the other thing affluent areas do on top of having a higher baseline of funding due to property taxes.

> This 2018 analysis by the NCSECS (national center for special education) found that there were 137 such specialized schools and many were primarily focused on students with 1 specific disability. These schools had high enrolling rates for such students and found they had lower rates of suspension and expulsion. The recommendation was additional funding for such schools.

That is correct. Ontario has additional funding for special education programs for those with disabilities on top of the normal funding per pupil
"I got into my head you did something wrong, and I'm going to smugly call you out publicly that you've done something wrong. But I'm not going to take a single second to figure out if my accusation has any basis in fact." No shit you're going to get a downvote.
I find Koyaanisqatsi very enjoyable to watch.
I use Qemu/KVM VMs and then deploy Apps with Docker Compose and Ansible (including Traefik).

Would this make my workflow obsolete or easier?
This is a false dichotomy. The very concept of freedom is based on a moral philosophy.
Ok, then why punish whistleblowers so harshly? Countries should consider it a useful public service.
As a person living in Sweden, it seems that my most immediate concern is USA. They are the ones that can ask the swedish government to make up some BS accusations to arrest me and eventually ship me to USA where I will be tortured.
For non-fiction I think that is often the most viable way of getting a return on the time spent. I've not published any non-fiction in print, but even my (old... time to write some again) blog posts have more than once gotten people to put aside coding tests and/or fast-track me through interview processes, so the prestige is certainly a good point.
How to Put on Socks
Show HN: HearHear - 10x your Discord meetings with GPT generated insights
HearHear records meetings and maps each speaker to recordings. It then uses OpenAI's Whisper API to transcribe the audio files into transcripts.

In the dashboard, HearHear can generate any insight based on the templates you built. Whether it's summary in haiku format, action items, vibe check, or tension analysis, sky is the limit.

I invite you to give it a try and let me know any feedback you may have.

Thank you!
They may use Blaze (Bazel) for every language to allow for tracking all dependencies. This helps with reducing the costs of CI by running tests specific to the changed code, and aids code deletion.
The income (including capital gains) of the top tenth of a percent are more than 10% of total income.

The average federal income tax is under 15%.

It would make a ridiculously large difference.
>The spin of the story has it, it was all about "spying against illegal activity".

Doing anything against the current government is illegal in every country and always has been. The US rebelling against British rule was also illegal at the time.

>A democratic society not subject to tight control seemingly is a very scary thing. Even more so when it is your own.

Again, the "who watches the watchmen" question. Most of our western democracies are lacking checks and bounds. We can only vote who represents us, but we can't vote for what they do when in power. If we disagree with them we have to wait ~4 more years before we can vote them out. In that time they can do an insane amount of irreversible damage and there's no consequences for them.
Sure we have. Climate change, radioactivity, and micro plastics are three major challenges that we have very much engineered ourselves into, and do not appear to be able to engineer ourselves out of.
That’s not what perfect pitch is. Perfect pitch is “color hearing”- recognizing the unique sound properties of each not along the scale, much in the same way colors of the rainbow can be distinguished. It can also be trained for.
> What I don't understand is the complete lack of response from countries like Italy and Germany once they found out being spied by an ally.

Because they're all doing it too. Any attempts at retaliation what have been hypocritical and met with callouts.

EDIT: Since this is news to some people who seem to think that the entirety of Europe is on a moral high horse, here's some references. There's little morality in intelligence.

Europe spies on its own citizens: https://slate.com/technology/2022/11/europe-spyware-scandal-...

Germany helped the US spy on EU allies: https://www.dw.com/en/parliamentary-report-finds-spying-by-b...

France admits they spied on the US: https://www.france24.com/en/20131024-nsa-france-spying-squar...

Germany was found to be spying on the US: https://www.dw.com/en/german-intelligence-spied-on-white-hou...

The Dutch helped the US spy on the EU: https://www.dw.com/en/danish-secret-service-helped-us-spy-on...
True but with technology that had not advanced beyond stone, simple metallurgy, and hand tools. Ultimately limited by whatever power could be extracted from human and animal effort. Once steam power and then electricity were discovered, civilization never looked back.
MiniLLM is a minimal system for running modern LLMs on consumer-grade GPUs
Here it is:

> PS my friend Paige has a new book out.
None of them were technical. To the extent they contributed, it was either irrelevant to execution or simply a vaporware idea they had no ability to make happen (the twins).
Some whistleblowers are just disgruntled and are not acting out of a sense of moral obligation but are rather whistleblowing as a form of vengeance
The two are not mutually exclusive or opposites on a spectrum. You can have a society which is neither moral nor free. It is possible to have a society which is both more moral and more free than the one we have.
I'm not sure most people would care if not for the quality issues. Big surprise, someone willing to rip off someone else's work is also going to cut corners to make a product so inferior as to be practically useless.

Until, or unless it starts actually and materially affecting Amazon's bottom line, I doubt they'll do anything significant about anything. They're the 800lb gorilla and will survive for decades just on entropy at this point.
> RISC-V is taking over the world

Citation needed.

Apple is the most successful ARM platform as of now. Everything else is minor compare to them. I would really like to see that we have RISC-V as an alternative platform but right now it is a nice toy to play with and even for the toy usecases the selection is very limited.
Perfect pitch can be acquired by anyone. It’s the ability to distinguish notes by their unique sound characteristic much like seeing colors of the rainbow. It’s akin to “color hearing”.
I’m almost certain I heard about a similar project years ago that would automatically file complaints and fine the offending airlines when they were too loud/flying too low.
recurring reminder - the original quote is "the plural of anecdote is data"
http://blog.danwin.com/don-t-forget-the-plural-of-anecdote-i...
> The technology still isn’t quite perfect, as our look at how Proton will make or break the Steam Deck details in more depth. The most popular multiplayer shooters don’t work on Linux because BattlEye and Easy Anti-Cheat aren’t compatible with Proton.

This is certainly false. Proton isn't perfect, but you can run games with these anti-cheats just fine. Commonly it is the developers that haven't enabled the ability to but I've played games using them without issue. There were many games that didn't enable it but it mostly doesn't seem to be a technical limitation.
The costs at a non-Google level are relatively low, and probably worth ignoring.
Publishers are very selective about sending authors on tours, because (except for the very biggest names) tours don't make money and cost quite a lot to organize -- they're loss-leaders designed to generate enthusiasm among booksellers (independent bookstores generate disproportionately more sales than you might expect given their usually-small size, and an enthusiastic local seller who feels a sense of amity towards an author can over a period of years produce thousands of additional sales).

I got sent on a couple of book tours when my career was spiking, over a decade ago. Grueling, and no very visible short term impact on sales ... and that's with free ticketing (the events were to generate publicity, not revenue). Many authors are middle-aged introverts and don't really thrive under such conditions -- myself included.
That decision is made a lot easier once you've been on top five times and no matter what happens in the championship you're not participating in, everyone knows you're still the GOAT.
Not sure I've seen the sentence 'Setting this up is painfully simple.' used often in any documented instructions. It's unnecessary and rather arrogant.
“Category theory for X”, where X = ...
Is a Dyson Sphere worth the up-front cost if a civilization has fusion? If not, then maybe that's the answer, even without exotic power generation methods we haven't even imagined yet.

And yes, I understand that fusion is "always 10 years away" even with Helion, but it does seem like it's coming within the next 100 years sometime.
Or maybe you have just gotten better after doing it for 20+ years? I can't imagine anything being easier than plain HTML and CSS
Swimming Away from the Boat
Archived: https://archive.ph/TsDJP
How requiring a Facebook account to use Oculus was their worst mistake? I get it that a few people might be bothered by that, but most people don't care.
This alone should be an article on a major newspaper...
The weird thing is that, if you look for stylistic differences in super-grandmasters, Fabiano is one of the most combative in tournament play. In any random day, he is far less drawish than Ding himself, or Anish Giri, the commentator earlier in the match. It's not that Fabiano was too passive: It's that the two players in this tournament took unreasonable risks with black.

If you look at the Fabiano/Carlsen matches, what you see is that both players know Carlsen is the better calculator, but that Fabiano is going to have better prep almost every single time. He is one of the best theoreticians alive. So what did he play? Give absolutely nothing Carlsen could grab on to when playing black, yet the scariest possible theoretical openings as white, sometimes still being in-book for 5-10 moves over Carlsen. When Fabi was white, he had plenty of ambition and plenty of chances, but the calculation wasn't quite good enough, as Carlsen's worst moves were never significant, visible blunders.

The Fabiano of that championship would have won this year's championship with relative ease, just because he'd never lose with black, and would capitalize on blunders. The way he played really is the best chance he had.

The wonderful spectacle of a match we just got only comes from two players that, inexplicably, kept trying to win with black, and fail. Good for us, but I suspect that for a top professional it's very hard to understand.
Crowdfunding offers startups a crucial funding source through the collective financial power of a global audience, fostering community involvement and providing market validation, and early-stage feedback. Here are some helpful tips to have a successful crowdfunding campaign.
How do you spell "research and development".

We aren't rushing to make nuclear fusion because we have insufficient electricity... and you can't replace what the scientists know with another coal plant.

Global survelliance, inifinte database records and instant comms has really destroyed the potential to keep and develop real secrets. It's going to hurt (badly) in the long run.

So insider trading for as long as GCHQ/CIA/NSA refuses to rat people out....
"Filters containing activated carbon or reverse osmosis membranes have been shown to be effective at removing PFAS from water supplies"

https://www.health.state.mn.us/communities/environment/hazar...

Some carbon filters make the claim on the label, some don't. The only difference is some companies pay to test for it, and then they can make the claim on the labeling, there is no actual difference in the filters.
Ding is in fact the sole player that can make this not statement not true, as he is a candidate with a known positive score against Magnus. A couple WCCs ago Magnus said Ding was the only player that he wasn't sure he could win against -- but that he wouldn't make it, after a poor showing in the candidates at the time.

Anyways, I don't know who would win in a Carlsen - Ding WCC. Nobody does. If the game statistics are to be believed, then Ding would.
The RISC Wars Part 1: The Cambrian Explosion
Author's comments in reddit post where I found this:

It's been pointed out by a couple people (I think I saw it from Bruno Gavranovic a while back) that there's a lot of these types of "Category theory for X" types of books, dating all the way back to the "Working Mathematician".

Thought it'd be cool to compile all the books and PDF's following this schema I could find - there's some really unusual applications further down the list.

Hope this might be interesting or useful on this subreddit - and if I'm missing anything, let me know!

https://www.reddit.com/r/CategoryTheory/comments/13381mg/cat...
I’m 100% sure this will happen, and soon.
Perfectly said, it encapsulates America to a tee.
>Boston is one of the least car-dependent cities in America and Germany is one of the most car-dependent countries in Europe

original comment covered Boston area, since it includes extra city transit. My expectation is that Boston area population still drive cars much more than Germans.

> It's not like this price is profitable anywhere in Germany.

the question how much unprofitable it will be in US. Say government invested billions in building top notch public transit in Boston area, but population will still prefer to drive cars, it will be huge waste of money.

I think one of the reason why cars are preferred in US is higher wages and lower gasoline and car prices so population can afford driving cars more, and car is more convenient transportation in most of the time.
Browsers used to not auto-update.

There's no reason to "respect" backwards compatibility in an inherently online product that auto-updates.

There's nothing ideological here, it's just about being practical.
RHEL - Red Hat Enterprise Linux

CVE - Common Vulnerabilities and Exposures
Thanks for clarifying how you see it. I'm thinking about the documentary 'an inconvenient truth' of last century. If people/politicians would have listened and gave it a serious thought and started to act upon that, in stead of saying 'you consume a lot of energy, so don't tell us what to do', I think we would be better off, the greener technology would have taken off say, 30 years earlier.
I think the original point being made was that having such extensive airline industry experience actually makes you unqualified to lead the FAA. For instance, Dickson, through his position at Delta, has likely developed strong ties to counterparts at Boeing. This made him unable to adequately address the safety issues of the 737 MAX.

My follow-up point was that experience in regulating airlines is more important than experience running an airline when it comes to leading the FAA. However, those who regulate airlines as a career are unlikely to be big political donors, so they're unlikely to be chosen to lead the FAA.
the concern i would have here is that if you don't know SQL then you have no way of knowing whether or not the results are correct and if the results are wrong you have no way to debug the query.

to construct an SQL query you need to know the database schema, you need to be able to specify the relationships between tables, and you need to specify what data you are trying to retrieve.

the only way using plain written language can work is if you can infer the correct table names and relationships from the input text, which can only work if the database follows very strict naming conventions and/or proper foreign key usage and is small enough that none of the table or column names are ambiguous.

plain written language is much more ambiguous than a formal language like SQL.

how do you resolve ambiguities in the naming of tables and columns in the schema and in the input text for queries? if the output is wrong, is there an iterative process that can help the user refine the query?
We already see a lot of this "rise of the long tail", even without AI. Through the rise of individualized music streaming and the demise of the relatively few radio and music TV stations, there is much more fragmentation now than before the Web.

This trend will only be further amplified by a surge of AI enhanced music, as Seth Godin argues. And after that, fully AI generated music will be the final nail in the coffin of Pop. Everything will be highly individualized.

We may still occasionally have songs going viral, but those will be only short flashes of popularity, nothing that lasts for weeks or even months, and they will be forgotten quickly, lost in the flood.
Llama.cpp recently added partial GPU acceleration. Model dequantization as well as some BLAS operations have been moved to GPU.

It runs a lot faster if you compile with cuBLAS (nvidia) or clblast (other). GPU vram doesn't matter much since it doesn't offload the model to vram.
They would need a secret pardon agreement so he leaves at the same time he’s pardoned
My less charitable interpretation is that Seth is one of the first "business hustler" personas, and used the power of the internet, blogging, and eventually social media to promote that persona and turn it into a business in and of itself.

When he started out, he was a twenty-something business hustler dropping value bombs, written in Palahniuk-style blog posts. But he was very unique at the time, and certainly a pioneer in pushing how valuable you can make your own personal brand just through blogging and social media.

Unfortunately for him, he was so successful he inspired an enormous amount of copycats, diluting the value of his once-unique style.
Granted, but I already have to run isolated container registries, pypi, maven, terraform, CI/CD, etc., etc., and so locally addressing the problems you've described is unavoidable and will realize significant efficiencies in any case. Everything about working in partially or fully air gapped environments is painful - no surprises there.

But I also think it's fine for individuals and researchers working in ML to expect some extra compiling, as long as the outcome is reliable. I'm stuck at home this weekend resurrecting an analysis from 10+ years ago, complete with Python, R, Java, and Fortran dependencies^, and I'm definitely wishing I'd known about Nix back then.

^btw, thanks to whomever included hdf5-mpi in Nixpkgs. Your work is greatly appreciated.
Maybe they mean reverse proxy? Often these come in the same product (see HAProxy). This can be used like Traefik to basically just proxy http requests to the right containers/applications based on host header or sni but it also has real load balancing capabilities too.
> But because it doesn't support a way to run local apps that fetch from APIs, I had to add a way to show the forecast for other spots and make it "official".

I’m having difficulty parsing and understanding this sentence: how did this result in your display being posted on instagram without your knowing?
And yet, while HN places zero trust in anecdata and personal observation, it it critical in real life decision-making. Most mega-successful entrepreneurs got there by trusting their instincts, not disregarding their own observations and instead only ever searching for studies conducted by others.

So while I agree with your point overall, I think here on HN we're too quick to dismiss people's personal stories.
>I hear stories of him being a poor performer about to be fired from his job at the time, hence the urgency to mass exfiltrate. If true that makes this a revenge play, not an act of heroism.

Nice comment under an article that specifically calls out state gaslighting (false claims that portray the whistleblower as a bad/immature/insane person, or discredit them in another way).
That's what I'd call living the dream!
Tips have inflated as well. When I was a kid a "good" tip was 15%. That became 18%, now 20% on top of the inflation in menu prices.
> Right now, that argument seems to be simultaneously "It's critical enough for Microsoft to explicitly deny running Windows 11 on it" and "It's not critical enough that Intel and AMD should do something about it, except to sell more stuff."

The first part of that isn't right. Microsoft decided it wasn't worth it for them to support 6 year old chips on their new OS. People with older hardware can continue to run Windows 10. The two operating systems are almost the same anyway.

Microsoft's decision is not an indicator that you're in much danger from Meltdown.
Having confidence about engineering ourselves out of our mistakes is, after all, the conservative rationale for ignoring Climate Change. They're certain that out of the sky will fall the technology for combating the runaway warming of the earth and it all happen just in time (mind you) before any major harm is visited on the earth's populations.

The actions from the Right that are more directly disingenuous are where they try to deny scientific conclusions and the damage already done. They'll post on twitter (implicit denials of sea level rise by) showing 150 year old pictures of seaside landmarks beside today's version with similar sea levels. Yet where are are counter-arguments for why the arctic sea ice/ice shelf is in such worse shape than it was just 30 years ago?