MurphyA/hacker-news huggingface dataset:
by petralithic | 2025-08-08 07:44:34+00:00
ElectricSQL and TanStack DB are great, but I wonder why they focus so much on local first for the web over other platforms, as in, I see mobile being the primary local first use case since you may not always have internet. In contrast, typically if you're using a web browser to any capacity, you'll have internet.

Also the former technologies are local first in theory but without conflict resolution they can break down easily. This has been from my experience making mobile apps that need to be local first, which led me to using CRDTs for that use case.
by magicalhippo | 2025-08-08 07:45:05+00:00
Here's a more concrete example where GPT-OSS 20B performed very well IMHO. I tested it against Gemma 3 12B, Phi 4 Reasoning 14B, Qwen 2.5-coder 14B.

The prompt is modeled as a part of an agent of sorts, and the "human" question is intentionally ill-posed to emulate people saying the wrong thing.

The prompt begins with asking the model to convert a question into matlab code, add any assumptions as comments at the start of the coder, or if it's not possible then output four hash marks followed by an reason why.

The (ill-posed) question is "What's the cutoff frequency for an LC circuit with R equals 500 ohm and C equals 10 nanofarrad?"

Gemma 3 took the bait and treated R as L and proceeded to calculate the cutoff frequency of an LC circuit[1], completely ignoring the resulting mismatch of units. It did not comment at all. Completely wrong answer.

Qwen 2.5-coder detected the ill-posed nature, but instead decided to substitute a dummy value for L before calculating the LC circuit answer. On the upside it did add the comments saying this, so acceptable in that regard.

Phi 4 Reasoning reasoned for about 3 minutes before deciding to assume the question is about an RC circuit. It added this as a comment, and correctly generated the code for an RC circuit. So good answer, but slow.

GPT-OSS reasoned for 14 seconds, and determined the question was ill posed, thus outputting the hash marks followed by The cutoff frequency of an LC circuit cannot be determined with only R and C provided; the inductance L is required. Good answer, and fast.

[1]: https://en.wikipedia.org/wiki/LC_circuit#Resonance_effect
Ask HN: GPT-5 still needs a second nudge for calculation?
by chandlertsien | 2025-08-08 07:46:51+00:00
Tried asking GPT-5 to calculate: 356181.267*(12+572)/2-6752

First reply used reasoning mode and got it wrong. Only after I said “use external calculator” did it manage to use Python code to get the right answer.

Why doesn't it automatically switch to the calculator for basic math now in late 2025? Design trade-off, or something else?
by LaghZen | 2025-08-08 07:46:56+00:00
You’re right — the paper does not currently contain an explicit theorem stating, word-for-word, that “every polynomial-time Turing machine is mapped to a low-rigidity region.”

In section C.4, at the end of step 4, there is a statement: the Hessian spectrum creates obstacles for polynomial algorithms in certain places, which can be interpreted as areas of high rigidity. However, it does not explicitly state that algorithms never enter these areas, but only highlights their difficulties. I agree that this is not written down as the only explicit lemma of the form you asked for.

I can add an explicit lemma to the appendix, which will specify in the required form the property that polynomial-time algorithms never fall into areas with high rigidity, and I will update the preprint. Meanwhile, the existing material (Thm. 2.5, Thms. C.1/C.4, App. F.4, Thm. E.1) contains ingredients that substantiate the claim; the new lemma will make this reference explicit.

If you want, I can update the preprint soon and report back with the precise lemma number and page.
by hiAndrewQuinn | 2025-08-08 07:47:27+00:00
US-EU transplant here. No, the United States does not have anything even vaguely similar like this. Seriously putting forward the idea of an exit tax on anyone who owns more than 1% of any LLC worldwide would in all likelihood be deeply politically unpopular. It goes against the very name and spirit of a limited liability company, for one. For two (real ballpark number here) about 1 in 10 Americans would actively be subject to a German style exit tax like this, concentrated among working adults.

