MurphyA/hacker-news huggingface dataset:
by mrguyorama | 2025-04-30 21:04:55+00:00
I certainly appreciate that you apologized openly but that was a comment you made in the guise of "Site Moderator". Those comments sometimes come with corrective actions, and are specifically meant to shape behavior. They have been used to shape MY behavior.

I'm pretty sure I've been chided before for making a drive by comment on this site, but that seems to have been the case here, in your official role.

>On the other hand, other people would probably have misread it in the same way, so the point still applies, just not as much, and probably not enough to justify my mod response.

>At first I read it as a gratuitous Holocaust reference (i.e. some sort of throwaway flamebait)

Part of my response is that I cannot fathom even a little bit the way you mistakenly read the comment in such a way, unless you just barely even see the comments you are moderating. Was this driven by a "concentration camp" auto-moderator or something?

It's frustrating how often we are told to trust that you moderate fairly, that any concerns we have are just "sampling bias" or confirmation bias, that we can't really discuss or doubt the rules, that definitely no vote manipulation happens, but we also cannot expect you to read the sentence containing the supposed reference?

IDK, man, I was just surprised.
by bobbylarrybobby | 2025-04-30 21:06:00+00:00
Already happening.

https://apnews.com/article/trump-economy-tariffs-gdp-7494825...

“ Trump was quick to blame his Democratic predecessor, Joe Biden, for any setbacks while telling his Cabinet that his tariffs meant China was “having tremendous difficulty because their factories are not doing business,” adding that the U.S. did not really need imports from the world’s dominant manufacturer. ”

He also posted on Truth Social today, blaming Biden for the economy.
by rayiner | 2025-04-30 21:06:17+00:00
> Has the “violation of law” been established yet? There’s a pretty wide gulf between “I believe a violation of the law has occurred” and having the matter adjudicated.

Didn't SFFA clearly establish that? The Supreme Court outright reversed the bench trial ruling, which had found that Harvard and UNC's programs comported with Title VI and the Equal Protection Clause.

You have a point that I should've said "was found to have violated" rather than "is in violation." Whether Harvard is still violating the law is debatable. But I'm not sure Title VI withholding can't be predicated on a recent violation.

Regardless, as you know, the government routinely uses the threat of legal action for suspected violations to coerce compliance. Virtually every FDA/SEC/CFTC/etc. enforcement action starts with a letter along the lines of: "you're in violation of the law, do X, Y, and Z, or else we'll take action."
by JumpCrisscross | 2025-04-30 21:06:19+00:00
> It isn’t financially viable to have enough Waymo cars on the road that will be able to handle peak demand and just sit there during low demand

Sure. Waymo can absorb the usual base load. Uber and Lyft can be peakers. This is how it works in Phoenix, LA and Miami, cities one can’t dismiss as cities “of tech bros,” I assume, given during peak hours the wait time surges to 30+ minutes.
by TheOtherHobbes | 2025-04-30 21:08:48+00:00
Cheap crap on Temu and phones that mainline social media into everyone's pockets are part of the circus machinery that keeps the population distracted and docile.

Nuking them is unlikely to end well politically.

As others have said, if you want to use tariffs to wage a trade war, you prepare first, so you're not cutting off the branch you're sitting on. You don't create tariffs and then build your factories.

Because you can't. It's just not possible.

But this regime has a shoot-from-the-microphone policy style which is completely irrational and unworkable, and minor considerations like practicality don't figure.

In any case, it's clear the regime is in a race between enforcing its grip on power with martial law (whatever it's going to be called) and political collapse brought about by economic collapse.

It's too early to tell, but if martial law wins, economic collapse on an unprecedented scale will follow.

You can be toxically positive and say that a lot of dead wood needed to be cleared. But in practice that just means whole swathes of the country will turn into Detroit of the 00s, but worse - rotting ghost towns, haunted by the ghosts of those who starved to death.
by ivape | 2025-04-30 21:09:22+00:00
We didn't even have more than one debate this election cycle going over economic policy. I was big Ron Paul fan on foreign relations, but whenever he went into economics you could see his views were just a little nuts. Practical fiscal conservatives were asleep at the wheel on this one.

