MurphyA/hacker-news huggingface dataset:
by franga2000 | 2025-08-03 09:53:59+00:00
Nobody claimed any study found that zero percent speed tolerance is beneficial. They said speed limits in general. You're arguing against something nobody ever said.

And no, it's not strictly "if a truck can safely do X then a car can do X+Y. It's not just about physics. There are more cars than trucks, so speed limits matter more for cars. A truck getting into a crash is worse, but less likely. Trucks also already have lower limits in many places, so this isn't even relevant in most places.

Here, truck speed limits: https://dhl-freight-connections.com/en/business/truck-speed-...
by MagneLauritzen | 2025-08-03 09:55:19+00:00
Thank you for the kind words. I did orginally consider using a programmable stream deck, but quickly realized that it would not be sufficient. My requirements were:

1) Over 100 symbols immediately accessible

2) Single-hand use

3) Small size

The elgato stream deck meets some of these requirements, but it would not have been possible to support the amount of symbols I wanted.
by wyre | 2025-08-03 09:55:42+00:00
As LLM's get smarter and more capable on smaller and smaller computers Anthropic, Google, Grok, OpenAI, and Meta (is there an acronym, like FAANG, for the giant AI companies? MOGGA? GOMAG?) will have to get creative with profit-drivers, when consumers will have a very capable LLM built-in to their computing device(s), and it can easily be worth the cost to a business to invest in the computing power to provide on-device LLM's to their workers.
by Jabihjo | 2025-08-03 09:56:23+00:00
I was hoping this would end on a lighter note which gives some credit (praise?) to those who don't strive for wealth/ money. Alas, this is not the case. Or did I misinterpret what the author is trying to say? Edit: just read another comment which validates what I was thinking: > This wasn't worth reading. It is basically a giant wall of text, potentially AI generated, drawing comparisons that aren't important nor do they get to the call to action.
by zevon | 2025-08-03 09:56:37+00:00
Going around a CS research department and asking the population there to justify their cron jobs and other stuff they run sounds like an excellent use of a (rare-ish) university admin / IT staff's time... /s

And deal with the ire of Professor Foo (and grad students Bar and Baz) who want/need to use obscure software XYZ and have done so for years (or decades) without any fuss. And build some interface between your HPC clusters and Github. And keeping with regulations and agreements on privacy and security. And so on and so forth. All that for the low, low cost of... Well, certainly not less than keeping and maintaining like one to three unix machines that don't need no fancy hardware or other special attention in the data center you are maintaining anyway?! Why?

edit: By the way, from their documentation, the department mentioned by the author runs their own E-Mail-Servers (as many universities do - fortunately, in this world, there often still is a bit more choice than 'use Gmail/Outlook in the browser').
by a_t48 | 2025-08-03 09:56:59+00:00
Oh man, some of the code in the linked proposal:

Old:

template<class...> struct list {}; using types = list<int, float, double>; constexpr auto sizes = []<template<class...> class L, class... T>(L<T...>) { return std::array<std::size_t, sizeof...(T)>{{ sizeof(T)... }}; }(types{});

New:

constexpr std::array types = {^^int, ^^float, ^^double}; constexpr std::array sizes = []{ std::array<std::size_t, types.size()> r; std::ranges::transform(types, r.begin(), std::meta::size_of); return r; }();

I'm so tired of parameter packs, as useful as they are. Just give me a regular range based for loop or something similar like this. Thank you, this can't come soon enough.
by andrepd | 2025-08-03 09:58:09+00:00
> are not very expensive things compared to the value many people assign to a life lost, even in expected value terms.

It's worse than that. It's not even that "it's not expensive", it actually saves you money to take out lanes of traffic and making it into bike lanes, or running more and better public transport.

(1) More people biking and fewer people sitting in cars, not to mention lower pollution, mean you save money in healthcare for each dollar invested into bike infrastructure.

https://cyclingsolutions.info/cost-benefit-of-cycling-infras... (When all factors are calculated, society gains DKK 4.79 per kilometer cycled, primarily due to the large health benefit, whereas it costs society DKK 5.29 for every kilometer driven by car).