You're probably instead thinking of income tax, which the US does levy worldwide contrary to virtually every other nation on Earth and is, I can tell you from personal experience, not fun. There is a a much narrower exit tax for US citizens who wish to actually give up their citizenship outright (not just move out) but that generally only comes into play for anyone with $2 million or more in net worth, and exists probably to discourage tax evasion, to my understanding. There is truly nothing remotely like the "you have to pay us if you own 1% of any LLC anywhere and move out" approach Germany has.
by ozgung | 2025-08-08 07:48:08+00:00
I asked GPT5 directly about fake system prompts.

> Yes — that’s not only possible, it’s a known defensive deception technique in LLM security, sometimes called prompt canarying or decoy system prompts.

…and it goes into details and even offers helping me to implement such a system. It says it’s a challenge in red-teaming to design real looking fake system prompts.

I’d prefer “Open”AI and others to be open and transparent though. These systems become fully closed right now and we know nothing about what they really do behind the hidden doors.
by jjav | 2025-08-08 07:50:04+00:00
> all for less than the price of RAV4 Hybrid

Can't recommend enough this approach of multiple older cars. Between the extremely high cost and steep depreciation new cars make no sense unless you're so rich money is not a consideration.

I have multiple sports cars (all over 30 years old), a truck for towing and utility (over 20 years old), a minivan for kid and family duty (~15 years old). All that together is cheaper than a single new car. And having bought them depreciated, the value barely goes down. In fact a couple of the sports cars are appreciating now, worth more than my cost.
by BLKNSLVR | 2025-08-08 07:50:55+00:00
I've got basically raw internet coming in to my OPNSense device, although I had to request certain ports to be removed from the ISP's by-default-blocked policy, since I host a mail server - but the ISP is fine with this, they have a form for it, super easy.

Some family members are behind CGNAT, and I'm not sure if their ISP has the option to move out from behind that, but since they don't self-host it's probably slightly more secure from outside probes. We're still able to privately share communications via my VPN hub to which they connect, which allows me to remotely troubleshoot minor issues.

I haven't looked into cloudflare tunnels, but haven't felt the need.
by qwertox | 2025-08-08 07:51:14+00:00
> I cut a hole in the side of a small UPS so I could connect it to a larger (car) battery for longer uptime

Can you share more about this? I have a APC Back UPS PRO USV 1500VA (BR1500G-GR) and it would be nice to know if this is possible with that one as well.
by rpcope1 | 2025-08-08 07:51:23+00:00
I've never seen anything but problems with keyless ignitions. It really seems like a solution in search of a problem no one actually had, and makes the car much more irritating. I guess it's in line with the whole remove real controls and buttons crap because "muh software", "muh reprogrammable interfaces" etc that certain nerds think is a good idea for who knows what reason.
by incorrecthorse | 2025-08-08 07:51:24+00:00
> For the uninitiated, Linear is a project management tool that feels impossibly fast. Click an issue, it opens instantly. Update a status and watch in a second browser, it updates almost as fast as the source. No loading states, no page refreshes - just instant, interactions.

How garbage the web has become for a low-latency click action being qualified as "impossibly fast". This is ridiculous.
by originalcopy | 2025-08-08 07:52:35+00:00
> I'd also question how you know that ants have zero knowledge of what they do. At every turn, animals prove themselves to be smarter than we realize.

Sure, one can't know what they really think. But there are computer simulations showing that with simple rules for each individual, one can achieve "big things" (which are not possible to predict when looking only to an individual).

My point is merely, there is possibly interesting emergent behavior, even if LLMs are not AGI or anyhow close to human intelligence.

> To your interesting aspect, you're missing the most important (IMHO): accuracy. All 3 are really quite important, missing any one of them and the other two are useless.

Good point. Or I would add alignment in general. Even if accuracy is perfect, I will have a hard time relying completely on LLMs. I heard arguments like "people lie as well, people are not always right, would you trust a stranger, it's the same with LLMs!".

But I find this comparison silly: 1) People are not LLMs, they have natural motivation to contribute in a meaningful way to society (of course, there are exceptions). If for nothing else, they are motivated to not go to jail / lose job and friends. LLMs did not evolve this way. I assume they don't care if society likes them (or they probably somewhat do thanks to reinforcement learning). 2) Obviously again: the scale and speed, I am not able to write so much nonsense in a short time as LLMs.
by throw-qqqqq | 2025-08-08 07:53:24+00:00
> Or does the US police busts loud parties gun blazing in general?

