MurphyA/hacker-news huggingface dataset:
by dgfitz | 2025-04-25 18:43:06+00:00
> The rich might hate it, and call it "redistribution", which is fine because that's exactly what it is, and what taxes have always been, but this one would redistribute downwards instead of upwards, and incentivize lower carbon emissions by those who can afford it.

Larry Page would be pumped. His annual salary is $1.

I feel pretty strongly that adding exceptions and loopholes to taxes only benefit wealthy people, which is the opposite of the intent.

I would be interested in reading a study where all the tax laws in the country were burned down and rebuilt, with no loopholes or exceptions. Also, eliminate borrowing against a stock portfolio. That is downright evil.
by no_wizard | 2025-04-25 18:43:29+00:00
>provide valuable services while trimming waste

I'm going to zero in on the issue with this. The way unions exist in the US is not conductive to smart reforms. We have structured labor relations in the US to be as hostile as possible which makes them as hard as possible. This was deliberate, going back to the Pinkerton era. Since certain standards were enacted that prevented violent strikebreaking, business owners needed an enemy, and by making these negotiations as fraught as possible, they are able to go to the public and thereby politicians, and plead their case about how damaging unions are to the economy, even though businesses themselves have conducted themselves in such a manner and supported legislation that makes it this way

Thereby, any attempts at reform - which will likely mean eliminating or retraining positions - typically only comes when all austerity measures come, which by then is too late or useful to be meaningful, and often due to reactionary and hurried processes of enactment, are not well thought out, trimming too much or too little and not much in between.

If we had a sane labor relations paradigm we could do more here and it would benefit everyone - the tax payer and the workers - without inducing undue harm.

This stretches into private industry as well. Labor relations are incredibly adversarial there too.

I do want to also point out, that the reason its this way is due to businesses (and by proxy, pro business politicians) being unwilling to compromise and fighting labor tooth and nail, even in 2025, which has set the historical tone for these situations. Had businesses been more reasonable during the Pinkerton era organized labor would be healthier than it is now for both sides.

If we had things like sectorial bargaining and a better overall organized labor system, I think the US wouldn't have such tension in achieving smart reforms
by AlecSchueler | 2025-04-25 18:43:55+00:00
I'm a musician and honestly I often feel that the music boat already left in many ways before the generation Bowie grew up in. The best musical experiences I've ever had have been in quiet houses playing music with people I care deeply about, playing for dancers or impromptu public meetings with other musicians. I think that ever since the first wax cylinder was pressed those experiences have become harder and harder to find as most people forgo learning instruments in favour of the record player. Sitting at a party with a David Bowie record on already didn't feel like a musical experience for me in many ways, this is just another step in that evolutionary chain.
by hinkley | 2025-04-25 18:44:48+00:00
Huh. I assumed this was going to be a collision of acronyms but erythropoietin is the same EPO used medicinally to treat anemia and abused by several generations of endurance athletes (complications include strokes and heart attacks from blood clot).

It’s a stress-signaling hormone produced by the kidneys when they detect hypoxia and triggers more red blood cell production in bone marrow.
by pjmlp | 2025-04-25 18:44:53+00:00
This is standard practice for years in big corporations.

You install software via ticket requests to IT, and devs might have admin rights, but not root, and only temporary.

This is nothing new though, back in the timesharing days, where we would connect to the development server, we only got as much rights as required for the ongoing development workflows.

Hence why PCs felt so liberating.
by onetimeusename | 2025-04-25 18:44:54+00:00
That sounds reasonable but would you also support a strongly enforced border and tighter policies on illegal immigration so this isn't an issue in the first place? I think it becomes hand-wringing and disingenuous when it starts to seem that this isn't really about reasonable policy and it's more about trying to prevent deportations by any means necessary. What's unspoken is that there are deeply held, non-articulated beliefs that open borders policies are a good thing. These views aren't generally popular with the electorate so the rhetoric shifted to subtler issues like what you are describing.
by pcthrowaway | 2025-04-25 18:45:00+00:00
Labeling Theory[1] suggests that referring to people as criminals increases the chance of them committing crimes. When people's existence is referred to as criminal (or when they're referred to as criminals for having committed other crimes, many of which are not dangerous to society or others, such as using drugs) their social and economic prospects are harmed and according to this theory, they then become more likely to engage in other activities which (in addition to violating laws) are actually more detrimental to society.