(2) In purely cold terms, killing e.g. a 30 year old represents a loss of productivity to the state in the order of millions.
by makingstuffs | 2025-08-03 09:58:33+00:00
Ah mate I can’t relate more to the offshore component. I had a very sad experience where I recently had to let go of an offshore team due to them providing devs that essentially ‘junior with copilot’ but labelled as a ‘senior’.

Time and time again I would find telltale signs of dumping LLM output into PRs n then claiming it as their own. Not a problem, but the code didn’t do what the detailed ticket asked and introduced other bugs as a result.

It ultimately became a choice of ‘go through the hassle of making a detailed brief for it to just be put in copilot verbatim and then go through the hassle of reviewing it and explaining the issues back to the offshore dev’ or ‘brief Claude directly’

I hate to say it but from a business perspective the latter won outright. It tears me up as it goes against my morality.
by anonzzzies | 2025-08-03 10:00:44+00:00
I would go further and say the fine tuning on code, mostly by llms generating for other llms and human sweat shops writing example code to train on is actually to teach the llms the opposite of clever code and obfuscated code. Llms try to create readable, documented code (with different levels of success). When I make them generate terse/obfuscated code, they cannot help themselves by putting too much readable things in there. I asked claude to do the moon phase one and it had the calculation correctn but could not figure out how to draw the ascii moon so it just printed the values, used emojis next to the ascii etc. But when you ask to do it with normal code, it does figure it out.
by anovikov | 2025-08-03 10:00:46+00:00
Another side of it is that they do indeed spend a bigger fraction of their incomes on both housing and gas. Because they have the biggest houses on biggest plots, plus not just the elite owns separate houses, but most of population - which means they also live very sparsely by necessity, in endless suburbs and exurbs - which in turn means they have to drive a lot - which they do in world's biggest cars. And it's no longer an individual choice because you have to do it to still remain a member of society, and in case of driving, it's either unsafe (too much crime in inner cities) or impossible (no public transport, because dwellings are too sparse making it impractical) to do otherwise.

Thing is, they do it because they can. Because their disposable income is by far the biggest in the world, so their needs in everything else are more than satisified: they already overeat, have full two-car garages filled to the brim with "stuff", have enough of everything that people might want in "multiple" quantities. So what's left to spend money on, is either investments (this is their stock market is so insanely huge), or things one don't really need in more than single units - so they don't have many houses, but single BIG houses, same for cars. Which makes a picture of unaffordability, as natually if people's residual free incomes are so large, so much money is going to be pushed into these, they will indeed become very expensive as a portion of entire income, just because everything else (except healthcare) makes a so much smaller proportion. It's simply that it just means huge houses, a lot bigger than anywhere else except Australia (which is also Anglosphere!).

Want to make housing truly afforable? Make people poor, also make them die off to free up space. Japan does both with great "success".
by MagneLauritzen | 2025-08-03 10:01:44+00:00
Not much faster if you only need a few symbols, and if you only work in one document. I used to make such tables for large documents before I created Mathpad.

Mathpad's killer feature is working anywhere you can type text, not only document editors. I've found it particularly useful when putting together technical presentations in Powerpoint, and when documenting the algorithms I write at work which are rather math and physics heavy.
by lez | 2025-08-03 10:01:50+00:00
It started a line of thoughts in me. What if the backend keeps the videos around for a longer period of time, and: * regularly checks youtube, and whenever one archived video gets deleted from youtube, it advertises the video ID on a specific set of Nostr relays * have a different browser extension for yt viewers that activates when the user hits a deleted video. * the backend can stream the video for continuous Bitcoin lightning payment until the stream is kept alive.

So you can make some money on free disk space.
by hvb2 | 2025-08-03 10:02:52+00:00
So, assuming you do support some enforcement for passenger cars, at what speed would a ticket be warranted? Because this is exactly the dumb setup they have in California for example.

Speed limit is 65, everyone is doing 80. When you pull over someone how do you explain why only that person gets a ticket?