For those that went through Brexit, can you detail when the larger population realized it was stupid? That's the only pattern I can see the U.S matching at this point.
by janalsncm | 2025-04-30 21:10:03+00:00
This is YoY Q1 for NYC. I’d be curious whether this holds for the first half of the year. Likely no. Bay Area prices are also expected to fall due to market volatility.

I think the reason for this is pretty intuitive: more expensive (NYC/Bay Area) homes are purchased by high income people. And higher incomes are more affected by the stock market because high comps are composed of higher % stock. Someone making 200k might have 20% stock. Someone making 600k might have 50% stock. So a 10% drop in stock market costs the first person 2% of their comp and the second person 5% of their comp.
by palmotea | 2025-04-30 21:10:10+00:00
> Could you share how the left wing politicians fighting for a higher minimum wage, medicare for all, CHIP / WIC, capping prices on insulin, and executing actual programs that create local jobs vis-a-vis the Infrastructure Investment Act is indicative of "not caring about people and telling them they should just learn to code"?

It's pretty simple: collectively, they didn't care enough. Not enough to counter 30 years of neoliberalism, and stuff like "just learn to code" are convenient fantasies to avoid dealing with the problems they were too timid to address.

IMHO, we have Trump because the Democrats are terrible. They had eight f*cking years to change to actually defeat him, once the problem became evident, but they decided to sit on their hands except to fearmonger.
by nitwit005 | 2025-04-30 21:10:51+00:00
I agree we won't see empty shelves, excepting maybe some food items, as if people don't buy things due to the higher price, they'll just sit on the shelves.

I'd caution that no demand is totally inelastic though. The classic example is people not reducing their insulin use if the price goes up, but in actual practice, people absolutely do just that.
by fnordpiglet | 2025-04-30 21:11:04+00:00
I think of Trump as a Sulla like figure - not the guy who ends the republic but who cracks the republic opening the door to someone more calculating - Julius Caesar.

The difference though is the Roman republic had a constitutional order that was implicit rather than explicit. The American constitution and bill of rights is very difficult to change, and the order is fairly explicit. This was intentional with the assumption that even if a Sulla like figure emerges and consolidates power, it’ll revert over time to a liberal humanist republic. The anti federalists examine this in some depth and the scenario we are in was definitely considered carefully. It’s remarkable it took 249 years - but it was 430 years before Sulla seized the dictatorship by declaring emergency powers and cracked the constitutional order of Rome.
by op00to | 2025-04-30 21:11:45+00:00
My totally uninformed opinion only from reading /r/locallama is that the people who love Grok seem to identify with those who are “independent thinkers” and listen to Joe Rogan’s podcast. I would never consider using a Musk technology if I can at all prevent it based on the damage he did to people and institutions I care about, so I’m obviously biased.
by seam_carver | 2025-04-30 21:12:01+00:00
I love eInk. It's so nice to look at compared to normal LCD screens. I got an eInk phone, which is much cheaper than these full sized monitors though.

Here's a video of me reading Hacker News on an eInk phone: https://youtu.be/dvO9ScTdwz8?si=VSjo84qywuq8KHps&t=133
by mcshicks | 2025-04-30 21:12:09+00:00
You can run the model for free on openrouter.ai. I have played around with lean, slowly working my way through mathmatics in lean. I was stuck on this problem in section 3.6

theorem convergesTo_unique {s : ℕ → ℝ} {a b : ℝ} (sa : ConvergesTo s a) (sb : ConvergesTo s b) :

For fun I tried it on the free model on openrouter.ai. Got the answer the first time.

https://leanprover-community.github.io/mathematics_in_lean/m...

Here's the answer just to give you a feel.

