MurphyA/hacker-news huggingface dataset:
by port11 | 2025-09-17 14:44:16+00:00
Some years ago I had my first panic attack at work. Walking home was an atrocity; and since then I'm much more aware of how noisy a city can be.

Now I have a kid I often walk around. You're even more sensitive to city noises when you're desperately trying to keep your baby asleep!

The two big offenders where we live are a) drunk students partying outside; b) motorcycles (which are somehow allowed to be this noisy?). It's a pedestrian-focused city mostly car-free, but motorcycles and young drunkards more than compensate.

Another source of annoyance are the beeps and boops that every household appliance thinks they need to have. The microwave's song when it finishes, the water boiler's super loud beep, the washing machine's stupid jingle at start and end of a cycle, etc.
Ask HN: Review my startup – AI customer twins for instant marketing validation
by resonaX | 2025-09-17 14:44:38+00:00
Hi HN! I'm Swati, and I've been working on resonaX (https://resonax.ai) - a tool that creates AI customer twins for instant marketing idea validation.

The Problem: As a B2B SaaS marketer, I was frustrated spending weeks trying to get customer interviews, only to get 2-3 responses. I needed quick feedback on brand positioning, messaging, landing pages, campaign ideas or sometimes asking questions about their buyer journey.

The Solution: resonaX creates digital twins of your ideal customers using their LinkedIn profiles or CRM data and behavioral data. You can validate marketing ideas instantly - no scheduling, no waiting.

How it works: Paste a LinkedIn URL → Get an AI twin in 30 seconds → Ask anything ("Would this headline make you click?" "What's your biggest objection?")

Early Results: 70 beta users, helping SaaS founders & marketers test everything from homepage copy to pricing pages to email subject lines.

What I'd love feedback on: - Does this solve a real problem you face? - Would you use something like this? - What concerns would you have about AI customer twins? - What are the use cases you would use it for mostly?

Currently in beta - happy to give HN folks free access in exchange for honest feedback!

Thanks for taking a look!
by zelphirkalt | 2025-09-17 14:44:43+00:00
OK in this case it looks like it is doing a lot of at runtime checking of arguments to treat them differently, based on what type of argument they are. If we restrict use to only work with arrays, or whatever we have in our project, where we need `difference`, then it should become much simpler and an easy rewrite. An alternative could be to have another argument, that is the function that gives us the `next` thing. Then the logic for that is to be specified by the caller.

Tree shaking however, will not help you, if you have to first install a library using NPM. It will only help you reduce overhead in the code served to a browser. Malicious code can run much earlier, and would be avoided, if you rewrite or extract relevant code from a library, avoiding to install the library using NPM. Or is there some pre-installation tree shaking, that I am unaware of? That would actually be interesting.
by whatamidoingyo | 2025-09-17 14:44:45+00:00
I shared a book I was working on in a Facebook group I admin (with 10k members). It was just a book that I wanted to exist and read myself. I published it a week later. Then... little by little, similar books started appearing on Amazon. I didn't market it so much, so while mine was published first, it has way less traction than the others. It's a bit frustrating, but that's just the way the world is. People are leaches.

Like others have mentioned, though, your best bet is to just keep going. Keep pushing updates. Try to get reviews. Chances are, if they're copying your app, they're copying other apps. They'll never be able to keep up!
by NotPractical | 2025-09-17 14:44:52+00:00
Are views also decreasing on channels without ads enabled? Is it possible that some endpoint that needs to be hit to register a view is being blocked by privacy-related (not ad-related) lists that adblockers use?

If the answer to both is no, maybe Google's intentionally punishing creators whose viewers use adblockers. But if the goal is to force creators to ask their viewers to stop using adblockers, then why would they not also just admit that they're doing this rather than leaving it up to speculation?
by pron | 2025-09-17 14:45:42+00:00
Amazon Corretto and Eclipse Temurin are developed and licensed by Oracle. They are just packaged and distributed by Amazon and IBM respectively. If you report an issue against them, the Amazon/IBM people will forward the issue to us at Oracle to resolve.

BTW, I don't dispute that Oracle is greedy, but I find the suggestion that Amazon, IBM, Google, MS etc. are any less so laughable.
by anal_reactor | 2025-09-17 14:45:46+00:00
I guess the reason why modern times feel so bland is because we all agree on the lowest common denominator, and then celebrate that as "iNcLuSiViTy". If anything you do has any personality, aka deviates from the standard workflow, it immediately gets a disadvantaged position on the free market.

It's like, we collectively prioritize efficiency over fun and then we wonder why life is not fun even though it is efficient.
by ekr____ | 2025-09-17 14:45:47+00:00
Actually, DoH doesn't change the situation here one way or the other, it's just a transport. It's true, that Firefox's approach to DoH ("trusted recursive resolver") does. centralize traffic some, but DoH need not be deployed this way. For example, Chrome does what's called same provider auto upgrade, which doesn't change the resolver, but just tries to use DoH if available.
Show HN: Math2Tex – Convert handwritten math and complex notes to LaTeX text
by leoyixing | 2025-09-17 14:46:18+00:00
Hi HN,

I’m the creator of Math2Tex. I was a PhD student, I spend a huge amount of my time working with LaTeX, especially when dealing with lecture notes, academic papers, and homework. I built *Math2Tex*, a lightweight tool that converts handwritten or printed academic content — especially math formulas — into LaTeX or text

The Problem:

I've always found it incredibly tedious to manually type out mathematical formulas, especially complex, multi-line equations from my handwritten notes or from a textbook. It's slow, boring, and I always make syntax errors. I tried some existing tools, but they often struggled with my handwriting or couldn't handle mixed content (text and formulas together).

The Solution:

So, I built Math2Tex to solve my own problem. It’s a straightforward, single-page web app: you upload an image (a photo of your notebook, a screenshot of a PDF, etc.), and it converts the academic content into clean LaTeX code or plain text. You get a real-time preview and can copy the result with one click. My goal was to make the workflow as fast as possible: Snap. Convert. Done.

You can try it here: [https://math2tex.com](https://math2tex.com/)

How is it different from general AI tools like GPT, Claude, etc?

This is a fair question. While large models can handle this, they are often slow for such a specific task. I wanted something faster and more specialized. Math2Tex uses a lightweight model fine-tuned specifically for academic content recognition.

In short, think of it as a specialized scalpel versus a Swiss Army knife. For this particular job, it's generally 3-5x faster and, in my experience, more reliable for complex notations.

Tech Stack:

The core OCR engine is a custom-trained model based on a transformer architecture, fine-tuned on a large dataset of both printed and handwritten academic material. It's all deployed on Vercel.

*It's free to use.* This is still an early version, and I'm sure there are plenty of bugs and areas for improvement. The recognition might not be perfect, especially with very messy handwriting or some obscure symbols.

I would be incredibly grateful for your feedback. Whether you’re a student, researcher, or someone who’s fought with LaTeX input. Feedback on both the tool and the approach would be really helpful.

Thanks!
by vunderba | 2025-09-17 14:47:11+00:00
Nano Banana is still at the top of the class but there are two fairly decent image editor style models that you can run locally - Qwen Edit 20b [1] and Kontext Dev [2].

[1] https://docs.comfy.org/tutorials/image/qwen/qwen-image-edit

[2] https://docs.comfy.org/tutorials/flux/flux-1-kontext-dev
by ellenhp | 2025-09-17 14:47:18+00:00
Over the last few weeks I’ve been hard at work building a FOSS maps app for Android from the ground up based on Material 3 components and industry standard maps tooling. It has online and offline modes, and integrates well with self-hosted maps services like Headway[0] deployments. I’m really quite pleased with it and I hope others enjoy using it as much as I’ve enjoyed making it. I’m about 2 weeks in to development so expect some bugs. But it has most of the features you’d expect like search, directions and navigation. It’s shockingly usable already.

I’ve been yearning for something better in the FOSS maps space for a long time. I don’t think I’m the only one. I’m really hopeful that Cardinal Maps can grow into that something for myself and others.

If you’re stoked about this project I’d appreciate contributions and beta testers. There’s an obtainium link in the repo README.md if you want updates. :)

[0] https://github.com/headwaymaps/headway
by perching_aix | 2025-09-17 14:47:20+00:00
Now I wonder if this is why my laptop (Dell) is so goddamn annoying too.

LatencyMon does show elevated ISR and DPC max exec times (i.e. reports that for realtime tasks my system is busted), and they're also primarily carried out by CPU0. But it's on the order or 2 ms, not 30 ms.

Still a long time though for interrupts I guess. ACPI.sys taking the lead too, with NDIS.sys being close second, and then pretty much nothing else.
by fsflover | 2025-09-17 14:47:35+00:00
It's my only phone. I gets hard when somebody tries to force an Android app on me. Waydroid works but takes a lot of disk space and is not very convenient (Purism promised usability updates though); the battery life is only enough for a day with light usage (but you can replace the battery without tools); js-heavy websites are slow (but NoScript fixes that). Calls, texts, taking pictures and video recording work. I never tried MMS, but some people made it work, too.

I'm very happy with the desktop Firefox (with Ublock Origin!), full terminal, all Debian packages and the full desktop mode. Also with lifetime updates and independence from the megacorps.
by simoncion | 2025-09-17 14:48:01+00:00
> I thought mesa is linux only driver

You thought wrong. From [0]

> Mesa is primarily developed and used on Linux systems. But there’s also support for Windows, other flavors of Unix and other systems such as Haiku.

Also check out [1]

[0] <https://docs.mesa3d.org/systems.html>

[1] <https://docs.mesa3d.org/systems.html#deprecated-systems-and-...>
by hwayne | 2025-09-17 14:48:17+00:00
Even worse than that, SMT can encode things like Goldbach's conjecture:

from z3 import \* a, b, c = Ints('a b c') x, y = Ints('x y') s = Solver() s.add(a > 5) s.add(a % 2 == 0) theorem = Exists([b, c], And( a == b + c, And( Not(Exists([x, y], And(x > 1, y > 1, x \* y == b))), Not(Exists([x, y], And(x > 1, y > 1, x \* y == c))), ) ) ) if s.check(Not(theorem)) == sat: print(f"Counterexample: {s.model()}") else: print("Theorem true")
by tanepiper | 2025-09-17 14:48:57+00:00
Oh I agree - it's far too late to make major changes. When they took over, they had the opportunity to drive a new roadmap towards a more secure solution.

2FA isn't a solution to security, it's a solution to hinder and dissuade low-effort hackers from compromising accounts - it's still subject to social engineering (like spearphishing).

I tend to agree with your broader point - sandboxing will be the way to go, I've been having that very discussion today. we're also now enforcing CI pipelines with pinned dependencies (which we do with our helm charts, but npm by default will install with ^ semver and putting that on the developer to disable isn't good enough - the problem of course is that requires the OS vendors to agree on what is common.

This is a riff - not sure how possible this is, but it's not coming from nowhere, it's based on work I did 8 years back (https://github.com/takeoff-env/takeoff) - using a headless OS container image with a volume pointing to the source folder, run the install within the container (so far so good, this is any multi-stage docker build)

The key part would be to then copy the node_modules in the volume _data folder back to the host - this would of likely require the OS vendors to provide timely images with each release of their OS to handle binary dependencies, so is likely a non-starter for OSX.
by vintagedave | 2025-09-17 14:49:17+00:00
A century later, still no four-hour workday. Yet our productivity has increased many times.

If the story of AI productivity is true, why are we not seeing the same pay, for fewer hours, with the same output?

Edit: see this quote for context. Wow.

> This is the morality of the Slave State, applied in circumstances totally unlike those in which it arose. No wonder the result has been disastrous. Let us take an illustration. Suppose that at a given moment a certain number of people are engaged in the manufacture of pins. They make as many pins as the world needs, working (say) eight hours a day. Someone makes an invention by which the same number of men can make twice as many pins as before. But the world does not need twice as many pins: pins are already so cheap that hardly any more will be bought at a lower price. In a sensible world everybody concerned in the manufacture of pins would take to working four hours instead of eight, and everything else would go on as before. But in the actual world this would be thought demoralizing. The men still work eight hours, there are too many pins, some employers go bankrupt, and half the men previously concerned in making pins are thrown out of work. There is, in the end, just as much leisure as on the other plan, but half the men are totally idle while half are still overworked. In this way it is insured that the unavoidable leisure shall cause misery all round instead of being a universal source of happiness. Can anything more insane be imagined?
by smithkl42 | 2025-09-17 14:49:29+00:00
Among other things, the attack space for npm is just so much larger. We run a large C# codebase (1M+ LOC) and a somewhat smaller TypeScript codebase (~200K LOC). I did a check the other day, and we have one potentially vulnerable nuget dependency for every 10,000 lines of C# code, but one potentially vulnerable npm dependency for about every 115 lines of TS code.
by etc-hosts | 2025-09-17 14:49:43+00:00
I have two close friends with extremely pro-Zionist views, Friend A and Friend B. The recent number of atrocities has been so atrocious that Friend A has reconsidered their views, they've started yelling at Friend B for their unrequited support of Israel's policies in all things.

I think it was the recent double tap missile strike of the hospital workers, journalist and first-responders that did it.
by wk_end | 2025-09-17 14:49:44+00:00
Algebraic types, by themselves, don't do anything to make things "scary" or Turing-complete. Even C has (sort of) a weak, limited form of algebraic types through structs and unions. Zod, which you linked to as an example of the "simple, fixed, runtime types" you're advocating for supports discriminated unions too.
by joker-1 | 2025-09-17 14:50:02+00:00
Deep dive into the psychological and symbolic framework behind Tarot's 6th Major Arcana card. This isn't about fortune telling—it's about understanding how humans have codified decision-making patterns for centuries. The article explores choice architecture, relationship dynamics, and the intersection of ancient wisdom with modern behavioral psychology. Includes practical frameworks for decision-making that tech leaders might find surprisingly relevant. Based on analysis of 3,142+ readings with 4.7/5 rating.
by abustamam | 2025-09-17 14:50:15+00:00
Yes agreed, that's why I voted instead of actually staying home. I wish other people would understand the nuance you just mentioned. I don't think either the democratic party nor the republican party actually care about anything more than keeping their seat at the table. They don't care about the working class, the disenfranchised, or the underprivileged, even if they claim to to get votes.
by ValentineC | 2025-09-17 14:50:43+00:00
Apple's Migration Assistant messed up timestamps when I did a M2 > M4 copy recently.

Dropbox doesn't seem to keep timestamps properly either.

I like using filesystem timestamps to sort through things in Finder, and thankfully I like A Better Finder Attributes for being able to batch copy EXIF data into timestamps.

[1] https://www.publicspace.net/ABetterFinderAttributes/index.ht...
by larusso | 2025-09-17 14:50:45+00:00
Back in 2011 I did the grave mistake of updating my iPad to the beta version of iOS. It was iOS 4 I believe. I took it with me on my honeymoon travel in US. My use case was to offload images onto the iPhotos app with an SD adapter. I bought the Apple Dock one.

On day 7 or so the import failed and all files on the pad got corrupted. But also the SD card got corrupted.

I stopped using the device and the card because I knew not all is lost. I had to buy a new card in SF as replacement. Back home I used a recovery software to check if data is still on the card (I used the same software before on a card that got deleted by another person and I was able to get all images back). I was able to get most of the images recovered and also recovered a few from the iPad. All in all I lost maybe 10 out of a few 100. Now I travel with multiple cards and backup already each night while in the hotel. And I don’t delete the images on the SD Card. I format only when I’m sure I have everything copied and secured.
by mkfs | 2025-09-17 14:50:47+00:00
Of what? Both the OP and those who've responded largely have an air of

> SEE?

as if the letter's current relevance is obvious. Are they implying Russell, a noted pacifist incarcerated for anti-war activism during the Great War, would have endorsed Kirk's assassination? Or is this about the protests in the UK?

People who've actually read Russell will recall many instances of him saying things that today would get you [flagged] [dead] on HN or dogpiled on Bluesky. For example, note here how he, like Voltaire, takes for granted that Islam is inherently more violent than Christianity due to its theology of martyrdom promising eternal, carnal paradise to those who die in its service:

https://www.panarchy.org/russell/ideas.1946.html

> Then came Islam with its fanatical belief that every soldier dying in battle for the True Faith went straight to a Paradise more attractive than that of the Christians, as houris [e.g., 72 virgins] are more attractive than harps.
by Rover222 | 2025-09-17 14:50:56+00:00
it's bizarre how even the smart people here (smarter than me on average, no doubt), think they know better than Karpathy and Musk who have spent a decade deep in this problem.

SpaceX has landed orbital boosters 500 times, and STILL no one else has done it.

Teslas drive millions of miles autonomously (yes supervised, but still) every day.

You can't even type a response without containig your political/social bias on anything related to Musk.
by HarHarVeryFunny | 2025-09-17 14:51:12+00:00
> But I'd venture to argue that most humans never or rarely do #2.

That seems fair, although the distinction between synthesizing something new and combining existing techniques is a bit blurry.

What's missing from LLMs though is really part of 1). If techniques A, B, C & D are all the tools you need to solve a novel problem, then a human has the capability of learning WHEN to use each of these tools, and in what order/combination, to solve that problem - a process of trial and error, generalization and exception, etc. It's not just the techniques (bag of tools) you need, but also the rules (acquired knowledge) of how they can be used to solve different problems.

LLMs aren't able to learn at runtime from their own experience, so the only way they can learn these rules of when to apply given tools (aka reasoning steps) - is by RL training on how they have been successfully used to solve a range of problems in the training data. So, the LLM may have learnt that in specific context it should first apply tool A (generate that reasoning step), etc, etc, but that doesn't help it to solve a novel problem where the same solution step selection process doesn't apply, even if the tools A-D are all it needs (if only it could learn how to apply them to this novel problem).
by jerf | 2025-09-17 14:51:23+00:00
Yes, but as far as I know, nobody has shown that the Collatz conjecture is anything other than a really hard problem. It isn't terribly difficult to mathematically imagine that perhaps the Collatz problem space considered generally encodes Turing complete computations in some mathematically meaningful way (even when we don't explicitly construct them to be "computational"), but as far as I know that is complete conjecture. I have to imagine some non-trivial mathematical time has been spent on that conjecture, too, so that is itself a hard problem.

But there is also definitely a place where your axiom systems become self-referential in the Busy Beaver and that is a qualitative change on its own. Aaronson and some of his students have put an upper bound on it, but the only question is exactly how loose it is, rather than whether or not it is loose. The upper bound is in the hundreds, but at [1] in the 2nd-to-last paragraph Scott Aaronson expresses his opinion that the true boundary could be as low as 7, 8, or 9, rather than hundreds.

[1]: https://scottaaronson.blog/?p=8972
by fainpul | 2025-09-17 14:51:51+00:00
Not sure what you find clunky about PowerShell. On the other hand, I find nushell not mature enough to be usable. The very basics - displaying command output in lists and tables - is totally broken as soon as some long strings appear in the output. Various issues about this are logged, but nobody seems to care.

https://github.com/nushell/nushell/issues/13601

https://github.com/nushell/nushell/issues/16379
by o11c | 2025-09-17 14:51:59+00:00
Well, the article does mention that Part IV adds erosion. Note also that this particular source is a rare example of working based on a mesh rather than a grid (which complicates the logic - in particular, when do you split/merge nodes? - but should be cheaper at scale).

People can try something fully physics-based (or rather, physics-inspired) even for earlier stages, but there are problems:

* You still need some kind of nondeterministic input so you don't always generate the same world.

* You must do the whole world at once, rather than being able to generate each area independently.

* This requires the computation to run for a long time, and needs to feed back in on itself (think of "lake overflows a natural dam and carves a valley, then the tectonics lift it and change the low point anyway").

* It's very easy for your code to result in "boring" outputs, such as "all flat" or "infinitely deep valleys".
by shikharbhardwaj | 2025-09-17 14:52:19+00:00
Hi! Author of the blog post here.

I completely agree, getting an objective measure for the developer experience from these various tools is not easy. On one hand, you have a series of benchmarks from LLM providers. While reflecting some degree of fitness to specific tasks, they often fail to translate to real-world usage. On the other hand, you have the tool providers with different features and product claims, and user anecdotes for very different use-cases.

The attempt with this post was to summarize my experience across some of these tools and highlight some specific features which worked better for me vs others. Given how quickly things are changing in this space, the primary conclusion is that using a tool day-to-day, discovering its strengths and deficiencies and working to eliminate the ones with high hit-rate is best at this point.