A limit is only a limit when it's enforced. Anything else will become arbitrary.
by simianwords | 2025-08-03 10:03:21+00:00
If he provides a good service he probably deserves it. Your next question is probably either “if one person has all the money, who has money remaining to spend” or “inequality is bad” (if you have given it more thought).

To either question the answer is: current monetary system doesn’t allow this to happen and inequality is okay as long as the floor is increasing for everyone (to an extent).

Zucc giving 1B to a relatively unknown researcher is the redistribution that people a should be in favour of. Just that it’s not redistribution to them.

The bigger picture is that this investment is towards furthering good LLM research which will again benefit everyone. This transaction seems to be good in all angles.
by EdwardDiego | 2025-08-03 10:04:14+00:00
> In the case of corn and soybeans, there is a really good reason why they are grown so much: Because that's where the market is. It is what people want to buy. They are the most competitive and highest value crops in the regions they are grown.

Given the fact that they're subsidised, I doubt that they're the most competitive crops. Competitive crops don't need to be subsidised.

Also, if they're so competitive, then why has the demolition of USAID caused them economic harm? A competitive product doesn't rely on a taxpayer subsidised buyer to make their market.

https://www.npr.org/2025/02/19/1232435535/how-usaid-cuts-hur...
by rtpg | 2025-08-03 10:05:21+00:00
If you look at this 2023 report[0] you can see the following sort of stats (page 34):

between 2012-2023 there were the following evolution in the number of road deaths per year:

- 60% drop in Lithuania

- 50% drop in Poland

- ~38% drop in Japan

- 20% drop in Germany

- 20% increase(!) in Israel, New Zealand and the US

so abstractly, looking at what those countries did in the past 10 years and considering whether changes would work or be applicable for you (and maybe not doing whatever NZ or the US is doing)

For Japan's case, they applied a lot of traffic calming[0]. In particular, in 2011 Japan changed up rules to allow for traffic calming through a simple and cheap method: setting the speed limit to 30km/h in various spots. [1] has a summary of the report.

Now, one thing I do know about Japan is that their qualification of road deaths is ... dishonest is strong but it's technical. If someone is in a car accident and survives a couple of days, but dies later from complications, that is not counted as a road fataility (IIRC it's a 24 hour window thing).

I would like to point something out though. Between 2003 and 2016 car accidents nearly halved (from 940k to 540k). Between 2013 and 2023 fatalities according to their metrics dropped 40 percent.

Things can be done

[0]: https://en.wikipedia.org/wiki/Traffic_calming

[1]: https://pmc.ncbi.nlm.nih.gov/articles/PMC6951391/ [0]: https://www.oecd.org/content/dam/oecd/en/publications/report...
by bluescrn | 2025-08-03 10:05:58+00:00
Instead, there's a push to reduce limits ever closer to zero.

30mph was close to the sweet spot and had been for decades. Or it would have been with a reasonable level of enforcement.

But as the ideological and/or climate-driven war on cars ramped up there's been a big push to reduce ever-more areas to 20mph, which is just too slow, especially when deployed widely/indiscriminately as it has been in Wales. (Used very sparingly, e.g. outside schools, 20mph limits were a good 'take particular care' signal to motorists - but that effect is lost when they're widespread)

Is it really about safety or is it about 'fuck cars'?
by rwyinuse | 2025-08-03 10:07:17+00:00
It's pretty common for people to stay in their summer cottages for a week or more, several times a summer. Renting a car for all that time gets very expensive, and it will be just sitting idle most of the time. At that point you may as well just buy a cheap used car for the same yearly cost.

The need for car ownership would plummet if we had self-driving cars that can autonomously drive back to the city, and to pick you up from the countryside.
by rtpg | 2025-08-03 10:09:55+00:00
I think we do in practice apply 0mph (i.e. banning cars) in some major cities, turning roads into pedestrian areas! 0mph happens!

It's obviously a trade between various participants, who have their own interests. 30km/h limits have had good success. If people think the number of fatalities is a problem, there's a solution waiting for you.
by vladvasiliu | 2025-08-03 10:10:30+00:00
What do you mean by "Paris"? If it's the City of Paris (Paris intra-muros), then it's not comparable to London in terms of size or density. IMO, for the purposes of this discussion, Paris should mean the whole Paris region, since most of the people live outside the actual city limits. And in those areas, access to public transportation is hit or miss. Some people are close to suburban trains, but many are not.