by_contra h have h₁ : a ≠ b := h have h₂ : |a - b| > 0 := by apply abs_pos.mpr exact sub_ne_zero.mpr h₁ -- Use the definition of convergence to find N₁ and N₂ have h₃ := sa (|a - b| / 2) (by linarith) have h₄ := sb (|a - b| / 2) (by linarith) cases' h₃ with N₁ h₃ cases' h₄ with N₂ h₄ -- Choose N to be the maximum of N₁ and N₂ let N := max N₁ N₂ have h₅ := h₃ N (by simp [N, le_max_left]) have h₆ := h₄ N (by simp [N, le_max_right]) -- Derive a contradiction using the triangle inequality have h₇ : |s N - a| < |a - b| / 2 := by simpa using h₅ have h₈ : |s N - b| < |a - b| / 2 := by simpa using h₆ have h₉ : |a - b| < |a - b| := by calc |a - b| = |a - s N + (s N - b)| := by ring_nf _ ≤ |a - s N| + |s N - b| := by apply abs_add _ = |s N - a| + |s N - b| := by rw [abs_sub_comm] _ < |a - b| / 2 + |a - b| / 2 := by linarith _ = |a - b| := by ring linarith
by bb88 | 2025-04-30 21:12:29+00:00
Tesla is having a Wile E. Coyote moment. That's when the company has walked off the cliff but the market hasn't responded to it yet.

At this rate, Musk will lose every first mover advantage he had within a couple of years. Maybe he should go on an apology tour saying that ketamine wasn't all it cracked up to be...?
by input_sh | 2025-04-30 21:13:40+00:00
Shorts creators can link back to the full video, assuming both are posted on the same channel. You can't link to someone else's video though.

Also, a channel that posts shorts exclusively needs like 30 million views to be monetized, you're infinitely more likely to reach that threshold creating compilation of cute cat videos than with your own original content (regardless of the niche). I'd be shocked if even 2% of channels earning money from shorts create any original content what so ever.
by leesalminen | 2025-04-30 21:14:00+00:00
My app’s organization is outside the “west”. So in order to complete verification with Google I had to pay some subcontractor of Dunn&Bradstreet almost $500 to get the DUNS. Then I had to get an original certified copy of the organization’s registration from the national registry. Then have an official notarized translation to English and get all that apostilled (another $500 through a service).

Also, Google support refused to tell me what set of documents they would accept. I had to figure it out myself.
by indoordin0saur | 2025-04-30 21:14:20+00:00
Or just use the endowment directly. Quick napkin math says that Harvard could make tuition free for all undergrads for 26 years with what they current have. Originally this money was meant to be spent on education but they just let it grow forever. Some of their hedge fund managers are approaching 8-figure annual compensation packages and I can't help but assume this is part of what has corrupted the university. Citadel LLC has $65 billion AUM, while Harvard has $53 billion while getting special tax-exemptions.
by simpaticoder | 2025-04-30 21:14:37+00:00
I'm not so sure about the author's thesis. One quote alone explains it, "it increasingly appears that humanity is a biological bootloader for digital superintelligence." If indeed Musk believes this, then his actions now matter not at all, except insofar as it either helps or harms the birth of "digital superintelligence". This is a similar "ends justify the means" argument to the "effective altruists" and the general idea to "not miss the forest for the trees", the forest being long-term viability of humanity, the trees being individual well-being.

During peacetime, making such an argument justifies the selfish and destructive action they wanted to take anyway. The framing of the assertion is impossible to make an objective assessment of the success of an action, since such an assessment may take a hundred, or a thousand, years. So really there is no way for anyone to judge whether an act is good or bad in this framework, leaving it only as a matter of judgement of the actor. In this sense, Musk's invocation of Banks is simple megalomania with more steps.
by HarHarVeryFunny | 2025-04-30 21:14:41+00:00
Perhaps, but who's the audience? Trump's 1st term fighting the "fake news" media was popular with MAGA and didn't cost them anything. Fighting rest of world on trade might also be popular in theory "trump being tough!", but will MAGA voters really eat it up if they are personally suffering financially as a result (& they'll be suffering the most since red state incomes tend to be lower than blue state ones).

Of course maybe the audience is Trump himself. He enjoys playing tough guy and could care less about the people who voted him in, or anyone else for that matter.
by mrandish | 2025-04-30 21:14:49+00:00
I think the expression the GP was referring to (which would have been common in 90s workstation vendors selling to engineering/scientific customers) wasn't so much about accounting software specifically as big finance and business systems in general. This would include the high-availability, data center big iron supporting things like transaction processing, inventory and business processes in general. The kind of stuff companies like SAP can sell at $5M a year to one customer with so many modules I'd have trouble even remembering how they all fit into the overall global operations of a F500 firm. IBM and others could make stupid amounts of money selling computers, storage, networking, services and consulting around this stuff (and they still do).