So I think there's a strong argument that we should be much more conservative with the application of labels like "criminal" to people.

[1]: https://en.wikipedia.org/wiki/Labeling_theory#The_%22crimina...
by bryanlarsen | 2025-04-25 18:45:09+00:00
It would change behaviour more, not less.

If you set the carbon tax at about $1/gallon of gasoline, the corresponding carbon rebate would be about $1000 per family per year.

That wouldn't affect rich people much; neither the $1/gallon nor the $1000 extra income is significant. But many rich people get rich by being penny-wise, so many would change behaviour, by buying an EV or similar.

But for poor people both $1/gallon and $1000 per year is significant. If gas was $1/gallon more expensive, poor people definitely would drive less.
by godelski | 2025-04-25 18:45:11+00:00
> A healthy society should be tolerant of some bending of the rules.

No rule can be so well written that it covers all possible exceptions. Programmers of all people should be abundantly aware of this fact. We deal with it every single day. But I do mean fact, it is mathematically rigorous.

So even without a direct expansion of rights and the natural progression of societies to change over time, we have to at minimum recognize that there is a distinction between "what the rule says" and "what the intended rule is". This is like alignment 101.
by stetrain | 2025-04-25 18:45:18+00:00
Sure, but the goal was first a trillion dollars, then $150 billion dollars.

There's also the question of what is actual savings versus what is going to end up costing us more in the long run. You can save money in your personal budget by cancelling oil changes on your car, but that doesn't represent a real long-term savings. In fact quite the opposite.

Things like the National Parks produce huge amounts of economic activity in the surrounding communities. Things like food safety regulations and testing promote consumer confidence in our food and agricultural industries. Social Security money not sent to seniors or children of deceased parents places a larger burden on our communities. Not every cut is a savings, and the information being given about what has been cut across all of these agencies has been less than stellar.
by ladeez | 2025-04-25 18:46:02+00:00
The pivot to cloud had a decade warmup before HOWTO was normalized to existing standards.

In the lead up a lot of the same naysaying we see about AI was everywhere. AI can be compressed into less logic on a chip, bootstrap from models. Require less state management tooling software dev relies on now. We’re slowly being trained to accept a down turn in software jobs. No need to generate the code that makes up an electrical state when we can just tune hardware to the state from an abstract model deterministically. Energy based models are the futuuuuuure.

https://www.chipstrat.com/p/jensen-were-with-you-but-were-no...

Lot of the same naysaying about Dungeons and Dragons and comic books in the past too. Life carried on.

Functional illiterates fetishize semantics, come to view their special literacy as key to the future of humanity. Tale as old as time.
by Kalanos | 2025-04-25 18:46:06+00:00
You're right, DNA damage is just one of the types of genetic variation in cancer. There are many other structural variations that act like remixes.

"Maybe we need to start culturing and DNA testing cancers." I assure you this is being done at a massive scale.

Due to cellular stress, cancer cells disobey multi-cellular governance. They behave more like independent organisms fighting for survival, reverting to primal programming.
by chabes | 2025-04-25 18:46:41+00:00
I’m pretty sure the person who said that quote about non-professional musicians who purchase Eurorack modules was Paul Schreiber, who passed away about a month ago.

Gonna look it up, and I’ll edit this post when I find out.

Edit 1: Didn’t find the quote from the film yet, but did find [1]this video (unedited interview from I Dream of Wires) where Paul explains how he himself is not a musician, but rather an engineer.

[1] https://youtu.be/6ixv4F4XD4Y