Then, another consideration, which is also very important, is what the available transportation actually looks like. By that I mean how often are there trains, how reliable are they? And, in Paris and probably Central London, too, are you actually able to get on board, or do you need to wait 3 trains packed to the brim?

I don't know about London, but in Paris, the suburban trains have quite poor punctuality.

Note that most car traffic in Paris is actually people from outside the city proper, so those who are most affected by these transit issues.

Additionally, a lot of traffic also goes from suburb to suburb, which, currently, is a terribly bad joke transport-wise. When I was in college, the drive from my parents' house was around 20-30 minutes. Public transit was over one hour with multiple changes, one of which had around one minute of leeway before a 30 minute wait. They are building new circular lines around Paris, but they won't be ready for a few years.

As someone who ever only walks or takes public transit I'm all for limiting car noise and pollution. But what I'd love to see is some form of improvement of the offer (a carrot). Riding around packed like sardines in trains with questionable reliability is a tough sell. I'm lucky enough I can modulate my commute hours to avoid peak times, but not everyone is so lucky. Right now, the city is mostly spending money on making driving hell (all stick).

And bikes are fine, I guess, if you have where to store them. I wouldn't leave any kind of bike unattended around my office. There's also a bike sharing scheme which used to be nice, but for a few months now it's basically impossible to find a usable bike. And I tend to avoid peak times for those, too.
by Voultapher | 2025-08-03 10:11:21+00:00
Slightly fixed title: "One A.I. researcher is negotiating a $250M pay package in made up money that Meta can produce by typing zeros into a spreadsheet."

Paying with stock is a neat option for companies that are projected to grow - the very reason why all of big tech desperately wants to be perceived as growing - since it doesn't cost them anything, since they can dilute existing stock holdings at will by claiming the thing they are buying with new made up stock will make the company that much richer.

So you as a potential investor should ask yourself, will this one employee make Meta worth $255M more? Assuming they are paying $5M in cash and the rest in stock.
by semolinapudding | 2025-08-03 10:12:14+00:00
Computation is the difference. In Lean, applying the universal property of the quotient (`Quotient.lift f Hf`) to an element that is of the form `Quotient.mk a` reduces to `f a`.

This rule is fine in itself, but the Lean developers were not sufficiently careful and allowed it to apply for quotients of propositions, where it interferes with the computation rules for proof irrelevance and ends up breaking subject reduction (SR is deeply linked to computation when you have dependent types!) [0]. It is not really a problem in practice though, since there is no point in quotienting a proposition.

[0] see the end of section 3.1 in https://github.com/digama0/lean-type-theory/releases/downloa...
by knolan | 2025-08-03 10:12:46+00:00
Meanwhile here in Ireland the culture is going the opposite direction. There is a clear lack of roads policing here and a recent report has confirmed this[1] with many Gardai simply not interested in doing their job. Our police force is massively under resourced and moral is in the gutter.

Meanwhile we have endless PR events “pleading” and “urging” motorists to drive safely, many of which have photo ops with vehicles parked illegally on footpaths. All run by a Road Safety Authority government agency that is utterly incompetent and only seems interested in handing out high viz jackets to school kids and blaming them for being killed by motorists glued to their phones.

Which brings me to my pet hate, the utter contempt shown by Irish motorists for those around them, especially pedestrian and cyclist spaces. It’s extremely common for cars to be fully parked up on a footpath even if a parking space is in sight. I’ve had to dodge van drivers driving down the footpath on the Main Street of our capital city because they are too lazy to use the loading bay 50m down the street. This behaviour is accepted by almost everyone. Once a neighbour came around the corner with two wheels of her SUV on the footpath (presumably so she could mount the dipped kerb and park as close to her front door as possible). I had to jump back. I asked her, pleaded even, to not drive on the footpath. Apparently that was rude and she was highly offended.

Fuck cars.