None of that software was "packaged" in the way desktop and workstation-centric people like me think of it and unlikely to be reviewed as products by PC Mag or Infoworld. For example, I had a friend in the 2000s who worked at Intel in "operations" try to explain the project he was working on to me. It was a multi-year, multi-million dollar software module + integration + customization contract with SAP that was focused on tracking, managing, projecting and optimizing Intel's product SKUs, which apparently number in the tens of thousands across variants, versions and geos. I never really got a thorough understanding of what it actually did but it was expected to take five years to implement and hundreds of people across multiple divisions worked hours a day in it and it was 'mission critical'. I asked what would happen at the end of five years and he told me it would certainly run at least a year or two over and then they'd probably start a new contract to work on the next iteration of a system to replace it (because that was, apparently, pretty normal).
by epistasis | 2025-04-30 21:14:57+00:00
If there is a goal for more factories in the US, and it's certainly not clear at all that this is a policy goal of the current US executive branch, there's not a clear route to achieving that goal.

If the factory gets staffed at all, it will be competing in a labor pool in the US that only has 4.2% unemployment. The high employment rates, and inability to find workers during Biden's presidency, led employers to revolt against Biden.

The question is whether those automated factory jobs will be better than other jobs for the workers, whether they will be created in places with the appropriate worker pool (education, unemployment high enough etc.).

There's also the question of whether there's anybody willing to build some new high-cost automated factory when the same capital could be deployed to another purpose that likely has a far higher capital return rate. There's almost zero protection that the impetus for having the expensive highly-automated factory--namely the tariffs--will exist past for most of the life of the factory. Or in fact if they will even be in place by the time that the factory is constructed and ready to go, which will take a minimum of 3-4 years.

All the stars have to align perfectly for some sort of new jobs to appear and then it's not clear that they will be better than existing jobs. And if it does happen, we all suffer from several years of being poorer in the mean time.
by bpodgursky | 2025-04-30 21:15:04+00:00
I'm only going to waste my time on one of these.

> 0, Defendants violated the provisions of Sections 206 and 215(a)(2) by including kitchen staff employees in the tip pool when they are not customarily or regularly tipped employees, thereby invalidating the tip credit.

It was an invalid tip pool, because it included kitchen staff in the pool. So then the feds threw out the tip credit when calculating the effective minimum wage. In fact, there's no evidence at all that the employees actually took home less than $7.25. It's a technical violation, sure, but not evidence to your point at all.

This should have been obvious if you read your own link — do you honestly believe the waitstaff was working for $3/$4 an hour? Come on.
Show HN: Unscanny – an app designed to turn screenshots into actions
by goktugcancakmak | 2025-04-30 21:15:28+00:00
Ever had to manually type out a phone number from a screenshot? Or worse — switch between your photo gallery and WhatsApp just to write someone a message? That frustration led me to build something simple but powerful.

Meet Unscanny – an app designed to turn screenshots into actions.

It all started when I kept seeing local businesses post their phone numbers on Instagram stories. No clickable links, just plain numbers. I had to screenshot, open my phone app, and type the number manually. Even worse, some said “DM us on WhatsApp or Telegram” — again, no links, just text.

So I built Unscanny, an app that: Lets you share a screenshot directly from your gallery Detects phone numbers and emails in the image Gives instant actions like Call, Message on WhatsApp/Telegram, Send Email, or Copy

But I didn’t stop there.

Someone sends you their IBAN as an image? Unscanny detects it and lets you copy it instantly. Need to send crypto and they send their wallet address as a QR code screenshot? Unscanny scans it and gives you the address in one tap.

All the annoying bits — gone.

Available now:

App Store: https://apps.apple.com/us/app/unscanny/id6739267314

Google Play: https://play.google.com/store/apps/details?id=com.goktug.uns...

Built from real pain points. If you've ever typed something you could've just tapped — Unscanny is for you.

