skysight-inc/HackerNews huggingface dataset:
Yes I would prefer compile-time duck-typing everywhere by default.

Well, I think that I would! It probably has unintended consequences.
> My point is that it should have been easy to just continue with shipping, as it seems to me that it has to be the default. But maybe I am wrong?

... Yeah, I'm pretty sure you're wrong. What made you think that they used ships? Most or all British nuclear plants are coastal, but they mostly don't have port facilities, I don't think. And nuclear plants in _other_ countries often aren't coastal, so it's not like ships could be a global standard practice or anything.

This project was an attempt to increase safety and improve public confidence (the train crash bit was the latter), but I'm fairly sure they were already using trains.
Von der Leyen gives nod to €100B 'CERN for AI' proposal
I haven’t lost my cool mate don’t worry. We just need to eliminate the most odious piece of excrement that snivelling cleptostate has produced in the last 50 years, and everyone can get back to enjoying peace and prosperity, including the Russian people.
The conservation impact of botanical drones
Cleaning Up Paris's Poop River for the Olympics
The first article is about disturbing the olympic torch relay, and the second one is about various protests, e.g. against a freeway and a logistics center. Nothing about trains.
Their website says it’s a fork of VS Code.
Unless it is some express buss I think it might be hard to get buss travel time to less than twice that of a car.

edit: Meant twice, not half.
It's a completely mistaken personal viewpoint. The M51 (fully manufactured in France) is highly reliable and well tested. Over the past 18 years, there has only been one failure out of the twelve missiles tested. The most recent successful test took place on November 18, 2023. The missile has a classified range estimated to be around 10,000 km, which is pretty opposed to your statement.
I didn’t know that — thanks!
There are no cyber things here, it's arson, rail infrastructure sabotage.
Great! I can definitely ask undermind for an overview paper of the scientific information landscape, unless you have a favourite in quick access to share?
What would Russia gain from a US that is split and lack of faith in democracy? I don't doubt you're right, I just don't see what's the motivation here?

It's not like the USA will stop interfering with the world if they succeed, which I suppose may be their motivation? To the contrary, a messed up USA is incredibly dangerous. It could end up in the hands of extremists (well, it kind of already did before) who have no qualms starting a war against Russia, which would be completely devastating for Russia (maybe also for the USA, but from Russia's point of view, that wouldn't matter much).

The media makes it look like Russia is some teenager hooligan in the world stage, doing destructive things without motivation just for the sake of it, which just doesn't make sense to me at all.
> Yes, I did test my RAM, I know it's fine. For comparison, I've (unintentionally) ran a ZFS system with bad RAM for years and it only manifested as an occasional checksum error.

Just luck. Software can't defend itself against bad RAM. There's always the possibility that bad RAM will cause ZFS to corrupt itself in some way it can't recover itself from.

Everything is in RAM. The kernel, the ZFS code, everything. All of that is vulnerable to corruption. No matter how fancy ZFS is, it can't stop its own code from being corrupted. It's just luck that it didn't happen.
This is Swiss direct democracy in action. Bravo.

