MurphyA/hacker-news huggingface dataset:
by AnotherGoodName | 2025-06-18 15:59:41+00:00
A great example of this is to ask AI to ingest and restate with detailed annotations advanced maths papers. This should be simple but the AI fails at this.

A lot of maths is terse. It can take years to grok a very advanced topic. Eg. The ABC conjecture is supposed to be solved by https://en.wikipedia.org/wiki/Inter-universal_Teichm%C3%BCll... but that theory is tough even for the smartest minds so it's still considered up in the air if it's solved or not, not enough mathematicians grok it yet to have a consensus. It's not disproven as nonsense, the paper appears to make sense. It's just that it's a very advanced topic that takes years to understand.

So as someone wanting to understand such topics you may be tempted to have AI read the paper and give annotations and summaries. You might be tempted to have AI give some numeric examples of formulas.

Guess what happens? COMPLETE AND TOTAL FAILURE. The AI can't do it. Because the paper has no online examples where people have written numeric examples and given annotations there's nothing for the AI to go off. It gives numeric examples with mistakes that don't even match the statement it's meant to be giving an example of. Often it gives up with statements like, "At this point the numeric example fails to solve the solution but you can imagine if it did". You can ask it to try and try again but it just keeps failing. Even simple and well known papers generally don't work unless there's already a simple explanation someone's already posted online that it can regurgitate.

Which is pretty damning right? Reading a paper, giving numeric examples of what the paper states and giving some plain english summaries to the most dense portions should be what a language processing system does best. We're not even asking it to come up with original ideas here. We're asking it to summarise well known mathematical papers. The only time i've seen it have success is if someone's already done such an explanation on mathsoverflow.
Show HN: Utsuru – "Go Live" simultaneously on multiple Discord calls
by centverdynanta | 2025-06-18 16:00:01+00:00
Hello there HN! I would like to see if there is any interest in this small project that I just built.

utsuru is a WebRTC utility that you can use to "Go Live" on Discord using OBS, FFmpeg, or anything that supports WHIP. It also allows you to add more than one Discord call, meaning you can simultaneously broadcast the stream coming from OBS to multiple Discord calls.

This project started with my ambition to get more familiar with WebRTC.

From my observation, WebRTC is a protocol that is almost exclusively used for web app projects. At that time, I didn’t feel like making another broadcasting or video conferencing platform, so I put my ambition on hold.

Sometime later, I encountered a personal frustration while using Discord, particularly due to the lack of granular control over streams. I found it difficult to "Go Live" a specific application with system audio, or vice versa. I wished there was a way to use some kind of compositor to customize the layout of the video and audio I wanted to stream. That’s when OBS came to mind.

I discovered that I could use the "Windowed Projector" feature in OBS. With this, I could set Discord to "Go Live" a specific application and stream that OBS window. However, I felt that this solution wasn’t elegant.

I then decided to search for GitHub projects related to Discord and streaming, hoping to find something that would give me exactly what I was looking for. I came across the Discord-video-stream [1] project. While it didn’t provide the exact solution, it was close. With Discord-video-stream, I could stream local or buffered files.

However, before diving deeper into this project, I noticed a line in the project’s README that caught my attention:

For better stability it is recommended to use WebRTC protocol instead since Discord is forced to adhere to spec, which means that the non-signaling portion of the code is guaranteed to work.

This line reminded me of WebRTC and reignited my initial ambition.

The Discord-video-stream project was implemented using Discord’s custom UDP protocol, accepting input in the form of a file, which it transcodes using FFmpeg before sending it to Discord. I figured that I could learn WebRTC by building a similar tool, but one that uses the standard WebRTC protocol, accepts input directly from OBS, and sends it to Discord without the need for transcoding.

I then went to see whether OBS supported streaming through the WebRTC protocol. It turns out that it does, and the terminology for it is called WHIP. I also found that I preferred the tool to be packaged as a single executable file, making distribution and deployment as simple as possible. Therefore, I decided to develop the tool in Rust, as it is the compiled language I am most comfortable writing with.

Thanks for checking out utsuru! I'd love to hear what you think.

GitHub: https://github.com/VincentVerdynanta/utsuru