Nah, but lots of these parties have kids below than 21 (or whatever the legal drinking age is). So they get fined or arrested if caught so they leg it.

A friend attended a Chicago-suburb high school for a year (exchange student). Said he had to run from cops at private parties about a handful of times in that year, and that it was pretty normal in his group.
by hiAndrewQuinn | 2025-08-08 07:53:53+00:00
Because it shouldn't come with the same compensation as any other day job.

Let's say you can make $80,000 as a hairdresser. You are seriously proposing that someone who takes all of the risk of

* Renting their own hair salon,

* Building up their own clientele,

* Taking out loans to purchase hair dressing equipment, and

* The thousand other things the business owner has to do in addition to actually dress hair themselves,

should walk away with the same amount we the person who just gets hired to dress hair.

No one would ever start a legal business under such a regime. It's all downside! Which is why you never see people actually owning and running businesses (successful ones at least, and most unsuccessful ones too) with the mindset you describe.
by bargainbin | 2025-08-08 07:54:49+00:00
It was ridiculous but I think it’s important to note it was a jury trial:

1) They had a musician come in and deconstruct the songs, and she showed that many of Blurred Lines elements copied the “rhythm” and “feel” of the sheet music, not the master recording.

2) Robin Thicke said in an interview he told Pharrell they should make something with the groove of Got To Give It Up.

As a non-musical person in a jury, those points are convincing enough that there was intent to copy the song even if the final song is clearly different. Though, it should never have been down to a jury and judge to decide.

Even more hilarious, a couple of years ago the Gayes tried to sue Pharrell because of an interview where he mentioned again Got To Give It Up was inspiration for Blurred Lines. Luckily that failed, but they definitely have it in for Pharrell it seems.
by Yizahi | 2025-08-08 07:54:54+00:00
This ends USA, full stop. Not this particular executive order, but his orders in general. It's been half a year and that orange turd has completely overtaken USA legislative branch with this "economic emergency", while bobbleheads in the Congress just signed it away voluntarily. And now he is taking preliminary shots at the judicial branch, trying to eradicate judges who aren't bending the knee. All the while testing through his minions if it would be possible to tear down constitution too and remain in power permanently.
by vladvasiliu | 2025-08-08 07:57:52+00:00
I don't know about fanless, especially with an i5 as opposed to n-something.

But not all those minis are the same. G4 (intel 8th gen) and G5 (intel 9th gen) HPs are horrendous. The fan makes an extremely aggravating noise, and I haven't found a way to fix it. Bonus points for both the fan and heatsink having custom mounts, so even if you wanted to have an ugly but quiet machine by slapping a standard cooler, you couldn't.

G6 versions (intel 10th gen) seem to have fixed this, and they're mostly inaudible on a desk, unless you're compiling something for half an hour.
by mkotlikov | 2025-08-08 08:00:20+00:00
Models tend to prefer output that sounds like their own. If I were to run these benchmarks I would have:

1) Gemini 2.5 Pro rank only non-google models 2) Claude 4.1 Opus rank only non-Anthropic models 3) GPT5-thinking rank only non-OpenAI 4) Then sum up the rankings and sort by the sum.
by camgunz | 2025-08-08 08:00:35+00:00
This metric has obvious problems, but 120/134 of YC's S25 batch are AI-based [0]. 90% is, I guess, better than 98%, but woof. So, depends on what you mean by "thriving", but if diversity factors in there at all then at least YC is proving you wrong.

[0]: https://www.ycombinator.com/companies?batch=Summer%202025 (search for "AI" and it gives 120)
by logicchains | 2025-08-08 08:00:57+00:00
>They are failing to recognize that their business is successful in large part because of the infrastructure in their country, the educated people they can hire, the healthcare, etc

Empirically that seems to be false, given the number of successful businesses created in Europe in the past couple decades is way way less than in the US or China, even though Europe has better infrastructure, education and public healthcare.
by kingstnap | 2025-08-08 08:01:13+00:00
It's widely accepted because it's cheap, but LLMs aren't really good judges.