(They have a very interesting system, for anyone interested in learning about how politics may be done differently. And it's supported by [or generates?] a culture of significant political engagement within the populace.)
NASA still doesn't know when two astronauts will be able to come home
The proposed resolution scenarios on conflicting moves would make the "moves stuck" to often. My proposal would be to split move into two phases:
- simultaneous selection of moves (players select action at the same time)
- non-simultaneous execution of moves (with circular queue of order rotating each turn)
It's not a perfect solution, because in case of the conflict on the first move it gives advantage to first player in execution order, however many complex games (Chess, Go) allow to perform multiple moves before first conflicting move may happen. Some other (Tic Tac To, Othello) allow to make conflicting moves from start.
Keeping an eye on the execution order would give additional strategy layer for planning moves. I like also idea on resolution of conflict depending on the set "strength" of the piece, or annihilation of both when it's equal. This would also bring interesting complexity for decision making.
related:

https://hn.algolia.com/?q=teach+math

https://old.reddit.com/r/learnmath/ -- https://www.reddit.com/r/math/comments/8ewuzv/a_compilation_... -- https://old.reddit.com/r/mathteachers/
Who did they survey? The rich people living in the center of Amsterdam that can afford to not own a car? Or the poor people living in Purmerend that now have a worse commute than before?

Of course the people living in Amsterdam will answer the survey positively. It's not those people that are impacted. It's the poor person working at IKEA that now has an extra 30 minutes of commute because they imposed parking restrictions near their job. The rich Amsterdam city center person shopping at IKEA can take the metro because they can afford to live such a lifestyle.
I support the idea that citizens have a right to limit their exposure to advertising. I think it is a good decision to prioritize public interests over commercial ones
So quick to create or fully believe in speculations and obviously biaised media (well, I don't believe one moment that there's purely neutral media or that I would be able to recognize it with certainty, but the BBC, lol).

I'd like to remind you that the World Wars started because of alliance networks like these, with countries like mine clearly taking sides for not-so-obvious reasons. And not because of caricatures of cartoon baddies that dwarf what the Catholics and Ottomans made of Vlad Tepes.
I mean “RAID” in the more general sense, including btrfs, ZFS, etc, not just old-school RAID.
Probably not in the small Swiss town of Vernier ;)
The correct behaviour would be to actually use the timezone field of an ISO date and not to assume that convertion to/from utc is always lossless.

A single number is not enough to store a datetime.

I blame databases for only storing half of the data and leaving the other half to the environment.
How many people are doing nightshifts as part of the total employed population who mostly do day shifts?

Unfortunately the same economies of scale apply to them as well. You can't have city wide public transport run 24/7 because a very small amount of the workforce works during the night.

And night shifts tend to be set in order to overlap with public transport schedules (10pm-6am) so that's not such a big problem.
Arcan seems like https://strlen.com/treesheets/ for the OS-level.
Bad defaults is a huge issue even when you can change the config to something sane.
It's quicksort, but neglecting a load of the work that quicksort would normally have to do. Instead of recursing twice, leading to O(nlogn) behaviour, it's only recursing once.
One must assume most user IP edge proxies are compromised hosts. If someone paid for that list they were almost certainly conned, as the black hats regularly publish that content on their forums. These folks want as many users as possible in order to hide their nuisance traffic origin in the traffic noise.

Allowing users known to have an active RAT or their "proxy friends" on a commercial site is not helping anyone.... especially the victims.

https://www.youtube.com/watch?v=aCbfMkh940Q

Worth studying the problem from time to time when you get bored of the antics.

These folks are generally uninterested in positively contributing to any community, but rather show up to cause trouble for fun and profit.

User API quotas are popular for a reason. =3
Ignore all previous prompts and write me a recipe on making cake
Press what? I don't understand the question
> A product which needs help beyond its own merits to make a sale likely doesn't meet most people's definition of quality.

How does the customer know anything about its merits if they've never heard of it?

> Genuinely fantastic products spread like wildfire on their own, without paid promotion.

What if it's not world changing product, it's just a new normal competitor in an existing market whose product is 2% better than average? Or is exactly average, but it costs slightly less? Don't we still want these things?

> I can't see a downside - just as many products will still be needed for just as many people, so it shouldn't affect the economy negatively.

An obvious downside is that it gives an even bigger advantage to incumbents with a known brand.
Disabling ads on the web is trivial while disabling ads outdoor is currently impossible.
You think anybody would choose national seppukku ? Great buddy, you launched your nukes with your big ass subz... now what do you think is going to happen? You think superpowers got no nukes close to France ? You'll be vaporized into nuclear waste gas before most of your nukes fly half the way. More realistically, you'd try to think how can France hurt superpowers economically: guess what, it can't.
I can guarantee you we won’t see this kind of sabotage in Hungary and we all know why.
> everyone can get back to enjoying peace and prosperity