Would love to hear your thoughts, feedback, or feature ideas!
by aseipp | 2025-04-30 21:15:41+00:00
When I was working on GHC many years ago OSUOSL helped us by providing us access to some nice POWER7 machines (courtesy of an IBM kernel hacker who recommended and endorsed us) and we used them for years to solve weird issues. I've always thought very highly of the Open Source Lab. I hope someone can help them make it through this.
by danbmil99 | 2025-04-30 21:15:57+00:00
Now that I think of it, if using damped springs, the system would not be reversible. Energy is dissipated through the damping, and the system will increase in entropy and converge on a local energy minimum point.

Another way of looking at it: there are 4 states going in (0 or 1 on 2 pushers) but there are only 2 states of the 'memory' contraption, so you lose a bit on every iteration (like classical Boolean circuits)
by homebrewer | 2025-04-30 21:16:24+00:00
Their main target market are enterprise Java developers, whose intersection with "people who like to program for the joy of it" is close to zero.

Lately they've also been coddling with the VSCode crowd by aggressively pushing the new UI over loud objections of old loyal users.

Either one seems like direct opposite of the hacker user you're mentioning.
by zmmmmm | 2025-04-30 21:16:43+00:00
Sounds like there are a range of reasons, but the bigger picture explanation is : Google no longer cares about incentivizing apps to be on the store.

The mobile OS wars are over: every company and dev that wants to do anything is locked into having to provide an Android and iOS app no matter how difficult it is, so all the incentives are for Apple / Google to insulate themselves from risk now by raising the bar on devs.

We need to start exercising the minimal rights / capabilities to ship alternative app stores on these platforms. Easier said than done.
by chc4 | 2025-04-30 21:18:04+00:00
Going for the pipe spray is a kinda weird technique, and I'm honestly surprised that it worked. Usually just the fact that you are able to spray over the allocation at all isn't enough, and you also have to worry about your sprayed data containing additional pointers or things that also have to be valid.

I probably would have gone for turning the UaF into an type confusion style attack: if you spray more sockets you'll end up with two files, the original and the new one, that have aliased sk members, but the vsock code will incorrectly cast the new one to a `vsock_sock`. From there you can probably find some other socket type that puts controllable data over some field that vsock treats as a pointer or vice versa, and use it as both a kaslr leak and data-only r/w primitive.
by TheOtherHobbes | 2025-04-30 21:18:42+00:00
Europe specialises in high-value manufacturing - aerospace, precision tools and machinery, some pharma. China has been trying to enter those markets, but not with great success.

China is much better at components, consumer items, and mid-weight machinery.

The EU also sells a lot of food, including staples like pasta, and also niche/prestige branded foods, some with localised brand name protection. (Like balsamic vinegar from Modena.)

They're not really competing markets. The auto industry is one of the few sectors with direct competition, and the EU is working on setting minimum prices instead of tariffs.
by Timon3 | 2025-04-30 21:18:52+00:00
This has also been my experience. Every update brings new weird bugs that disrupt my workflow - it's gotten bad enough that I've stopped updating their tools when the bugs aren't in main parts of my workflow, because while updates may fix those, they are sure to introduce even worse ones. And it's not like I'm doing crazy stuff, for a while even copying text made a "Copying..." dialog pop up and freeze the editor for a while.

Unless something drastically changes, I won't be renewing my license anymore. I don't like VS Code, but it's been much more reliable than the Jetbrains tools I use.
by arghwhat | 2025-04-30 21:18:55+00:00
Going through hoops usually refer to an excessive effort.

Having to go through between zero (it you have needed the number before) and one free forms from a standard entity to get a widely recognized identifier used for many things is objectively not an excessive effort.

Sharing apps on app stores is a continuous commitment with various responsibilities like, such as ensuring safety of users through regular maintenance. If the idea if submitting one number is too much of a burden given the joy/finances you get out of it, then the rest of the maintenance responsibilities likely are too and maybe it's better to skip the publishing part.

Not sure what you're on about with corporate colonization. Colonizing implies forcefully taking what was rightfully someone elses. Also, in many places, making a company is just a form and standard practice even if you're just going to sell a single bogus app for 0.99 USD or whatever, so even individuals will be "corporations".