Edit 2: Still haven’t found it.

I have the film at home, but I’m traveling in Europe at the moment, so it is out of reach for me currently.
by ein0p | 2025-04-25 18:46:45+00:00
A case study on media narrative peddling: https://www.koat.com/article/las-cruces-former-judge-allegat...

Original title: "Former New Mexico judge and wife arrested by ICE". It's as though he wasn't an active judge while harboring an alleged Tren De Aragua gang member.

Protip: believe absolutely nothing you read in mainstream news sources on any even remotely political topic. Read between the lines, sort of like people used to read Pravda in the Soviet Union.
by Animats | 2025-04-25 18:46:48+00:00
A key point here, which the judge brought up with the ICE agents, is that they only had an "administrative warrant".[1] An “ICE warrant” is not a real warrant. It is not reviewed by a judge or any neutral party to determine if it is based on probable cause. "An immigration officer from ICE or CBP may not enter any nonpublic areas—or areas that are not freely accessible to the public and hence carry a higher expectation of privacy—without a valid judicial warrant or consent to enter."[2]

The big distinction is that an administrative warrant does not authorize a search.

[1] https://www.aclunc.org/our-work/know-your-rights/know-your-r...

[2] https://www.nilc.org/wp-content/uploads/2025/01/2025-Subpoen...
by elgenie | 2025-04-25 18:46:51+00:00
The fuel/carbon tax would still be behavior-shifting for low-income emitters because it would still apply to low-income emitters per marginal unit, and that part is likely overall regressive because fuel is a larger expenditures for low-incomes.

However, the part where the resulting revenue is pooled and payed out in an equal amount back per capita is progressive, since that payment is a greater fraction of a low income. Desirably, it also means that low-income people emitting less than the average would make money overall: consider a household consisting of a single mom and two kids that take public transit to work/school.
by nine_k | 2025-04-25 18:47:11+00:00
> Yes to a simple battery system!

Battery balancing and conditioning does not need to be fancy, and does not need a fancy screen; a couple of LEDs should suffice.

But I'd like my batteries charged competently, recharged efficiently while braking, worn uniformly, and kept at reasonable temperature. It's not hard to do completely automatically and invisibly; a quality electric bike would have it.
by kybernetikos | 2025-04-25 18:47:20+00:00
Human instinct is a complex of different things acting in opposite directions, including things that work against hierarchy.

I'm shocked that you think this is an unbelievable reaction, I know lots of people who really do think like that.

I wonder if you might find C S Lewis's lecture on the "inner ring" interesting.

https://archive.org/details/1944-the-inner-ring
by porphyra | 2025-04-25 18:47:35+00:00
At $20k it is actually comparable in cost to a GEM el Xd pickup [1] which can only go up to 35 mph, has 78 mile range, and costs $18k [2]. Totally different class of vehicle, of course.

[1] https://www.gemcar.com/gem-el-xd/

[2] https://electriccarsalesandservice.com/products/2024-gem-el-...
by dragonwriter | 2025-04-25 18:47:40+00:00
> I feel pretty strongly that adding exceptions and loopholes to taxes only benefit wealthy people, which is the opposite of the intent.

It depends what the exception is.

If the exceptions are "we treat a form of income received disproportionately by the rich a 'not income' and tax it at a lower rate, and on top of that we add an extra tax on top of income tax on labor income, and cap the larger part of that extra tax, too, to avoid burdening high earners", that helps the rich, sure. But there are plenty of exceptions possible that don't do that.
by orbital-decay | 2025-04-25 18:47:45+00:00
Proper sealing, mostly. The bike I was riding is a custom-built enduro, the electric part is fully sealed up to the handlebars but the river turned out to be a bit deeper, as it often happens. Electric drivetrains are much simpler. They aren't running as hot as ICE, don't need outside air, have less vibration and fewer moving parts... you can make it a proper submarine if you desire. In fact, certain 2WD electric mopeds are rated for underwater riding.