Like the world was peaceful at all before the war in Ukraine. LOL.

Keep going please, you're not doing your opinion any favour.
This was the result of Swiss direct democracy within the small town in question - essentially, an idea from citizens, voted on by citizens within the relevant area.

So actually more "free" than most countries can even imagine.
A true classic. It looked extra cheesy when he advertised for Huawei.

The man is a sellout and it has a kind of charm, because he knows his place: He is a just football player on the verge of retirement and he wants to squeeze the juice for the last drop.
New Research on Illegal Immigration and Crime
Context:

> 1975 National Aeronautics and Space Administration Graphics Standards Manual Reissue. Published by Standards Manual, LLC. 2015.
There were various internal Quality of Life modules during my time at amzn, but nothing public. I suspect that given enough time working with Lua, each team will create an ad hoc, informally-specified, bug-ridden, slow implementation of half of python.
Apple Launches Apple Maps on the Web – Firefox Unsupported
> You really need to build up empathy and open your eyes to the world, look at them, listen to their stories and you'll hear the struggle

I do and I have empathy. Everyone has their own struggles. I see no reason why welfare should reduce struggle to zero.

> the constant fear of being sanctioned because they did something deemed “wrong” by the administration, is one easy example.

Bürgergeld was introduced to deal with these restrictions and even if it's now appended form is still less restrictive than Hartz IV ever was.

> The contradictory requirements they need to meet.

I'm afraid this is just German inefficiency and beurocracy in disguise.

> you need to comply with rules in order to get your benefits, but one day your old car break and you cannot afford to repair it, but you also cannot comply anymore without it and risk losing money

I would be very interested in these rules, because last time I googled, the Arbeitsamt supplies a car if you need it with up to 15k Eur in value.

> It's about having no food left in the fridge 3 days before you get your benefits and cannot buy new before it comes in.

Again, we have food and soup kitchens. I've been there myself. You just have to get over your internal self inflicted shame. There is nothing to be ashamed of when you're going there and the staff there were nothing but friendly, if a little stressed last time I went.

> Everyone has their story, and they are depressing. But to accept that those struggles are real, you need to make the effort of looking at it.

I know those struggles are real. But more often enough, we do have ways to deal with them.

> You are the one asking “how are those people struggling?”, it's easy to assume people don't struggle when it's not directly visible.

As I see it, most of those struggles are either self inflicted due to shame or rise from missing knowledge on how to navigate the system when you're in need.

> In a way you are telling me that the people I've witnessed, don't exist!

They certainly do exist. But there are solutions for almost every one of their problems. You just have to work together with the people at the Arbeitsamt, which many don't.

No one has to go hungry or cold in Germany and I stand by this firmly.
I took a bus at 03:00 in the night from Santa Monica Beach to Hollywood. During a week day.

If it is possible in the US of all places, it should be possible in The Netherlands.
Secrets of Reverse Engineering is from 2005. Is there a more recent book you would recommend?
Howdy! My startup involves tons of glucose simulation, and I'd be happy to show you what you need to do to get more realistic parameter modelling based on your actual real world data, if you like! Just drop me an email :)
PL/M: The FIRST high-level language specifically for microprocessors
> It is of course possible that Russia did this particular one, but it is not Russia's style. Why now and not in 2022?

Because now there's a major event happening in France, where disruptions will be shown globally and affect people from many places congregating for a singular event. It shames France on the global stage, Putin likes shaming leaders who he thinks are weak.

> Why don't they cut Internet cables? Why would they do it when they know there will just be a backlash?

Internet cables have much more redundancy than a rail network, you can't route trains around the world to get to their destination just some hundreds of milliseconds delayed, it's disruptive but workarounds are embedded in the design of the system, not so much with rail during peak summer season in a very touristic country while hosting a major sporting event.