It's supposed to leverage a "generate vs. critique" gap in skill level as a form of self-improvement. It's easier to judge how good food is vs. make it.

But here's the thing. When it comes to code review, you need to be effectively as skilled as the person who wrote it. There isn't really a gap.

And then the real clincher is this. LLMs naturally have a skill gap between their judgement and generation skills as is. The reason is that they have superhuman pattern matching and memorization ability. They can use their memorized patterns as a massive crutch for their actual reasoning skills, but they can't do the same for judgement calls in code review.
by rpcope1 | 2025-08-08 08:01:47+00:00
Automotive ignitions barring a few stupid setups in the 90s like the Jeep XJ (which was laughably easy to steal, but it was Chrysler and AMC so you can just expect certain levels of incompetence and shit design) have been much more than just a simple cut key. Going back to even the 80s, GM had a mostly excellent simple theft deterrent in the keys (a special resistor whose value the ECM knew, called passkeys) that made it harder than just brute forcing the ignition cylinder. It honestly made stealing someone's thirdgen or corvette a lot harder. Keys with things like fobs have evolved since and on a car with a real key made since the vast majority of this sites userbase was probably born is going to take some real specific smarts and work if you need both a physical key and whatever additional security the manufacturer has cooked into the fob. You really need an immobilizer system that requires both a transponder and a correct cut key for the security on the car to be decent.
by BlindEyeHalo | 2025-08-08 08:02:19+00:00
At the heart of the P vs NP problem lies the observation that solution verification seems to be much easier than solution generation. If that applies in this context is another question but I think it is not unreasonable to assume that the judge needs to be less powerful than the performer.

Or in other words, I don't need to be a chef myself to decide if a meal is good or not.
by nroets | 2025-08-08 08:02:20+00:00
Correct. While the original KeeLog cipher is most likely no longer secure, Microchip moved on to AES.

KeeLoq is also used for garage door openers.

Some KeeLoq receivers have a "learning mode" where it adds the next KeeLoq transmitter it hears provided it uses the same manufacturer key.

Learn mode is activated either with a button often on the PCB or with a "master" transmitter.

https://en.wikipedia.org/wiki/KeeLoq
by pavlostze | 2025-08-08 08:03:33+00:00
Support for custom PDS domains – Huge thanks to @spookalucca.games & @transrights.northsky.social for reporting & helping me resolve it! Likes Timeline: You can search within liked posts

Download: Android: shorturl.at/4OzwT iOS: shorturl.at/NFhy6

Thanks for your support!
by zevon | 2025-08-08 08:04:21+00:00
With their canes, sound and tactile information, for example. I'm sure you've seen visually impaired people around and about on their own, no?

Great to see that Touch Mapper is being developed and maintained actively. I've used it (I think - maybe it was something similar) years ago together with a blind student and it was very helpful for them.
by BLKNSLVR | 2025-08-08 08:05:07+00:00
That UPS eventually died, and I'm not sure if it was because it was hooked up to a larger battery than it was designed for, but it's still only 12 volts so I don't think the electronics would notice. What they may notice is extended run-time in the event of a power failure.