It's possible to use a normal motorcycle fully submerged as well [1], but designing for that is way harder due to the exposed engine, you need a ton of things and not just a snorkel.

[1] https://www.youtube.com/watch?v=DEPzyZTDDTI
by throwup238 | 2025-04-25 18:47:50+00:00
That's an amazing quote. I recently just started going to some LA Kings hockey games with my family for the first time, so this hits close to home.

I played high school sports (with a three day hospital stay for a serious concussion to show for it - thanks, football), but I've never been a fan of watching sportsball on TV unless it's a social gathering like Superbowl parties. I've generally had a low opinion of people who cared about their city's teams and all the useless competitiveness that goes along with it.

But being there, in the stadium around all the other fans? Fucking electrifying. I celebrated, I jeered, I cried, I booed Edmonton, I cursed the refs, I complained about the stadium food and the line for the men's bathroom, and I was probably the loudest person in the 318 section of the Staples center. I almost fell over the glass boards onto the ESPN newscasters during Wednesday's game on the fourth goal. Too much overpriced beer plus standing up to wave the "Built for This" towels too fast.

I still don't give a flying fuck about the Kings or Lakers or Clippers or whatever, but I am definitely going to enjoy going to their games and feeling the energy. The exact words my mom used were "I've never seen this side of you."

WE WANT SKINNER!!!
by aprilthird2021 | 2025-04-25 18:47:53+00:00
> for most things, college is a ripoff

It's just objectively not. A college degree increases earning potential so much, and the median student loan debt is only $20k. Even if the earning potential increased only $5k/year it would easily pay for itself over the course of even a fleeting professional career.

Paying a tutor to teach you whatever isn't going to qualify you for a job like a degree will and won't connect you to employers like a fully staffed university recruiting office will
by AlecSchueler | 2025-04-25 18:48:09+00:00
> nothing can replace live music played by humans, as the experience and the very real positive benifits of an audience comming together can not be digitised

I wish it were true but I'm also very aware of how many people I see in audiences today are scrolling instagram while the band plays.

> There are hundreds of thousands of full time touring musical groups world wide, and millions of music festivals every year.

Those figures seem very high, do you have a source for these? Or even how you worked it out as a guesstimate?
by Fire-Dragon-DoL | 2025-04-25 18:48:16+00:00
Unfortunately I have kids school age, so I'm forced to go to bed by 11pm. During spring break it was pretty evident though, if I go to bed at 1 or 2 am and wake up at 11 am, I feel way more rested than if I go to bed at 10:45pm and wake up at 7:45am. Society really doesn't accommodate that
by iforgotpassword | 2025-04-25 18:48:38+00:00
I'm really weird when it comes to exercise it seems... Doing intense exercise right before bed gets me into a really relaxed state and I fall asleep quickly. Like, doing push-ups and sit-ups for 10 minutes straight.

I don't run that often anymore, maybe twice a month, but I can only do it in the afternoon or evening. If I go in the morning, I feel very tired so I really have to force myself to keep going, and then after 15-20 minutes, my heart rate settles at close to 190bpm (compared to ~175 in the evening) which to my understanding is way too high for someone in their early 40s.
by JadeNB | 2025-04-25 18:49:24+00:00
> Scientists have informal trust networks that I’d like to see made explicit. For example, I’d like to see a social media network for scientists where they can PRIVATELY specify trust levels in each other and in specific papers, and subscribe to each others’ trust networks, to get an aggregated private view of how their personal trusted community views specific labs and papers.

That sounds fascinating, but I'd have a darned high bar to participate to make sure I wasn't inadertently disclosing my very personal trust settings. Past experiences with intentional or unintentional data deanonymization (or just insufficient anonymization) makes me very wary of such claims.
Show HN: Formalizing Principia Mathematica using Lean
by ndrwnaguib | 2025-04-25 18:49:30+00:00
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.

https://ndrwnaguib.com/principia/