[1] https://github.com/Discord-RE/Discord-video-stream
by mananaysiempre | 2025-06-18 16:00:11+00:00
Define "wrong"? Ctrl-Fn-Super-Alt has been used for ages by everyone except IBM/Lenovo and Apple[1], and (for what it's worth) Fn left of Ctrl is explicitly not recommended by ISO[2].

[1] https://en.wikipedia.org/wiki/Fn_key#Fn_and_Control_key_plac...

[2] https://en.wikipedia.org/wiki/ISO/IEC_9995#Function_keys
by lxgr | 2025-06-18 16:00:16+00:00
> Are people publicly archiving, reverse engineering, and auditing every single version of Whatsapp?

Absolutely for archiving: https://androidapks.com/whatsapp-messenger/com-whatsapp/old/

Reverse engineering to some extent as well – it's an extremely popular app, and as such attracts both security researchers and bloggers that just want to get scoops on new features behind feature flags etc.

> Would you even know if you got a special copy of Whatsapp (still signed by Meta and valid) that has this explicit code?

Given the above, it's feasible – at least on Android, it's fairly easy to hash the .apk you've received and compare it to publicly know versions.

The threat of somebody finding unusual code on their phone will probably not deter targeted deploys by sophisticated/state level actors to specific users, but it goes some way towards making it implausible that everybody is running a backdoored version, potentially backdoored by Meta themselves, which is arguably the goal.
by delichon | 2025-06-18 16:00:33+00:00
I live in a rural area far from the nearest available fiber connection, so I connect through a satellite dish. At the moment that means 209Mbps down, 16Mbps up and a 21ms latency for $120/month. It would be nice to have a much faster fiber connection but it's not clear why it is important enough to justify a taxpayer subsidy. What essential services am I missing because of the slower connection? Given the exploding federal deficit this looks like a good place to make a cut.
by dapperdrake | 2025-06-18 16:00:35+00:00
Have been working on this for a while with real stakes.

You have two issues that computers cannot help with (by their nature). And this incidental complexity dominates all the rest.

1. What people want to do with data

2. Bureaucracies are willfully oblivious to this problem domain

What people actually want to do with data: Answer questions that are interesting to them. It is all about the problem domain and its geometry.

Problem: You can only falsify hypothesis when asking reality questions. Everything else will bankrupt you. You can only work with the data that you have. Collecting data will always be hard. Computers are only involved, because they happen to be good with crunching numbers.

Bureaucracies only care about process and never about outcomes. And LLMs can now produce random plausible PowerPoint material to satisfy this demand. Only plausibility ever mattered, because it is empirically sufficient as an excuse for CYA.

---------

Naval Ravikant (abridged): "Tell truth, don't waste word."
by czhu12 | 2025-06-18 16:01:41+00:00
Got an error when trying to build a workout. Looks useful though! When I travel I only have bands if there are no local gyms offering reasonable prices, and doing the same 3 workouts gets boring

https://imgur.com/a/Z71iT65

One thing that would be super nice, make the back button and forward button work. Its really tempting to want to hit the back button when you select equipment, click next, and realized you missed one.
by rickydroll | 2025-06-18 16:01:55+00:00
That's a point that's often overlooked. I suspect many of the "amazing insights." LLM events only happen because training sets encompass an extensive range of knowledge and can arrive at conclusions previously unseen.

One could reasonably claim that the value of AI systems and very large training sets is not that it is an approach to AGI, but that it makes finding previously unseen connections possible.
by nobody9999 | 2025-06-18 16:02:00+00:00
>What does that have to do with anything?

You do realize that this entire discussion is about an American citizen and an elected official no less (and not the first one) arrested by "ICE" (we don't really know who those folks are because they won't identify themselves), right?

Are you that removed from reality that you can't parse the title of the discussion in which you are participating?
by ferguess_k | 2025-06-18 16:02:42+00:00
Mostly human problems especially if you work with Analytic teams. I need a PO for data. We usually don't have dedicated PO for data products so we have to do all the requirement findings by ourselves.

For exploratory data-related tasks, these are mostly related to checking data format or malformed data, so it is not a huge issue. But since you are building a product, I'll share my experience -> What I need is a quick way to explore schema changes in a column of a database table (not the schema of the table). Imagine you have a table `user` which has a column says `context` which is a bunch of JSON payload, I need to quick way to summarize and give me all "variations" of the schema of that field.
by mort96 | 2025-06-18 16:03:53+00:00
I like keyboards with those half-height keys. I don't use arrow keys much, so it's nice that they don't take up so much space that other parts must be compromised.

I really don't like this design though where the left/right keys are full size (or other designs where they put things like page up/down buttons above the left and right buttons). I don't mind that the arrow keys are a squished inverted T shape, but I really do think they should get to be an inverted T shape. When I do want to use arrow keys, I want to be able to easily locate them by touch without looking down at the keyboard.
by panphora | 2025-06-18 16:05:29+00:00
Yes, there's definitely philosophical alignment with the hypermedia approach: keeping things simple and leveraging HTML's native capabilities. In fact, I use hypermedia-oriented techniques on all the dashboard pages in the Hyperclay web app.

But in Hyperclay apps, the DOM is the source of truth -- there's nothing else. So there's no need for more than a single AJAX call (to save the page). HTMX is built to support a more traditional multi-page stack, whereas Hyperclay is built around single-file HTML apps.

The idea is that every HTML file is its own visual tool for modifying its own UI/data. For instance, you could build a page layout editor that lets users drag-and-drop components, and the editor itself would be part of the saved HTML file. An infinite variety of visual tools can (and will) be built on top of this structure.

As for essays about this vision, I'd recommend "Local-first software" [0] and "Malleable software" [1]

[0] https://www.inkandswitch.com/essay/local-first/

[1] https://www.inkandswitch.com/malleable-software/
by artem2471 | 2025-06-18 16:06:08+00:00
The regions are already largely occupied by —- that is not true. Zaporizhzha and Kherson cities where most population lives are under Ukrainian control. There is a significant population in Kramatorsk-Slavyansk.

Second, Russia demands ceding all of Zaporizhzha, Kherson and Donetsk region to Russian control. Ukraine already agreed to unconditional ceasefire, Russia wants 3 regions with millions of people.

Any non-conscripts left to Europe - that is not true, there are many kids, elderly and women in Ukraine, including the South and the East.

Referendum for status of Crimea was never on Zelensky ballot. « – Крим повернеться лише тоді, коли у Росії зміниться влада. Іншого виходу у мене немає, – наголосив Зеленський.» nothing about ceding anything.

Nor it was sole Russian demand at any point. So that’s a nice rhetorical device here, but ceding or not ceding Crimea has no relation to the war’s end

About whether Ukraine can or cannot win the war, I don’t have a magical crystal ball and neither do you. Soviet Union lost to Finland, Russia to Chechen insurgents, the disparity was much bigger.

In reality, Ukraine gave away Crimea in 2014 “to prevent war”, it worked out nicely, yeah?

Another point, Kherson and Zaporizhzha consistently, even before 2022, voted for pro-EU parties, in two parliamentary and two presidential elections.

What is also interesting, is that in your messages there was not a single mention of Russia’s responsibility for the war. It is treated like some sort of a tornado. Zelensky this, Zelensky that. Doesn’t Russia have some sort of agency, no? Isn’t it a bit conspicuous for a Ukrainian, no?

About losing something to gain something, Ukraine already lost a lot in 2014-2015, yet that did not lead to any gains. There is no equilibrium here.

Pps: I think your time is not of the utmost value.
by jakelazaroff | 2025-06-18 16:06:27+00:00
Hi, author here! The scenario was meant to be high level — I guess I should have gotten more into the various architectures and tradeoffs, but the article is already pretty long.

The way I see it there are a couple of ways this can shake out:

1. If you have a sync server that only relays the updates between peers, then you can of course have it work asynchronously — just store the encrypted updates and send them when a peer comes back online. The problem is that there's no way for the server to compress any of the updates; if a peer is offline for an extended period of time, they might need to download a ton of data.

2. If your sync server can merge updates, it can send compressed updates to each peer when it comes online. The downside, of course, is that the server can see everything.

Ink & Switch's Keyhive (which I link to at the end) proposes a method for each peer to independently agree on how updates should be compressed [1] which attempts to solve the problems with #1.

[1] https://github.com/inkandswitch/keyhive/blob/main/design/sed...
by ben_w | 2025-06-18 16:06:28+00:00
When the problem is the induced experience, the literal glyphs or soundwaves that do this are relevant precisely because they are what currently induces the mental experiences; that the words and symbols are themselves arbitrarily mapped to the meanings they induce, does not change what they in fact currently do induce.

If I were to point to some misbehaving members of some group today and say they were "naughty", this would not induce the same experience as it would have in Shakespeare's time, where that word meant "worthless". One can object to the latter and not the former, precisely because which word pulls the metaphorical lever on which mental experience, changes between those situations.

The question "is moderating such language is a good idea or not?" is a separate one to this.
by nobody9999 | 2025-06-18 16:06:41+00:00
>States set their own laws on a lot of matters, but they don't get to opt out of federal laws they don't like.

Which law requires states to enforce Federal law? I'll save you the trouble of looking: It doesn't exist.

Cf. https://govfacts.org/explainer/understanding-federalism-vs-s...

As you seem to be ignorant of how government works in the USA.
by ItCouldBeWorse | 2025-06-18 16:07:34+00:00
Ah, the pioneer effect in full effect- as in - once its proven it can be done, many will do it, finding ever more surprising efficient solutions. And the irony is - sometimes, the guys who are the first - don't even know they are the first. The other team just has some marketing guy, lying through his teeth about the "progress" they have and what they can do. And some manager falls for that- and press-gangs some real engineers to "just-do-that-thing" - and suddenly you are all standalone USP without ever planing for it.

Happened to the unreal team, who created the z-buffer reflections in the marble floor- because some other "engine" from around the world "could do that" - which ironically was a rendered non-real time image.

To sum it up nicely the real innovators, are marketing gurus, lying with "pretend proof" forcing the competition to adapt. Thank you for coming to my TED-walk
by tpmoney | 2025-06-18 16:07:47+00:00
I don’t think anyone* doesn’t think these things don’t have practical limitations. It’s more that a lot of the negative stories and results seem to have a “I asked a random stranger on the internet to balance my check book and got money stolen” vibe to them that very much do fall into a “you’re using it wrong” category**. They absolutely have limitations, they absolutely get things wrong and need a real human involved still. They’re also a lot more capable when used in the right contexts and with the right tooling than some people are giving them credit for. It’s a new tool and like most new and exciting tools, it’s going to be shoved everywhere, it will take time to learn to use effectively, and everyone and their dog is going to try building “Thing but with AI”, just like when the internet was new and exciting everything was “Thing but online”. And some ideas will turn out to be terrible, some will turn out to be too early, but viable as tech improves, and some (like AI code completion, and some of the better agent based tools) will prove to be useful now and get better as the tech gets better and users get more skilled.

* Yes there are some truly unhinged boosters and CEOs out there that think they’re going to replace their entire support staff with chat models tomorrow. They’re wrong and the best thing we can do to discourage that is make it painful and hold them to the promises their AI makes, even if it means they need to give away a year of free flights because the chat bot said they would.

** corollary to the above note, plenty of the negative articles / experiences are also just exploring the real limitations and reporting on them. But the internet is the internet and as always it’s the extremes that get amplified and make for the biggest clicks. It is frustrating that even in spaces like HN where you might expect more nuanced discussion a lot of the discussion seems to fall into the extreme booster/detractor headlines and re-hashes of those positions (and strawmen of both) rather than interesting explorations of the extents and limits. I suppose you just can’t really have a good nuanced discussion with you and a thousand of your closest friends.
by edmundsauto | 2025-06-18 16:08:21+00:00
I use Cursor and vibe code this stuff, it works great! I just built a flight tracker (I live in a flight path) that uses a SDR to receive ADS-B info from overhead flights and enrich it with flight info from the local airport, then display in a train station style flippy board. My wife loves knowing where the flights are going and so I display on our magic mirror

I know almost nothing about the underlying technologies, can barely code JS for the front end. But after about 10 hours of coding, I’ve got a very neat little app - it’s something that would have taken me 2 months then become abandonware after I got frustrated.

This was such a positive experience with vibe coding that it restored my love for code. Resulting quality seems pretty decent - maybe 1200 sLOC with good logging, performance, and what I would say is decent pro-am code quality. (IE above the median quality for typical commercial code, I’d bet)
by jauntywundrkind | 2025-06-18 16:08:33+00:00
I mean, yeah, Nvidia being fundamentally incompatible with open source ecosystems, not having drivers, and having stuff broken sucks and while I think it's pretty pathetic and low-life to not care and not think about that in any way at all, I get that folks are going to stay on X because Nvidia refuses to work with open source.

That said, I do think the parent post is probably experiencing a very very rare issue. There are plenty of people using Nvidia ⨯ Sway now quite successfully.
by dmitrygr | 2025-06-18 16:08:35+00:00
> GIF [...] and is limited to a palette of a meagre 256 colours

I am SO tired of this myth. It is 256 colors per frame, but frames are allowed to overlay each other, have transparency, allowing earlier frames to shine through, do so with no delay, and have their own palettes. Here is a fullcolor gif for your viewing pleasure: https://upload.wikimedia.org/wikipedia/commons/a/aa/SmallFul.... More details: https://web.archive.org/web/20130330081050/http://phil.ipal....
Show HN: DreamASMR – Generate Veo3 Binaural ASMR Videos from One Prompt
by howardV | 2025-06-18 16:09:14+00:00
Hi HN,

I recently pivoted a generic video-generation side-project into *DreamASMR*: a web app that turns a text prompt into a fully-downloadable, 16:9 ASMR video with true binaural audio in ~30 seconds.

Why niche down to ASMR? 1. Slicing / pouring / tapping videos dominate “oddly satisfying” niches; audio quality is crucial yet underserved. 2. Veo3’s macro rendering + high FPS beats SD/Sora for tiny textures (glass, sand, honey). 3. Most existing tools lack a licensing path for commercial ASMR creators.

Key features • *Prompt enhancer* – backend auto-adds acoustic & visual context so beginners get good results. • *Binaural pipeline* – converts mono Kie.ai output to left-right stereo; best with headphones. • *One-click download* – videos stored on Cloudflare R2; server proxy sidesteps CORS. • *Credit billing* – only charge 1 credit on success, zero on failure.

Tech stack • Next.js (App Router, mostly server components) + Tailwind + Shadcn • Veo3 API via Kie.ai proxy • PostgreSQL + drizzle-orm • Cloudflare R2 for storage • Next-Auth (Google / Email) • Cloudflare Turnstile to stop bots • 100 % TypeScript; minimal client-side JS

Demo https://dreamasmr.com

Looking for feedback on 1. Generation quality – which objects/sounds still feel off? 2. Prompt UX – text box vs. template presets? 3. Pricing – would you pay for commercially licensed ASMR loops? 4. Perf / architecture – any bottlenecks in large file downloads or concurrency?

Roadmap • Perfect-loop mode • Pure audio ASMR generator • WebM + alpha channel for compositing • Public API / SDK

Thanks for reading & ship your thoughts!
by nsharma44 | 2025-06-18 16:09:58+00:00
We just launched SecureSpeakAI an API platform that detects AI generated deepfakes in real time.

It’s showing up in KYC onboarding, phone scams, and impersonation attacks. Companies are already losing millions to synthetic voice fraud. We built SecureSpeakAI to give developers and businesses a simple way to verify the authenticity of audio whether it’s uploaded files, URLs, or live input.

We’re currently focused on use cases in fintech, identity verification, and call center protection. We’d love to get in touch if you'r in any of those fields!
by kbelder | 2025-06-18 16:09:58+00:00
>Do you think they will spend more time with patients or take in more patients?

Well, taking in more patients per doctor is what will decrease the cost for the patient (so would increasing the number of doctors). Often, I'd rather be shuffled in and out in half the time, and be charged less, than charged the same and be given more time to talk with the doctor.