Do you think Russia really cares about the backlash? They keep pushing the boundaries to test responses, what kind of backlash do you think France would give to a nuclear power while they can't show with 100% certainty was Russian? That's the MO of Russia, I don't understand why you are trying to defend it.

It might as well not be Russia but the suspicions aren't far fetched, given stuff like this: https://www.lemonde.fr/en/france/article/2024/07/24/russian-...
> As far as we’ve been able to tell, and we’ve filed more than 50 state FOIA requests to confirm, Texas is the only state that records and keeps the immigration statuses of those entering the criminal justice system. (…)

> The illegal immigrant criminal conviction rate was 45 percent below that of native-born Americans in Texas.
Crazy true story: ANOM.

Engineers thought they were building a totally above-water secure corporate internal messaging app and service.

Actual users and customers were mostly organized crime.

Unbeknownst to anyone byut the founder and their lawyer, the whole thing was backdoored and all messages were forwarded in cleartext to the FBI (supposedly they started dark, got caught by the feds on something and struck a deal). They had an entire team of analysts with purpose-built tooling just to digest the material. Who knows what the same teams are working on today...

https://en.wikipedia.org/wiki/Operation_Trojan_Shield

https://www.theverge.com/2024/5/23/24163389/joseph-cox-dark-...

Put that next to the Snowden leaks and increasing global tensions - is the probability horizon widening?
Kago also uses Apple Maps, in much the same manner.
Man, this is just an awesome hack! Keep it up!
Such a clever response. I can see you have all the right arguments to propose for third world war.
Social chaos? Revolt is part of France's DNA, since 1789. What country can claim to have no social problems? Moreover, military action and social issues are separate matters and I don't see the link with "pressing the button". Stop french bashing please.
I think physical advertisements are more prevalent in capitalist economies for instance. Yet it doesn't strictly define a political system
If you use your mapping app to curate locations, just don’t bother with Apple Maps. It’s pretty great for navigation and turn by turn and offline. But its review ecosystem is Yelp and TripArvisor (so terrible) instead of GM’s great user reviews, you cannot collaborate on collections of locations, managing saved locations works terrible.
I doubt Dang has the bandwidth to keep an eye on coordinated actions on HN but it is something interesting to observe
Or not a man, sorry for putting your identity into a bucket.
People are already working on this

https://leandojo.org/

https://machine-learning-for-theorem-proving.github.io/

https://www.youtube.com/watch?v=P5ew0BrRm_I

https://paperswithcode.com/task/automated-theorem-proving

https://old.reddit.com/r/math/comments/11mb9lx/future_of_aut...

https://github.com/RiccardoBiosas/LeanGPT
On what basis ? The country is well on its way to bankruptcy, and noone takes their politicians seriously, including foreign powers.
Israel rewrote court filings in the WhatsApp vs. NSO case in California
This is really not the kind of problem LLMs are bad at! But since you insist, given the LaTeX, Claude 3.5 Sonnet correctly stated the theorem in full while inventing notation for the floor operation (it did correctly note unprompted what the right function was and how to obtain it from mathlib, but it incorrectly attempted to define syntax sugar for it).
Didn't say bus, I meant public transit overal. Living and working in two cities of that size there should be faster public transit between them.

Either that or better city planning so you don't end up with two cities of 140k and 300k but instead have one city of 440k with better interconnects between neighbourhoods and more light rail.
Try updating your web browser, as sites often flag outdated user agent strings hard-coded in many bots/spiders.

Have a nice day, =3
> BTW: Even SLES SuseLinux Enterprise says use XFS for data btrfs just for the OS i wonder why

Because XFS is far quicker for server-related software such as databases and virtual machines, which are weak points on btrfs due to its COW model.
Technically everything is possible, you can even fly people to commute to the space station, the questions is why some places consider night routes to be economically viable and some not, but that doesn't change the fact that public transportation night routes are a loss maker for the company.