https://github.com/ndrwnaguib/principia
by neogodless | 2025-04-25 18:49:37+00:00
I do wish we'd all just call this a $27.5K USD truck. If it ends up allowing some people to get a tax credit, awesome. But that's not the price they are targeting for selling this truck. And that tax credit is far from a guarantee come late 2026 / early 2027.

(That's before any "later adjustments" to the price, not to mention the effects of uncertain tariff policy.)
by no_wizard | 2025-04-25 18:50:02+00:00
Not to mention, trade wars are class wars. There is a reason alot of incredibly wealthy people - by any standard - support the tariffs. Its a way to assert more control over the economy so that when the tariffs come down - and they will come down - they've already primed themselves by taking more control of goods or having done so while the tariffs are still active. Its a means of control.

I expect a wave of corporate consolidation happening soon across most sectors that will be driven by this outlook
by km144 | 2025-04-25 18:50:09+00:00
Your point does not engage with the question raised in the comment you're replying to. Would you like to live in a society where criminal justice is secondary to immigration enforcement? One where we deport people with acute conditions without treatment because they are not authorized to live in this country? Dealing with the "root cause" does not require inflicting unnecessary cruelty upon other human beings.

> it has now rendered the fate of all of those people subject to the whims of whomever is in power.

Who is in power? What does our Constitution say? The executive branch is not granted absolute authority over immigration policy and the treatment of humans—citizens or otherwise. That is a Constitutional crisis.
by IshKebab | 2025-04-25 18:50:29+00:00
It's really not hard to check the length. Checking null bytes also adds an awkward memory data dependency that can make SIMD more awkward. It also makes strlen O(n) which is kinda shit - for example it led to that famous GTA5 accidental O(n^2) bug.

For situations where a null terminator really is better it's easy to add them to a length-prefixed string, whereas the reverse is not true.

They clearly got this wrong.
by kube-system | 2025-04-25 18:50:32+00:00
The OEMs have proper repair procedures that are the correct way to fix the vehicle, and if the autobody shop is reputable, they follow them. And the stated reason OEMs specify panel bonding instead of welding is:

1. because UHSS is sensitive to heat, and robots are much more accurate in how they heat than Jimmy with a tig torch, and they were programmed by a process engineer, where as Jimmy welds until 'it looks good'.

2. welding may compromise anti-corrosive treatments on the inside of inaccessible cavities, which can lead to corrosion issues

e.g. https://rts.i-car.com/crn-24.html

A crappy shop will certainly just weld panels in without any regard for materials engineering, but it results in a crappy repair.
by JadeNB | 2025-04-25 18:50:56+00:00
> Yes, but it costs money. There's no solution that wouldn't.

True, although, as you doubtless know, as with most things that cost money, the alternative also costs money (for example, in funding experiments chasing after worthless science). It's just that we tend to set aside the costs that we have already priced in. So I tend to think in such settings that a useful approach might be to see how we can make such costs more visible, to increase the will to address them.
by kstrauser | 2025-04-25 18:51:17+00:00
Depends on the enforcement methods and the policies. Of course we can defend our border. No, we shouldn't waste billions on some stupid fence that will be climbed or tunneled or knocked over or walked around. I'm absolutely willing to have the discussion about what appropriate policies should be, as long as we can agree that we're talking about real, live humans who are generally either trying to flee from the horrible circumstances they were born into, or trying to make a nicer lives for themselves and their families, and the policies reflect that.

I'm not for open borders. In any case, that's irrelevant to whether I think ICE should be hassling people inside a courthouse for other reasons, which I think is bad policy for everyone.
by aprilthird2021 | 2025-04-25 18:51:39+00:00
> forcing users to choose between personalized ads or a paid subscription. I can understand why the EU would reject that.

Why do you understand why that should be rejected? I don't personally understand it at all. How can it be possible for users to get free Facebook and not give up any personal data to it? There would be no money coming in to keep the site running...

If social media were paid, it would effectively be another barrier between people with different means connecting with each other.