MurphyA/hacker-news huggingface dataset:
by MDWolinski | 2025-05-01 01:50:17+00:00
By this logic, we should be putting a higher tax on commercial vehicles then. Except the proposed bill exempts commercial vehicles, so...

In Virginia, I pay a lot higher rate for my EV than my wife does for her ICE vehicle. Which, I agree with another comment that I may be paying more than if I was paying the gas tax, but I understand the reason for it and don't have a problem paying for it. That being said, VA does have a program in place for the rate to be based on "use" (or mileage), but I haven't fully investigated that yet.

I wouldn't have an issue with a more Use based kind of tax for ALL vehicles as long as the money is specifically keyed to infrastructure (ie roads) spending and not a pot of gold for other programs to take from.

However, where this proposed bill really grinds my gears is that they're proposing having it pegged to inflation, which seems no problem for them to do, yet they haven't figured out how to peg the Minimum Wage to inflation yet, so...
by magicalhippo | 2025-05-01 01:50:21+00:00
Simply making the goods pass through a third country does not change the origin of the goods, and it's the origin which determines the tariff.

So, as the article mentioned, the goods has to be significantly transformed in the third country in order for the goods to have its origin changed. Otherwise you're committing fraud and customs can punish you if they figure it out.

Thus doing this the legal way would indeed involve more than the ship making a simple detour.
by to11mtm | 2025-05-01 01:50:25+00:00
When a company builds the moat too high (i.e. restrictions on external sub signups) it becomes monopolistic.

Apple is honestly worse than Microsoft in so many ways as far as restrictions (nowadays, anyway) and yet it's taken this long even to get here.