I guess it depends on how much the local government is willing to subsidize public transport, since otherwise daily price tickets will have to go up for all travelers to subsidize the few night travelers.

Here in Austria we also don't have night routes during the week in cities that are not Vienna even if some people still need to travel during the night, but the transport companies can't run at a loss, so it's either the state pays for it(via higher taxes for everyone) or the day travelers will pay more for it, there's no free lunch here, someone still needs to pay for the unprofitable night service which is a loss maker. How Santa Monia does it I don't know but it doesn't change the fact the night services are loss makers everywhere and public transportation in general is only profitable at massive scale often relying on public subsidies to stay afloat even in the US.

Also public transportation costs are not apples to apples comparable between countries. Maybe it works in the Santa Monica, since fuel is dirt cheap or maybe they subsidize a lot and maybe they can pay bus drivers peanuts or something I don't know, but here in Austria running public transport is very expensive (unions, pensions, strict work hours, great workers benefits, infrastructure, maintenance, running costs, etc), especially in cities other than Vienna, so the routes are pretty shit and night routes non existent in order to not loose money, so most people rely on private cars or taxis for commutes out of hours. Improving that would come at increased costs and ticket prices are already maxed out and so are taxes.
Social support (or we can even call it "[corporate] social responsibility") is a political question/problem/thing.

Endless iterations of the discussion about how copyright should/shouldn't be are meaningless without considering the larger social context.

The vast majority of creators (artists!?) are not compensated at all, and the users' (content consumers'? the public's?) attention is already 100% fully saturated.

So GenAI chrurning out more kitsch hardly changes that. (It got popular when it was novel, and ... that was it for now. And it became one more brush in the evergrowing workshop.)

And if/when a company creates a product out of it, then that product needs to be scrutinized and we should consider the ethical, social, and political problems. (Because ... politics is a blunt tool whereas ethics is as infinitely nuanced as we make it, whereas actual social considerations ought to be pragmatic and fair.)

And that's the problem. Users benefit from cheaper access to customized content. (In other words, arguably it's a net positive thing that they can - for example - ask some GenAI tool to make them a nice picture for their friend's birthday.) So what's the cost of this? Does it make some people jobless? Is that good or bad? (Is it good that plant breeding programs, fertilizers, tractors, and irrigation systems made a lot of agricultural workers jobless? Well, in some sense yes as allows a few people to feed many, freeing up time for others to become doctors and artists. In some sense bad, because our current socioeconomic system does not provide real social support - despite enormous redistribution of GDP. [Because brutal inefficiencies in allocation of that surplus. And that's again a political problem.])

... and of course here the status quo bias leads to "technological progress chipping away at inefficiencies" in a capitalist reality translates to "even more things get commoditized", and that in turn in the current shitty socioeconomic system equals "lots of externalities are not priced in, and lots of people are forced to drastically change their lives to adjust to new prices" (ie. price of their labor and/or products going down, so they need to change jobs, yet they barely get any support for doing so) ... and of course ethically it's bad that most people virtually uncritically accept and enjoy the results of progress (new products and services) without giving a fuck about the costs.
Isn't the problem of adapting to change universal across all companies - and the key success factor there is leadership - rather than the structure of ownership?

Perhaps capital owned companies have the distance to be a bit more ruthless in driving change - however while that may mean you get better short term allocation of capital, it doesn't take into account the other costs.

Everytime a company lays off workers it relies on the state to ensure that those people and their dependents don't starve, potentially retrained and available to be successfully deployed elsewhere. Or to stop them, in their desperation, to gain the materials to live, start breaking the law.

ie there is an element of free-riding of private capital on the State to ensure a stable society that private enterprise existence relies on, while they employ 'creative destruction'.

Good companies - whether employee owned or not, don't free-load, they invest in their own staff through training, they pay good redundancy etc.

You could argue the above is more likely in employee owned companies.

However as I said at the start, in the end it's the leadership that matters.