skysight-inc/HackerNews huggingface dataset:
5 violent people out of 200 is very unusual. In fact violence in general is quite unusual and isn't widely tolerated, most violent people end up in jail.
What's the point of using Cloudflare without caching?
>But most of the US tech giants don't produce anything of value.

That doesn't really matter at the end of the day when you're discussing finances. All that matters for people, countries and governments in capitalism is that they have more money in their pockets than the rest, not how ethically that value gets generated or if their work produces much social value to society.
Hey, I meant no dissing at Zephyr, i hope it was clear.

What i wanted to get across is that claims about "Posix compliance" might have wide variance in meaningfulness unless backed by a certification.
Archive link here: https://archive.is/ikgco

I’m entirely baffled why someone savvy enough to produce monitoring graphs and claim to already use Cloudflare can be brought to knees by HN (maybe Reddit too or something?) traffic on a frigging blog. I believe you need to actively sabotage your Cloudflare settings to achieve this.
> For Russia in particular, do we have some idea of how true this actually is? Russia lacks a lot of things, but natural resources is generally not one of them.

This isn't a game of Civ 4 where access to resources automatically grants you production.

For example, the Oktyabrsky Mine is one of the largest nickel mines in the world, yet Russia has to export that nickel abroad to be processed in order to be used in batteries or integrated circuits.

And resources are not interchangeable - oil from Dharan has an entirely different set of specs to process compared to oil from northern Alberta.

Resources aren't that rare - most countries just choose not to exploit resources because they might not be an efficient deployment of capital (why should I spend billions subsidizing a commodity product whose margins are near 0 or even negative when I can use that money to build a hospital instead)

There's a reason people get PhDs in Chemical Engineering, Chemistry, Geology, Mining Engineering, Physics, Geophysics, Petroleum Engineering, etc - these are very complex and specialized problems, and no country has a complete monopoly on human capital in these spaces.