It was a crude mod. Take the cover off and remove the existing little security alarm battery, use tin snips to cut a hole in the side of the metal UPS cover (this was challenging, it was relatively thick metal, I'd recommend using an angle grinder in an appropriately safe environment far away from the internals of the UPS), and feed the battery cables out through the hole. I probably got some additional cables with appropriately sized terminations to effectively extend the short existing ones (since they were only designed to be used within the device). And then connect it up to a car battery.

Cover any exposed metal on the connectors with that shrink rubber tubing or electrical tape. Be very careful with exposed metal around it anywhere, especially touching the RED POSITIVE pole of the battery. Get a battery box - I got one for the big-ass AGM battery.

Test it out on a laptop that's had it's battery removed or disconnected that, just in case, you don't care too much about losing.

Get a battery charger that can revive a flat battery, and do a full refresh/renew charge on the car battery once a year or after it's had to push through a power outage that may have used more than a few percent of its capacity.

Personally, I think it's safer a less hassle to go for a LiFePo4 (LFP) Power Station style device that has UPS capabilities. LFP batteries have 3,000-ish cycle lifetimes, which could be nearly ten years with daily use.
by alias_neo | 2025-08-08 08:06:03+00:00
> I have also heard of break-ins at night targeting certain high-end cars and going as far as gaining entry to a garage

My next door neighbour had someone enter their home while they slept, take the key and drive off in their car, because it was "stolen to order" most likely.

I couldn't give a shit if someone breaks in to my garage, or frankly if the car is stolen, but I don't want them coming into my house where my family is asleep for the keys.

What happens if the keys weren't downstairs by the front door, because I left them on the bedside table or something?

I shudder at the thought.
by jitl | 2025-08-08 08:07:25+00:00
Because building local first with web technologies is like infinity harder than building local first with native app toolkits.

Native app is installed and available offline by default. Website needs a bunch of weird shenanigans to use AppManifest or ServiceWorker which is more like a bunch of parts you can maybe use to build available offline.

Native apps can just… make files, read and write from files with whatever 30 year old C code, and the files will be there on your storage. Web you have to fuck around with IndexedDB (total pain in the ass), localStorage (completely insufficient for any serious scale, will drop concurrent writes), or OriginPrivateFileSystem. User needs to visit regularly (at least once a month?) or Apple will erase all the local browser state. You can use JavaScript or hit C code with a wrench until it builds for WASM w/ Emscripten, and even then struggle to make sync C deal with waiting on async web APIs.

Apple has offered CoreData + CloudKit since 2015, a completed first party solution for local apps that sync, no backend required. I’m not a Google enthusiast, maybe Firebase is their equivalent? Idk.
by vladvasiliu | 2025-08-08 08:07:38+00:00
I have a somewhat bigger machine that hosts my homelab, an HP 800 G2 SFF. It takes "normal" components, so can ben modified. The only custom thing is the PSU, but the standard one is good enough for my needs. Bonus points for not requiring an external power adaptor.

It has an i5-6500, 32 GB RAM (16 + 2x8 DIMMs), 2 SATA SSDs and a 2x10Gb Connect-X3. It runs 24/7 hosting OpnSense and HomeAssistant on top of KVM (Arch Linux Hardened – didn't do anything specific to lower the power draw). Sometimes other stuff, but not right now.

I haven't measured it with this specific nic, but before it had a 4x1Gb i350. With all ports up, all VMs running but not doing much, some power meter I got off Amazon said it pulled a little over 14W. The peak was around 40 when booting up.

Electricity costs 0.22 €/kWh here. The machine itself cost me 0 (they were going to throw it out at work), 35 for the nic and maybe 50 for the RAM. It would take multiple years to break even by buying one of these small machines. My plan is to wait out until they start having 10 Gb nics and this machine won't be able to keep up anymore.
by noduerme | 2025-08-08 08:07:39+00:00
Here's a pessimistic view: A hard take-off at this point might be entirely possible, but it would be like a small country with nuclear weapons launching an attack on a much more developed country without them. E.g. North Korea attacking South Korea. In such a situation an aggressor would wait to reveal anything until they had the power to obliterate everything ten times over.

If I were working in a job right now where I could see and guide and retrain these models daily, and realized I had a weapon of mass destruction on my hands that could War Games the Pentagon, I'd probably walk my discoveries back too. Knowing that an unbounded number of parallel discoveries were taking place.

It won't take AGI to take down our fragile democratic civilization premised on an informed electorate making decisions in their own interests. A flood of regurgitated LLM garbage is sufficient for that. But a scorched earth attack by AGI? Whoever has that horse in their stable will absolutely keep it locked up until the moment it's released.
by Amperage0279 | 2025-08-08 08:08:12+00:00
Francis | Senior Full-Stack Engineer | Full-Time | ONSITE Copenhagen, Denmark Stack keywords: Typescript, React+Tailwind, Node+Express, WebSockets, PostgreSQL.

We're building a SaaS tool for finance professionals that has the modelling flexibility of a traditional spreadsheet, but purpose-built for financial planning & analysis. This is not just another CRUD app - the spreadsheet engine and formula language is custom built.

We're looking for a senior engineer to keep up with customer demand.

Check full job post here: https://thehub.io/jobs/6891bc03043e0d7284301bed

francis.app