[1] https://www.rte.ie/news/ireland/2025/0731/1526401-garda-crow...
by rtpg | 2025-08-03 10:12:50+00:00
> What's worse? A not in use bed, or a not in use back seat?

It's more "what's worse? A huge truck with worse visibility, alone, or a car that has better visibility, safety features, and less likely to kill someone in an accident, driven alone".

Obviously if the bed or the back set were the only swap, none of it matters.

And like... yeah there's the calculus of how often you use it etc.
by kqr | 2025-08-03 10:13:26+00:00
In Sweden at least, there's an informal rule that a new speed zone is marked with speed limit signs on both sides of the road, whereas a continued limit is marked with a sign only on the driving side of the road.

I never quite saw the point though -- my response is the same either way: adhere to the limit that applies going forward. (I suppose maybe it's useful feedback of inattention and the need for rest?)
by seuros | 2025-08-03 10:14:37+00:00
The person paying the account is not the author, i'm.

What happen is that the person paying for the account had to settle an invoice of many thousand of dollars. They offered me AWS gift cards,to send me electronics and they will pay for it in parts.

They lost lot of money because of crypto collapse. So i accepted their solution to pay for my OSS usage for few months.

That like if i was going to pay for your rent for 1 year. You don't pay, while i don't have to pay 3-4 years of your rent at once.

What happen, is that AWS dropped a nuclear bomb in your house, in the middle of the month .. then tell you later that it was about payment.

If they told me in the first email it was about the payer, i will have unlinked and backuped.
by ndsipa_pomu | 2025-08-03 10:16:15+00:00
I don't mind casual tipping, but it seems to be "expected" in the USA and I've seen various criticisms of customers that don't leave tips (e.g. "the waiting staff need that money to survive"). It does seem wrong to me that some states can pay their staff less than minimum wage and I guess that tipping culture is so ingrained that even when staff are on minimum wage that they still get tips (seems fair to me as minimum wage shouldn't be the target, but merely a minimum).

I don't like the idea that a restaurant's service depends on tipping - I'd rather the restaurant ensures that their staff do their job well and not leave it up to me to determine whether the waiting staff should be paid more or less than the average amount (assuming I even know what the average amount should be).

> You can tip whomever you want — or not tip at all

In theory yes, but society has certain expectations (c.f. Mr Pink in Reservoir Dogs). I don't want to be considered rude or mean just because I'm used to tipping a certain amount and it's below what other people tip - I'm going out for a meal, not playing some ridiculous game. Also, it's not expected for people to tip other staff such as the dish-washer, the farm-hand who raised some of the produce, the accountant, the painter who redecorated a couple of years ago etc. You're being ridiculous if you think that kind of behaviour is common.

Service charges are very much like tips by another name except that there's no guessing about the amount (it's there on the menu before you order and on the bill at the end) and it doesn't bypass tax laws so the restaurant can't really game the system. The customer can't easily opt out which is why it's printed on the menus and if you think it's too much, then you go elsewhere (e.g. get a takeaway instead).

Your difficulty with not accepting tips was due to the strange U.S. tipping culture - I've seen some places just have a charity jar/box for unwanted tips.

(I have experienced U.S. tipping culture on a few holidays and it just seems bizarre and a bit backwards).

Reservoir Dogs tip scene: https://www.youtube.com/watch?v=M4sTSIYzDIk
by SirHumphrey | 2025-08-03 10:16:46+00:00
Because this is something to do and solving real problems is way more annoying.

If you work on a smaller cluster in a research institution where in silico work represents only a small portion of the research output the management of the cluster will sometimes be subcontracted out to the general IT support shop. There an administrator - usually with not nearly enough experience will start receiving support requests from users with decades of unix experience which take hours of research to solve. Unable or unwilling (and because inactivity will look bad in the next meeting of department heads) the technician will start working on some "security" matter (so it sounds urgent and important). And this is how elimination of login nodes, cutting internet access to compute nodes, elimination of switches in the offices because they pose security risks (one might be able to connect an additional devices to the network) and implementation of 2FA on pubkey only login servers come in to existence.

Most of the cluster operators are wonderful. But a bad one can make a cluster significantly less useful.