Moments like this make me wish HN was shut down - it's gotten so braindead.
Russia with it's very large size has that ability, much like the US. EU countries are going to have to do quite a bit of internal trading between each other to make the quantities needed. Also there is some question of how much Russia is depending on China for stuff too.
Russia is not manufacturing more weapons than its GDP suggests. Its simply spending more money than the west donates to Ukraine (Because Russia is fighting for Putin's survival, while its not #1 priority in the west), and importing everything from China using that money.

Russia is actually precisely the example why GDP matters. Russia's position before the war was an overwhelming advantage, pinching Ukraine from three directions in a huge concave, in a flat plains basically without geographical barriers, against a divided, poor, and old (unlike say Afghanistan which has endless 18 year old men) country in Ukraine.

Yet it has fought the war into a extremely expensive stalemate, with draft imposed, large casualties, and basically total loss of international prestige.

All that, because its low GDP meant no high end equipment, no advanced logistical capabilities, no sophisticated information advantage. While, the US, by Elon Musk simply donating some starlinks (A definitive high GDP product), made all Russian attempts at disrupting Ukrainian command chains useless.
Apple was nowhere near a tech giant when the iPhone was introduced. Facebook was a student's project. Consumer tech innovation just doesn't happen in Europe, I think that's the real issue Europe should be tackling, given how influential consumer tech is.
The classic argument for laws regulating monopolies/abuse of power is that overall this worsens what consumers and countries care about. Both that it lowers quality for consumers (lack of true competition) and slows growth by eliminating the push for new things/efficiencies.

> However, from a purely economics standpoint, tech giants make up a not insignificant part of the US's GDP.

Yes. It would surely be better to have a large field of non-giants competing for customers taking up the same proportion of GDP though right?
https://news.ycombinator.com/item?id=40181727
I wonder if the WinPE step could also be used to rewrite the fstab file so that the partition layout isn't hardcoded
I'm sure this will get the same amount of discussion as Autopilot...
Another aspect of this is the readability of the resulting text. The role of a proof in mathematics is not only to certify that an assertion is true, but also to communicate to mathematicians why it is true. Lean and Coq verification scripts are not readable in this sense. They do certify that assertions of theorems are true and (at the current state of technology) that the author of the script most likely knows why they are true, but it is close to impossible for a reader to see what is going on in the proof without running the script step by step in software. The Mizar proof language and Isabelle/Isar were designed to communicate as well and proofs written in those languages can be read and understood directly by humans. For a comparison how the same proof of a simple theorem looks like in Lean, Isabelle/HOL, Isabelle/ZF and Mizar see [1], [2] and [3].

[1] https://lawrencecpaulson.github.io/2024/02/28/Gowers_bijecti...

[2] https://isarmathlib.org/func1.html#a_bij_def_alt

[3] https://mizar.uwb.edu.pl/forum/archive/2403/msg00001.html
I think your response is overly cynical. As the Oscar Wilde quote goes, a cynic is someone who knows the price of everything and the value of nothing. The FDA is far from perfect, but I have much more confidence buying a drug regulated by then than some pills sold at the convenient store.

>Employers are paying attention to the credentials because they signal useful qualities in the prospective employee. Mostly compliance and conformity.

Again, I think this is overly cynical and lacking nuance. There is debate in the economics circles on how much a college credential is signal for culture fit and how much is signal fit skills. It’s far from settled, and almost certainly a mixture of the two.

I personally think employers use credentials because they are incentivized to be risk adverse. It’s easier to defend a binary credential than to accurately gauge skillset and cultural fit through a behavioral interview. HR is concerned more with reducing false positives than letting a good candidate slip through the cracks.

I also disagree with the coordination piece at large scale. When societies get big enough, we don’t have the individual bandwidth to manage every interaction so we rely on institutions to shoulder some of that burden. I suspect that’s why you see a convergence on societies setting up a “council of elders” (ie govt) when they get to a certain size. Most of the people who lean into the unnuanced libertarian ideal tend to also lean towards certain troubles managing social dynamics.
The Soviet Rebel of Music
Theory of Constraints
It's the last one for me often
Are you suggesting the British didn't have alcohol during their empire building phase?
I know the struggle of landing a remote job in tech – I built a platform to help
Hi everyone, I’m Marvin

Years ago, I faced significant challenges transitioning to remote work. I had to apply to over 30 job positions, using a Trello board to keep everything organized—it was overwhelming!

After much struggle, I finally landed a remote job.

I started as a Mid Software Engineer, then became a Head of Engineering in a startup, and most recently as Director of Engineering at the Linux Foundation and a Software Architect consultant.

This experience was so impactful that when I started on my solopreneur path, I knew I wanted to help others overcome similar hurdles. That's why I launched NextCommit (https://nextcommit.careers/). The platform supports tech candidates throughout their journey to find remote jobs, from analyzing CVs to achieving their ultimate goal of securing a position.

I’m constantly looking to add new features, such as job application tracking, automatic job matching, and CV and cover letter optimization for specific postings.

I invite you to sign up for a free account to explore and filter the most recent job postings and receive a summary analysis of your CV.

I’d love to hear your thoughts on this tool! Feel free to DM me or connect on LinkedIn, X, or email—any feedback is highly appreciated!

Good luck and happy job hunt!

If you wanna know more about me, I’ve shared more about my journey in my newsletter here if you’re curious: https://se7entyse7en.beehiiv.com/p/jump-ball
I do not disagree, I’m just curious what ideas are out there to manage the unintended consequences.
There's lots of value in being able to influence huge portions of the population. The fact that you consider it morally wrong does not make it invaluable to others.
Tech giants, while getting worse in terms of lobbying etc. are still much more benign than the old-school industry giants we have in europe. The European Roundtable for Industry [1] is particularly disgusting. The bigcorp lawyers are essentially writing EU law…

[1] https://en.wikipedia.org/wiki/European_Round_Table_for_Indus...
> "not having tech giants" is seen as a weakness

It’s a second order weakness. The first order weakness is the relative lack of capital availability vs the United States which made it less likely to spawn EU native tech giants. The lack of tech giants means that there is a brain drain effect to the US or US tech giants functioning in Europe.
Judi Harvest: Creating a Honey Garden in Venice
This, "if we have to pay more, then people will lose jobs", is a Republican boogie man. The absurd infinitum is that corporations would pay zero and use slaves if they could.

The pay-line above which a corporation will value automating over having an employee, is always moving for every job, and yes, they will automate jobs 'No-Matter-What-The-Minimum-Wage'. Jobs today that are minimum wage are already at risk for being automated and eliminated, changing the minimum wage only hastens or pushes out the time frame. It will happen.

Thus Increasing minimum wage is only forcing corporations to not use slaves. To keep the population above some starving threshold.

And of course, it pumps money back into economy since people have to spend their pay.
Net neutrality restored as FCC votes to regulate internet providers
When large wars start breaking out and spreading over the planet the entire 'functionally democratic government' thing can come in to question very quick.
This point is not relevant, unless your argument is that all those nice things in the EU (which I agree are much better than in the USA) arise from the bad things that the author is talking about (lack of standardization mostly).

Let me put in another way. Can the EU solve the standardization issue and still keep the nice things you mention? I don't think they are related (at least I don't see a tight link)
If you’re talking about the new autocompletion AI that they added a few months ago, you should be able to turn that off in the settings.
Predicting Question Quality on StackOverflow with Neural Networks
The one thing I don’t like about Gnome is bringing phone paradigms to the desktop, especially those hamburgers menu and the full screen application launcher. If they wanted minimal toolbars, they could just give the option to customize and toggle them like macOS. I think tablet mode for a laptop should be stylus based, and touch interactions need a different type of UI and windows managing.
So, you're telling me that I shouldn't go to the main Mastodon instance, copy that link into a toot, and @ the main developer account?
You can decide to send push notifications to yourself, but you can also give code to others people so they can also receive the alerts !