(To be clear, I am not a fan of Google's actions in the mobile space either...)
by anenefan | 2025-05-01 01:50:32+00:00
In the long run, not on an individual level but as a sum of the population - 100% worse off for it. Not so much dumbing people down or as smart directly, mostly via being mislead, misdirected or misinformed by what most of the news information the majority will get, designed more to herd those relying on it towards a certain narrative / consensus as per those behind the scene.

This of course happens presently but to a smaller extent, last 4 decades at least with those attaining position that feedback loops or whatever data suggested they didn't really need to have a population educated higher than the position they might end up at, and with narratives on other agendas eg [1] pushed that much of the population just accepts that's the status quo.

[1] The most striking example I can think of, any time vegetable oil for fuel is mentioned in the news, almost without exception people will think biodiesel and the issues that might arise with certain engines. The reality is we never read much about cracking that oil into regular fuels as the industry presently does with some fractions of crude oil - I've only seen it mentioned it in one book, but it was IIRC written specifically for the petroleum industry in mind.
by theevilsharpie | 2025-05-01 01:51:30+00:00
> The Dems, because deep down they'd rather have the GOP over real progressives. Decided to rig it for Hillary again in 2016. Sanders had an actual base, but the DNC didn't want him to win.

Sanders was a candidate in the Democratic primary (which is already a significant accommodation, with Sanders not even being a member of the Democratic party), and was strongly rejected by Democratic voters -- twice.

The constant whining from Sanders fans about the DNC is simply annoying, and is basically the same conspiratorial thinking that MAGA adherents display when they complain about the "deep state".
by idiotsecant | 2025-05-01 01:51:41+00:00
If your point is that buying many things can add up to be expensive...yes? At what price point would you stop saying that is true? If it's 2 dollars someone would be listing all the things they buy for 2 dollars that add up to get expensive. Let's leave out the price of all our only fans subscriptions and consider the thing we're talking about
by jerf | 2025-05-01 01:51:59+00:00
I had this problem recently, in logging email subjects into something that has a defined byte limit size. I went for iterating on graphemes and fitting as many complete graphemes into the bytes as I could, and then stopping. The idea is, don't show broken graphemes and fit as much as I can.

This approach probably solves most programmer problems with length. However if this has to be surfaced to an end-user who is not intimately familiar with the nature of Unicode encodings, which is, you know, basically everybody, it may be difficult to explain to them what the limits actually mean in any sensible way. About all you can do is maybe give vague hints about it being nearly too long and avoid being precise enough for there to be a problem. There doesn't seem to me to be a perfect solution here, the intrinsic problem of there being no easy to explain the lengths of these things to end-users and no reason to ever expect them to understand it seems fundamental to me.
by pabs3 | 2025-05-01 01:52:18+00:00
Most of Debian's infra is elsewhere, but OSU does host a backup server, logs server, a bugs.d.o frontend, POWER/MIPS/HPPA/RISC-V build/porting servers.

https://db.debian.org/machines.cgi

Similarly, I assume RedHat hosts most of Fedora's infra and OSU does POWER/IBM Z stuff for them.
by LegionMammal978 | 2025-05-01 01:52:52+00:00
I'd imagine by the time your program's security is critically reliant on ASLR and process-level sandboxing, you're already in deep trouble, since any given minor update may turn existing holes into viable exploits. It will only slow down the rate of attacks at best.

The lesson I'd take here is "don't embed a web browser to run untrusted code unless you can keep it up to date 24/7". Hence the popularity of Lua interfaces for mods. Or even the alternative JS engines built for such purposes.
by pixl97 | 2025-05-01 01:53:04+00:00
There are 2 hard things in computer science. Naming things, cache invalidation, and off by one errors.

'Some' of this makes sense but not all of it.

For example let's imagine a linux password system that let's you take a system offline and still use it. You have to cache the password locally and if it doesn't connect to the online system where the password has changed then the old password will still work.

With that said you should also design the system to invalidate the cached password from upstream when it gets a notification it changed.
by dataviz1000 | 2025-05-01 01:53:16+00:00
Here is the tippy top of my copilot-instructions.md file

```

# Copilot Instructions

## Prompts

### General Coding

- *Boyd’s Law of Iteration: speed of iteration beats quality of iteration*: First and foremost, break every problem into smaller atomic parts. Then make a plan to start with one small part, build it, give the user an opportunity to run the code to quickly check the part works, and then move on to the next part. After all the parts are completed independently, check that they all work together in harmony. Each part should be minimal.

```

With any big problem the LLM responds first with ..... Body's Law of Iteration ..... and proceeds to break the problem into smaller parts.

I've discovered keeping file size under 300 or 400 lines helps. The AI is great at refactoring.
by jshen | 2025-05-01 01:54:46+00:00
Republicans just voted against legislation to stop this nonsense. The only remedy is to convince people to vote against this party. the problem is that people identify as Republican and see Democrats as something that goes against the core of their identity. Most people don't follow politics closely and it will take a LOT to get them to wake up.

My ray of hope is that the full effect of these dumb policies have not really hit yet outside of the stock market. Once they do hit, hopefully it wakes up enough of them. The argument for pessimism is that many people convinced themselves that covid was fake and that the vaccines were some kind of conspiracy, so even when their own life was on the line, they chose ignorance tot he point that many people lay dying in the hospital in denial that covid was killing them.

Stories that create identities in peoples mind are a hell of a drug.
by malisper | 2025-05-01 01:55:29+00:00
> Also, ARC AGI reported they've been unable to independently replicate OpenAI's claimed breakthrough score from December

Can you elaborate on this? Where did ARC AGI report that? From ARC AGI[0]:

> ARC Prize Foundation was invited by OpenAI to join their “12 Days Of OpenAI.” Here, we shared the results of their first o3 model, o3-preview, on ARC-AGI. It set a new high-water mark for test-time compute, applying near-max resources to the ARC-AGI benchmark.

> We announced that o3-preview (low compute) scored 76% on ARC-AGI-1 Semi Private Eval set and was eligible for our public leaderboard. When we lifted the compute limits, o3-preview (high compute) scored 88%. This was a clear demonstration of what the model could do with unrestricted test-time resources. Both scores were verified to be state of the art.

That makes it sound like ARC AGI were the ones running the original test with o3

What they say they haven't been able to reproduce is o3-preview's performance with the production versions of o3. They attribute this to the production versions being given less compute than the versions they ran in the test

[0] https://arcprize.org/blog/analyzing-o3-with-arc-agi
by isaacphi | 2025-05-01 01:55:37+00:00
Super interesting! I'm also working on something related to MCP and LSP: https://github.com/isaacphi/mcp-language-server it's an MCP server that runs a language server.

Do I understand this properly, you're building a telemetry tool for MCP similar to your telemetry tool for LSP, or is it something else?
by snapplebobapple | 2025-05-01 01:55:43+00:00
Yah, I personally don't think fiscal multiplier is a great measurement because it pushes you towards thinking about government spending in a couple of wrong ways. First of all, it's not correct to say government spending is good because it causes an increase in national income greater than the spending. The correct comparison is to what would have happened without the spending and it's both hard to figure out and not very clear that the government spent that money better than had the left it alone and the populace deployed their own cash/didn't adjust their own capital deployment to account for the extra debt the government took on in their name. This leads to the second problem with it and that's that the next thing someone who likes this measure will say is "the spending is exogenous" which is neither true or a good model of reality.

Also, looking at your paper I see the estimate range has 1 in it in all cases so I question the actual correctness of your statement. If one is in the likely range of effect you can't say spending is stimulating additional anything.
by ivape | 2025-05-01 01:55:49+00:00
https://news.ycombinator.com/item?id=35891362

People that grind leetcode all the way to faang are loaded. You have any idea how many people I've seen with dilated pupils in the office? Unfortunately for OP, he/she will have to roll with this crowd because that's just the truth, there's nothing they will be able to change about that reality.
by kryogen1c | 2025-05-01 01:56:10+00:00
I'll take a look at this tomorrow, but it seems like a security researcher angling for a bug bounty.

Cached local credentials and saved rdp credentials have existed for a long time and both have gpo settings to modify/disable - you just don't do it because no caching requires some kind of sase/ always on vpn, etc. I think most systems have disallowed rdp credential saving for years.

Furthermore, how does one connect to the domain with an invalid password? I'm inclined to think this was tested on a workgroup and not a domain. If you go long enough your trust tombstones and you lose all access anyway, cached and saved or not.
by NiloCK | 2025-05-01 01:56:28+00:00
With respect to model access and deployment pipelines, I assume there are some inside tracks, privileged accesses, and staged roll-outs here and there.

Something that could be answered, but is unlikely to be answered:

What was the level of run-time syconphancy among OpenAI models available to the White House and associated entities during the days and weeks leading up to liberation day?

I can think of a public official or two who are especially prone to flattery - especially flattery that can be imagined to be of sound and impartial judgement.
by sepositus | 2025-05-01 01:56:30+00:00
> All while their tools that developers _have_ to use are buggy and often nigh unsusable (Apple Connect....).

I'm moving to a job where I don't have to be the build/devops engineer for a product with an iOS app. To say I'm relieved wouldn't even be the half of it. What made it particularly worse was that our release cycle was every two months which is just enough time for Apple to completely wreck the build.

Absolutely terrible experience.
by Nevermark | 2025-05-01 01:57:25+00:00
I like the idea of civil judgements that require responsible individuals to remove themselves from the company. And void any forward looking renumeration in their contracts.

Personal fines too, such as returning past remunerations during the problematic time in question. Salaries. Stock grants.

There is no such thing as an incentive, that doesn't incentivize someone. Relatively small fines relative to revenues and profits don't incentivize anything.

Alternatively, if fines really were big enough to turn large companies around (i.e. not just the enforced, but other companies seeing the enforcement), heads would roll, but would they be the right ones given those in charge are unlikely to fire themselves? And shareholders are the ones really paying the fines, are they really the culprits?

The incentives to act in good faith, should be placed very directly on the individuals whose choices dictate the good/bad faith. Starting and staying largely with the CEO, and the direct line of reports from the CEO down to the relevent decisions.

You don't want anyone who mattered to have cover. You want CEO's policing their own, and their reports pushing back upward against poor directives.

The only cover for relevent actors would be a record of pushing back against those who pushed through poor behavior.

TLDR: Limited liability should protect non-managing shareholders, but not bad actors within a company. Decisions makers should always be held directly responsible for their decisions. Any other system is perverse.
by crote | 2025-05-01 01:58:28+00:00
Easy: because DC voltage conversion is way harder.

You can't really build a "grid" out of HVDC, because you can't easily convert between what the solar plants produce (a few hundred volts), what the local distribution grid needs (a few thousand volts), and what is needed to get that power across the country (tens of thousands of volts). On the other side you need to convert back down to a city-level distribution grid, down to a street-level distribution grid, and in your home down to whatever your equipment needs.

DC-DC conversion is significantly more expensive, more failure-prone and less efficient than AC-AC conversion. Why bother with a bunch of expensive active electronics when a simple transformer can do the job even better? Besides, who's going to pay to retool the entire country? Just because a solar panel produces DC and your computer needs DC doesn't mean it's viable to use DC for the entire chain.

HVDC is excellent for long-distance transmission lines, especially when power almost always flows in a single direction. Want to hook up a solar plant in the desert to an urban area 1000km away? Use HVDC! Replacing the entire grid grid with it? Probably not the best idea.
by clamchowder | 2025-05-01 01:59:28+00:00
It does clock ramp from 800 MHz idle to 3.2 GHz under load, with 900, 1000, 1100, 1300, 1500, 1800, 2200, and 2700 MHz steps in between until it hits 3.2 GHz after 71.6 ms. Article was getting long enough so I just left it at, it reaches 3.2 GHz and stays there even though the spec sheet says it should go higher.

I remoted into the system for testing (Cheese/George had it), and he said it took 3-4 cold reboots for it to come up, and suspected memory wasn't training correctly. So I did all the testing without ever rebooting the system, because it might not come back up if I tried.
by WalterBright | 2025-05-01 02:01:16+00:00
> My point is entirely that the more money the rich have, the less money the poor have.

I'm curious how Google/Microsoft/Apple/Amazon/Netflix/etc have transferred money out of your bank account to their hoards.

Personally, I've transferred money to them, but only for things I wanted to buy from them and thought was worth the money.
by refulgentis | 2025-05-01 02:01:23+00:00
grep "As seen above, Phi-4-mini-reasoning with 3.8B parameters outperforms models of over twice its size."

re: reasoning plus, "Phi-4-reasoning-plus builds upon Phi-4-reasoning capabilities, further trained with reinforcement learning to utilize more inference-time compute, using 1.5x more tokens than Phi-4-reasoning, to deliver higher accuracy.", presumably also 14B
by magicalhippo | 2025-05-01 02:02:20+00:00
Assuming it's not wildly different over there in the US, goods must be declared when the goods is at the border if you wish to use or transfer the goods, and tariffs must be paid. For a ship this will be the port, at least that's how it is here.

Alternatively you can put the goods in a bonded warehouse[1], and leave it there until you wish to use it or transfer it to someone else. It's not free, but it allows you to postpone the declaration, and hence payment of tariffs, until you take the goods out of the bonded warehouse.

Typically a bonded warehouse requires physical security, paperwork and a bank guarantee to prevent goods disappearing, so it isn't free to keep goods there.

[1]: https://en.wikipedia.org/wiki/Bonded_warehouse
by Keyframe | 2025-05-01 02:03:17+00:00
No, you didn't read that wrong. It does seem like intention is that individuals cannot publish (publish, not write) software for playstore if they cannot operate as a business; Individuals actually can operate as a business as a sole proprietorship aka soleprop which can and do have a DUNS number and is a legit way of doing business. Individuals without any sort of business entity attached to them do not get a DUNS number attached to them.
by crackedbassoon | 2025-05-01 02:03:33+00:00
> I would have much rather liked an appeal to the public showing data and analysis of what all of that science funding has accomplished for the people paying for it.

Literally from the article:

As one measure of its impact, the NIH supplied funding that contributed to more than 99% of drugs approved in the United States from 2010 to 2019
by johngai | 2025-05-01 02:04:04+00:00
We’ve been using Barawave for the past 3 months to manage our small but growing business — and honestly, it’s replaced a ridiculous amount of software we were duct-taping together before.

I’m usually skeptical about “all-in-one” platforms, especially ones that promise AI this and AI that. But Barawave has actually lived up to the hype — combining CRM, invoicing, task management, automation, and even AI-powered assistance in one place.

What we used to juggle:

HubSpot for CRM

Trello for task management

QuickBooks for invoicing

Notion for documentation

Zapier for automation

Google Sheets for reports

And Slack/email chaos in between

Now it’s just Barawave — and it’s honestly saving us hours each week. The AI features help with task assignments, writing emails, summarizing leads, and automating reminders. It’s like having a part-time operations manager baked into the system.

It’s not perfect — a few UI quirks and I’d love deeper third-party integrations — but their support has been fast and the roadmap looks promising.

If you’re running a small agency, SaaS startup, or just tired of tool overload, it might be worth a look: barawave.com

Happy to answer any questions about our use case or workflow.
by const_cast | 2025-05-01 02:04:17+00:00
Because "forcing it" makes sure it actually gets done and people get the benefit.

The thing about safety nets is they actually have to be, you know, safety nets. If you can just avoid them then they don't provide any safety. Look at SS. If we just get rid of SS, then we're fucked. It's true other investments exist and are better. But that's not the whole story. People won't invest, so we have to force them. Otherwise, they suffer, and we suffer, too, because ultimately we don't want dead geriatric bodies piling up on the streets.

The idea of fluoridated water is it's a safety net. So even the poorest, most mentally-ill among us have a baseline guarantee of dental health. And, for that purpose, it's extremely effective.
by csdvrx | 2025-05-01 02:05:41+00:00
Is anyone here using phi-4 multimodal for image-to-text tasks?

The phi models often punch above their weight, and I got curious about the vision models after reading https://unsloth.ai/blog/phi4 stories of finetuning

Since lmarena.ai only has the phi-4 text model, I've tried "phi-4 multimodal instruct" from openrouter.ai.

However, the results I get are far below what I would have expected.

Is there any "Microsoft validated" source (like https://chat.qwen.ai/c/guest for qwen) to easily try phi4 vision?
by umbra07 | 2025-05-01 02:05:47+00:00
Yes, but:

1. It's disabled by default. You have to dig around in your phone's settings to enable APK installations, and APK installations through the specific app you prompted the installer from. And if the developer hasn't updated the app for recent versions of Android, Google will throw up a antivirus-esque "warning this app is unsafe blah blah" prompt.

2. You can't automatically update an app if you manually installed it through an APK. There are apps that can kind of do this (automatically download APK from source website on new release, notify user). But that's clunky and not suitable unless your audience is FOSS-land. Oh, and the user still has to manually click the install button for each app they update this way. No silent updates unless you're rooted.

This makes the distribution of apks through your own processes wholly unviable unless your app is mandatory for your users (I. E for work/school), or your user base is Android FOSS enthusiasts - who probably prefer that you use F-Droid (3rd party FOSS appstore) anyways