It can be good if for example you have a project with co-founders and you need everyone to know what's happening, or other uses cases.
Fair point, yes. I was unaware of marinol when I typed that. I assume something more than just synthetic THC is being rescheduled, then. Maybe it will actually become possible to be prescribed a joint and to receive it at DEA-licensed pharmacies? Will the FDA be approving joints as drugs after clinical trials?
The OECD has a nice data compilation on subnational levels to be compared by [0].

[0] https://en.wikipedia.org/wiki/List_of_OECD_regions_by_GDP_(P...
Ironically Logitech might be partly to blame for this. Logitech being the biggest Omron customer of D2F switches basically forced them to move manufacturing from Japan to China the way Walmart forces suppliers to cut costs until they bleed. Thus the era of "10 million click" switches dying precisely around 1 year of use began.

Nowadays Razer and other high end mouse vendors use immortal Optical switches.
The Google Minkowski Project: Temporospatial SDN
What's the deal with the ethnostate ?
I mean, why is a Palestinian ethnostate a good thing but a Jewish ethnostate is horrible?
I'm not saying it doesn't, but a (in my opinion) strong point against this argument is that MongoDB switched away from AGPL to their own license specifically made to solve the cloud problem. Why would they have put in all the effort if the AGPL was working for them?

I like to think of it like this: The AGPL is about freedom, and that it hurts the cloud providers is just a side effect, whereas the SSPL and its brethren is specifically made to sting the cloud providers.
If you buy a phone in Turkey, it's IMEI is registered to a gov authority and you can use / transfer it as you wish.

If you happen to buy one from another country, it will be locked after 60 days of use and no carrier will connect it after that. You can use your passport to to prove that it was not imported commercially but you brought it with you and register it. For $1000 (yeah). And it is locked to your ID. Can't transfer it to someone else.

IMEI cloning from an already registered donor phone was a thing and maybe it still is but as far as I can tell, high end phones pretty much lock it tightly.

BTW, this also affects a lot of other stuff. Can't buy a gps dog tracker from amazon. Can't buy a gsm module for your arduiono etc...

My car has a connectivity system where it provides internet to the in car infotainment system and also allows me to open doors etc remotely. It only recently became operational when the distributor finally managed to register the IMEI numbers. A lot of companies do not bother (Mercedes, BMW etc are equipped with similar systems, not operational)
https://news.ycombinator.com/item?id=40182026
Doesn't that very much depend on the design? You could say the same about turning a Photoshop file into a design. If the design is reasonable, then no, it's not that hard.

Maybe our designers just use it wrong, but I don't think tools like this is all that valuable if it can't tell you which pages are based on the same HTML template. E.g. telling the developers: There are three different layouts in this projects, these are the pages for each template and here are the elements that are identical in each.

This may also be wrong usage, but giving you sizes and spacing in pixels is weird. Telling me that a button needs to be 29px from the element above is kinda dumb.

It's probably just me being old, but the people doing the design should always be the same people who are responsible for delivering the HTML and CSS. Developers just gets the templates. But I'm also from the time of webdesigners and not webdevelopers.
Training loss considers only the next single token, right? (I’m not up-to-date on the SOTA.)

I thought post-training prediction still only directly predicts the next token and beam search is sort of a meta-model applied over that (i.e., it is a model on top of the output of the model that performs next-token prediction—beam search considers at each iteration a subset of the current next-token predictions ranked by their probability to use as multiple starting points for predicting the next token, while keeping track of the joint probabilities to prune the set of candidate sequences at each step).

Seems like beam search would fail drastically in cases where the true (unknown) probability distribution over all sequences of tokens of length n has very low conditional probabilities for the first few tokens, each given the computed joint probability of the prior predicted tokens. That is, the true values of p(t2|t1), p(t3|t2,t1), p(t4|t3,t2,t1), ... as derived from the unknown p(t1,t2,...,tn) are very small, but very high when computed via a next-token prediction model.

I’m suggesting to modify both. Use cross-entropy of the nth token for training loss. Use cross-entropy of nth token for post-training prediction and then work backward from there to the beginning of your sequence prediction.
Because there are no multinationals in New York State?
True, it was good and lightning fast back then. Granted, the language (java) was arguably simpler then. Autocompleting a lambda is nightmarish at the moment. Nowadays it gets in the way more often than not. I feel it's starting to implode very slowly.
Germany is being gutted to “equalize” the EU zone in order to form a centralized authoritarian state like was accomplished in the USA following the civil war, when what as a union of sovereign states that were globally and among themselves represented in DC, were brought under an authoritarian centralize power structure through various sticks and carrots over the subsequent decades to the point that even American academia has settled on the fact that the USA is not a “democracy” at all, but rather a Plutocracy (last time I heard), but that may have also shifted more into a kleptocracy at this point.

The overarching goal of the oligarchs is to eventually merge and equalize the whole of the Americas and Europe into a kind of Oceania from 1984 and revitalize a kind of aristocracy, but whose power and control is abstracted and secured through technology. Some call it digital-feudalism, I think cyber-feudalism is more accurate because it evokes the nexus between human interaction with technology more.

Peoples are promised one thing and they always get something way worse from it, the EU that is effectively already an abstracted tyranny, is just one example.
Most white collar jobs pay better in the US than Europe, be it in Power Engineering, Automotive Engineering, Pharma, Finance, etc (and all these jobs come with insurance provided).

If you're a skilled professional, you always end up earning more in the US than most other countries.

This is not to say Europe is bad - hell Europe is a continent so broad brush stereotypes are stupid, as my argument with an Italian yesterday about ICT market dynamics in Romania vs Italy proved. You'll earn a higher salary in Amsterdam as a SWE than you would as a SWE in Jackson MI, just like a MechE in Minsk will earn a pittance compared to a MechE in Munich.

All this chest thumping on HN is so stupid.
> Many other news publishers, including the Financial Times, the Associated Press and Axel Springer, have instead opted to strike paid deals with AI companies for millions of dollars annually, undermining the Times' argument that it should be compensated billions of dollars in damages

I would see this as strengthening, rather than undermining, the argument. The AI companies in those agreements are paying for something, which implies that the work both has value, and should be paid for.
A lot of people said the same about generics, and some even still do. I could barely stand Go before generics, and still don't think they go far enough.

From my experience, things I think Go could really benefit from, like I believe it has benefited from generics:

* A way to implement new interfaces for existing types and type constraints for custom types, like `impl Trait for T`. This would obsolete most uses of reflection in the wild, in a way generics alone haven't. This isn't about syntax, it's about an entirely different way to associate methods to types, and with both Go and Rust being "data-oriented" languages, it's weird that Go is so limited in this particular regard. It has many other consequences when combined with generics, such as ...

* Ability to attach receiverless methods to types. Go concrete types may not need associated methods like "constructors", but generic types do, and there's no solution yet. You can provide factory functions everywhere and they infect the whole call graph (though this seems to be "idiomatic"), or make a special method that ignores its receiver and call that on a zero instance of the type, which is more hacky but closer to how free functions can be resolved by type. There's no reason this should be limited to constructors, that's just the easiest example to explain, in Rust associated methods are used for all kinds of things. Speaking of which...

* `cmp.Ordered` for custom types. Come on people. We shouldn't still have this much boilerplate to sort/min/max custom types, especially two full years after generics. The new `slices.SortFunc()` is the closest we've ever come, and it's still not associated with the type. We would basically get this for free if both of the above points were solved, but it's also possible we get something else entirely that solves only ordering and not e.g. construction or serialization.

* Enums, especially if the need for exhaustiveness checking could be balanced with Go's values of making code easy to evolve later. When I need them, I use the `interface Foo { isFoo() }` idiom and accept heap boxing overhead, but even the official `deadcode` analysis tool still to this day does not recognize this idiom or support enough configuration to force it to understand. The Go toolchain could at the very least recognize idioms people are using to work around Go's own limitations.

If we had solutions to these problems, I think most Go folks would find enough value in them that they would still be "Go". In fact, I think people would have an easier time consolidating on a new standard way to do things rather than each come up with their own separate workarounds for it.

This is where I feel "The code I write, is going to look like the code written by most other on my team" the least, because that's only true when a Go idiom has some official status, it's not nearly as true for workarounds that the Go team has not yet chosen to either endorse or obsolete.
Apparently most jobs in the Germany are salary capped?

We hosted a German foreign exchange student. His dad was an anesthesiologist.

He said the hospital told him “here’s what you’ll be making”.

No negotiation. No competing offers.

Why would harder or go out of your way to contribute to your industry if your salary is going to be artificially capped?
Aren't there many, many, alternatives to NeoFetch? I seem to recall Linux Matters mentioning them in a podcast recently[0].

Turns out it wasn't so recent, but the ones they mentioned are;

fastfetch: https://github.com/fastfetch-cli/fastfetch

cpufetch: https://github.com/Dr-Noob/cpufetch

onefetch: https://github.com/o2sh/onefetch

ramfetch: https://codeberg.org/jahway603/ramfetch

[0]: https://linuxmatters.sh/21/
vbezhenar: They've misconfigured something and the page itself is marked max-age=0 which disables cloudflare caching. I'm also betting nginx isn't caching either.
I don't feel this is safe enough. I also feel we could do better...

What is the business case for making the necessary changes?

Good luck.
And so I did after thirty seconds of using it.