MurphyA/hacker-news huggingface dataset:
by thisismehrab | 2025-06-05 09:53:24+00:00
Yep, there are all kinds of effects and animations for any keyword you search, plus you can change the color theme to match your branding, so it’s definitely awesome.

Also, thank you for your feedback! Right now, we’re only offering a service, but I’m thinking about adding software to our offer since that’s where I personally excel.

Would love to know what exactly you liked about this tool so I can pack that into the software!
by neom | 2025-06-05 09:53:39+00:00
I think we CAN agree on that!!! 1000% I was just annoyed at that guy when I read about him because it just seemed like he didn't want to spend the time up front, and I actually get it, but that's what it takes to play at the world class level I think? Business is mine. Love it to death, not for everyone and not everyone likes to play it the way I do, especially not those I play against, but I love to play business as a strategic zero sum game, I spend a lot of time studying it, practicing it, researching my plays etc. And to your point, many many people who like to play business hate modern business as it's all research grind at this point. (outside of HN and some youtube, it's how I spend almost all my time)
by lou1306 | 2025-06-05 09:53:41+00:00
> The logic being - if an AI without taint produces some other work, that work drew on the same information the model did, and came to the same "conclusion" - which means with a time machine, you could wipe the LLM, go back to the period of the original work, train the LLM, and produce the work contemporaneous to the original. Hope that made sense.

This logic would immediately get shot down by an "Objection, speculation" in an actual litigation. Besides, the technicalities of how the work was produced don't really play a role in assessing infringement. PK Dick wrote "The man in the high castle" by extensively using the I Ching, but if I use it and recreate the novel by complete accident I would still be infringing.

By the way, I highly suggest Borges's "Pierre Menard, Author of the Quixote" as a great story on the topic of authorship :)
by falcor84 | 2025-06-05 09:53:53+00:00
In that example, the mnemonist should be demonstrating the security issue to the government, and not to their friend. We have social taboos for this reason. As an extreme example, I wouldn't greet a person by their penis size after noticing it in the locker room - some information should still be considered private, regardless of how we came to obtain it.

Same with an LLM, when it got sensitive information in its weights, regardless of how it obtained it, I think we should apply pressure/shame/deletion/censorship (whatever you call it) to stop it from using that information in any future interactions.
by lolc | 2025-06-05 09:54:05+00:00
I always hear this sneak up thing and think about how birds can be caught with netting. And all the barbed wire in old battlefields. I don't think drones will be able to meaningfully sneak up to a laser.

Of course more drones works. But more drones here is less drones there. It means lasers are an effective deterrent against opportunistic attacks.
by miki123211 | 2025-06-05 09:54:12+00:00
The problem with non-genuine parts is that you don't know what they are.

Maybe it's literally the same cable from the same factory, but without the logo. Maybe it's the same cable from the same factory, but the Chinese company decided to skimp on materials and quality control on the off-brand ones, and it's going to burn your house down after a year. Maybe it's a competing factory trying to reverse-engineer the design, who figured out how to "optimize" it by removing an "unnecessary" part, which was actually engineered in as a crucial safety precaution. You never know.

You may even buy the same non-genuine part you've been buying for years, from the same seller, and suddenly go from an exact copy to the "competing factory" case.
by palata | 2025-06-05 09:54:51+00:00
What an arrogant jerk.

It sounds like someone taking a condescending tone to say that "Fast fashion is great! The clothes are really fine, and being able to wear a t-shirt once and then throwing it away instead of washing it is more convenient. This is most definitely progress. Sustainability? Hmm I can't say, that's not my field of expertise, therefore it's probably not important".
by DrScientist | 2025-06-05 09:55:26+00:00
Yep - bottom line you just use a protocol you know the firewall won't/can't block.

In theory you don't even need anything in the payload - you could put information in the timing of the DNS requests a la morse code....

HTTP is the obvious other one - with much more options for somebody to exfiltrate data - you can think of ways where you don't even need an evil domain.

For example - you could exfilrate data via hackernews comments!

As far as I can see, the only thing you can do in the end is to make it harder to do easily, and then monitor unusual activity - and hope that is enough to stop large scale exfiltration, as small scale is impossible to stop.
by seanhunter | 2025-06-05 09:55:46+00:00
Are there types presented therein?

No. Analysis typically is presented using naive set theory to build the natural numbers, integers, rationals and (via Dedekind cuts) real numbers. For avoidance of doubt in the standard construction of maths these are sets, not types. Then from there a standard first course in analysis deals with the topology of the reals, sequences and series, limits and continuity of real functions, derivatives and the integral. Then if people study analysis further it would typically involve complex numbers and functions, how you do calculus with them, Fourier analysis etc, but types and type theory wouldn’t form part of any standard treatment of analysis that I’m aware of.

Types are not a mainstream topic in pure maths. Type theory was part of Bertrand Russell’s attempt to solve the problems of set theory, which ended up as a bit of a sideshow because ZF/ZFC and naive set theory turned out to require far less of a rewrite of all the rest of maths and so became the standard approach. Types come up I think if people go deeply into formal logic or category theory (neither of which is a type of analysis), but category theory is touched on in abstract algebra after dealing with the more conventional topics (Groups, rings, fields, modules) sometimes. Most people I know who know about type theory came at it from a computer science angle rather than pure maths. You might learn some type theory if you do the type of computer science course where you learn lambda calculus.

why present in Lean, if the precedent formalisms are irrelevant?

If someone gave a powerpoint presentation, do they have to use the presentation to talk about how powerpoint is made? If someone writes a paper in latex, does the paper have to be about latex and mathematical typesetting? Or are those tools that you’re allowed to use to accomplish some goal?

He’s presenting in Lean because that’s the proof assistant that he actually uses and he’s interested in proof assistants and other tools and how they help mathematicians. He’s not presenting about lean and how it’s made. He’s showing how you can use it to do proofs in analysis.
by mcv | 2025-06-05 09:55:48+00:00
That's very vague and general, and avoids specifics. I'm not the one making the decisions here, but Ukrainian leadership seems to know a lot better what they're doing than you or I. They are balancing complex problems and have been doing so quite successfully.

And the fact that Ukraine is so unwilling to condemn their future generations to Putin's oppression is a massive stroke of luck for other European countries who might otherwise be next in Putin's plans. Keeping the war confined to Ukraine and ensuring a Ukrainian win there, is by far the best option for European security. Strengthening Putin is the worst option, and giving him a victory here will do exactly that.
by Huxley1 | 2025-06-05 09:55:58+00:00
I’ve had similar PayPal chargeback issues before, where bots were testing stolen credit cards. We added CAPTCHA to the payment form and monitored suspicious IP addresses, which helped stop many of these attacks.

We also started temporarily holding PayPal funds until we could manually verify transactions, preventing a lot of small test chargebacks.

Finally, contacting PayPal's Merchant Services team really helped us reduce fraud significantly.
by GianFabien | 2025-06-05 09:56:04+00:00
Last time I looked intel CPUs had like 1700 instructions. Every generation comes with an even more expanded ISA. I doubt that compilers use even a fraction of the ISA. Especially considering that binaries are often expected to run on a wide range of older CPUs. I know that there are intrinsic functions which provide access to some of the powerful, yet special purpose instructions. It is unrealistic to expect the compiler to make effective use of all the fancy instructions you paid for with your latest hardware upgrade.
by numpad0 | 2025-06-05 09:57:33+00:00
node1# nc -u node2 12345 < /dev/fb0 node2# nc -lu 12345 > /dev/fb0

The "sub-second latency" thing is the standardized punchline coming from WebRTC folks, but yes, it's confusing. Nothing can make video flow faster than above, only thing you can do by inventing a new standard is to minimize the overhead you must add for your purposes.
by genewitch | 2025-06-05 09:58:02+00:00
.. old, bold, is how I've heard it, but i wonder if it's because boldold runs together; because opinion, "bold" is supposed to come before age, "old" in adjective order.

Its possible that the "d" in "old" ends in a soft "u" or "e" sound and that's why boldold presents oddly. English speakers don't like distinct vowel sounds that close together, even ones that don't have letters in the word indicating such. Is that the reason for the rhotal r? I can't remember. The comma between "bold, old" and "no, on your left" feels like a longer partial stop than the one in "old, bold".
by sylware | 2025-06-05 09:58:05+00:00
OMG, this is not completely brain damaged c++ code lost in the middle of one of the web engines from the whatng cartel??? or C code with one billion dependencies with absurd SDKs???

Quick! Quick! I need to find something bad about it... wait... AH!

Does it compile with the latest libressl? Hopefully not (like python _ssl.c) and I can start talking bad about it.

;P

Ofc, that was irony.

We all know the main issue with webRTC is not its implementations, but webRTC itlself.

All that said, it is exactly at this very time twitch.tv chose to break ffmpeg HLS (its current beta HLS streams are completely breaking ffmpeg HLS support...).
by krisoft | 2025-06-05 09:58:30+00:00
> It is understandable pure-logic thinking until you're the one to be made battlefield-relevant.

Battlefields have the inconvenient property of sometimes coming to where you are. Even if you would rather not participate in any way.

Currently in democratic countries one of the brakes on war is that you need "boots" on the ground, and "boots" on the ground results in caskets draped in flags on TV. Which result in people not voting for you come next election. If you don't need humans to fight on the ground anymore (or you can get away with drastically fewer humans on the battlefield) then you will get a lot more war, and a lot more battlefields in a lot more places.

That's the problem. First order effect is of course good for the humans who don't need to die on the battlefield to achieve some goals. Second order effect is what I'm worried about. The lot more suffering caused by a lot more wars and battlefields in a less stable world.

And that is assuming you need the resources of a state to fight these autonomous wars. If the tech is cheap enough, and hard to "control" enough that it is available for organised crime you might see it used in assassinations, gang warfare, and protection rackets. And then we all will live on battlefields. Third order effects are the people hurt by the anti-drone weapons missing their target or activating the wrong time. Fourth order effects are all the constraints and weird technology restrictions they will put on tech trying to stop the proliferation of autonomous drones.
by zimpenfish | 2025-06-05 09:58:41+00:00
Can't give a definitive answer but my allow/deny list parser has always used `MIME::QuotedPrint` through `html2text` to convert them from MIME'd HTML into plain text and that was last updated September 2021.

I've also got a test note from late 2020 which is also `text/html; quoted-printable` which suggests at least iOS 14 (I don't think the 15 alphas would have been out by then.)
by aurelwu | 2025-06-05 09:59:05+00:00
you can get a ESP32 and a CO2-Sensor, easiest would be to use a development kit like a m5-stickC and the Sensirion SCD41 and with some small arduino scripts you are good to go to send the data via WLAN or BLE for something like 70€. Can be even cheaper if you don't use a development kit but it makes things a lot easier and the small display helps with debugging.
Synee – A Socializing App Reinventing Event Hosting
by synee | 2025-06-05 09:59:14+00:00
We’re two indie devs — one in Germany, one in the US — who met through LinkedIn over a shared passion: fixing the societal problems social media has created.

We believe today’s platforms are built to trap users in endless scrolling—at the expense of real-world connection. While we embrace technology and its incredible benefits, we also recognize the harm caused by unregulated “social” platforms. In many ways, they’ve done more damage than good.

At the end of the day, no matter who we are or where we come from, we all share one fundamental need: human connection and a sense of belonging. We’re tired of metaverse fantasies. It’s time to bring life back to the universe.

So we built Synee, a lightweight but powerful iOS app focused on reimagining how people host and amplify local events.

With $0 in funding, we’ve focused on grassroots marketing, organic reach, and direct outreach to grow Synee’s early community. Here’s what we offer:

Instant event creation — public or private, no friction. Organic amplification — reach people near you without paid boosts (other platforms charge $$$ for this). Integrated messaging — focused on real interactions, not endless feeds. Paid tiers that cost a fraction of competitors — we think great tools shouldn’t be locked behind heavy paywalls.

Special for HN: We’re offering 5 years free (Legacy Access) for early adopters. Just:

Go to the iOS App Store

Search: Synee – Socializing Reinvented

Download the app

Inside the app, text “Synee” in the in-app chat to activate the free upgrade.

We’d love feedback from the HN community — both on product and growth approach. Ask us anything or tell us what you think!
by thom | 2025-06-05 09:59:20+00:00
Yeah, I agree logic and symbolic reasoning have to be _applications_ of intelligence, not the actual substrate. My gut feel is that intelligence is almost definitionally chaotic and opaque. If one thing prevents superhuman AGI, I suspect it will be that targeted improvements in intelligence are almost impossible, and it will come down to the energy we can throw at the problem and the experiments we're able to run and evaluate.
by mkfs | 2025-06-05 09:59:52+00:00
> Former US Army lieutenant general Michael Flynn, who also served as the 24th national security advisor under the first Trump administration, noted that the Russian bombers could have been parked in the open due to nuclear treaty obligations.

> “FYI, those bombers that were hit HAVE to be out in full view due to nuclear treaty obligations. Zelenskyy took advantage of that,” General Flynn noted on X.

> His post generated heated discussions on social media about whether Russian obligations under a bilateral treaty with the US might have helped Ukraine in targeting the Russian strategic bombers.

From the State Department: https://www.state.gov/new-start-treaty

> The treaty permits the use of national technical means of verification (e.g. satellites) in a manner consistent with international law, and contains explicit provisions that prohibit interference with NTM and the use of concealment measures that may impede monitoring by NTM.
by DaSHacka | 2025-06-05 10:00:59+00:00
Meritocracy beliefs have been considered "white supremicist rhetoric" in many programming circles for some time now.

Honestly I still don't get it, I guess its just one of those first-world problems people invent to occupy their time with outrage.

But there is infact a large captive population of SWE's invested in these topics.
by berkes | 2025-06-05 10:04:26+00:00
Slightly joking: but maybe "intelligence" is partly "empathy"? In my view, a truly evolved and highly intelligent species would be one that causes no harm, distress and certainly no pain or suffering to anything else.

So, to answer your question:

> If they're so smart why aren't I on their plate instead?

For the same reason I and grandparent commentor don't eat them: because we know their intelligence. If they were more intelligent that humans, that reasoning would mean they won't eat humans.

Slightly more on topic: humans often show a very narrow world view. In that many humans fail to see that there are other types of "intelligence" for example. We project our own narrow world-view onto others: "Intelligence means, you should eat anything that's less intelligent than you" (very much parafrasing, I know)
by genewitch | 2025-06-05 10:05:17+00:00
Timezones going to make that hilarious, probably go back to much longer certs. I like free so I put up with LE. The automated stuff only works on half my servers, the other half I either run without https or I manually install it. Except now I wait until the service stops working, spend 15 minutes debugging why, go to the domain in a browser and see the warning, and then go fix it. Why? LE decided sending 4 emails a year is too many. And let's be real, sending automated emails is expensive. I think AWS charges like $0.50 per email when you use their hosted email sender.
by meindnoch | 2025-06-05 10:05:34+00:00
No, simple requests [1] - such as a GET request, or a POST request with text/plain Content-Type - don't trigger a CORS preflight. The request is made, and the browser may block the requesting JS code from seeing the response if the necessary CORS response header is missing. But by that point the request had already been made. So if your local service has a GET endpoint like http://localhost:8080/launch_rockets, or a POST endpoint, that doesn't strictly validate the body Content-Type, then any website can trigger it.

[1] https://developer.mozilla.org/en-US/docs/Web/HTTP/Guides/COR...
by frm88 | 2025-06-05 10:06:12+00:00
"Is there a democracy worthy of the name that has ever lasted >300 years"

For varying degrees of democracy: Athens: ~ 510-310 BC (yes yes 200) https://en.m.wikipedia.org/wiki/Athenian_democracy Rome: ~ 509 - 027 BC https://en.m.wikipedia.org/wiki/Roman_Republic Venice: 697-1797 AD https://en.m.wikipedia.org/wiki/Republic_of_Venice

to name the most commonly known.
by crtified | 2025-06-05 10:07:32+00:00
I'll preface this by saying that product design and manufacturing and public-proofing is long, hard work, and the retail price of this product is likely to be well justified for all kinds of reasons.

That said, looking at the main active components that are listed, we have -

ESP32S3 IC : $4 retail, SCD41 Sensor : $21 retail, SGP41 Sensor : $8 retail, LPS22 Sensor : $4 retail

Which is very hopeful, in the sense that some key functionality of this kind of device could potentially be open sourced and pared back to a minimal cost where hobbyists could build versions suitable for the economics of developing countries.
by 112233 | 2025-06-05 10:08:04+00:00
I have not even touched one, as most people without €1000 impulse purchase budget, instead having fun with Drambo and Aum on my ipad. I do, however, read what people who use OP-1 write about it or how they speak in the videos. It is a very familiar tone, the same you hear from owners of Leica, Porsche, Astell-Kern etc.

The device itself can be designed (and most likely is designed) in the most fabulous way imaginable — by pricing it this way they make conscious decision to position themselves as a lifestyle, luxury goods, just for the target audience of people who make music.

Have you seen many people telling you how happy using SunVox (5$) makes them in comparable way?
by startumproject | 2025-06-05 10:08:15+00:00
I created a Scope of Work Chrome Extension. All you have to is paste in your clients requirements and it will generate a detailed Scope of Work plus follow up questions for your clients.

It's super easy to use.

You can either copy and paste directly to the client or use it as inspiraction and adapt it.

Building the extension is easy, getting it to work with licenses and API's was another story.
by voxlax | 2025-06-05 10:09:24+00:00
You can get the same measurements and even more from AirGradient. Those are a bit cheaper and much more solid devices. Not so focused on design, but rather on accuracy: https://www.airgradient.com

I´m not affiliated with them in any way, but I´m using their indoor and outdoor sensors since a few years by now, and I am very satisifed. Btw. their HW is opensource and you can choose between their SW or can flash anything else. The measurement data of my outdoor sensor is publicly available: https://explore.openaq.org/?location=2070168#13.21/48.22244/...
by palata | 2025-06-05 10:09:54+00:00
> If 99% of reason

Sure, if you start with convenient assumptions, it's easy to prove your point :-).

Now let's imagine that people don't need a token for each session but to create an account. Suddenly they are not asking for tokens after midnight, and not repeatedly, right?

Let's push it as far as saying that other websites may need verification, e.g. social media. And for the sake of the argument, let's imagine that there are more than one social media. If the token issuer receives 4 requests from the same person, is it for 4 social media? 2 social media and 2 porn sites? Not so clear anymore.

Finally, let's pair it with an "eID" app. So people get the app to use an electronic ID (which is presumably useful for things that are not porn). Let's say that when you install the app, it gets 5 age tokens for you. You may or may not use them, it just creates them. Now the token issuer sees that everybody gets 5 tokens. Difficult to say that they all need to access 5 porn websites, isn't it?

I don't know if age verification is fundamentally a good thing. But "no amount of cryptography can protect against this"... I don't know.

> that would work, but then it becomes trivial for to copy the tokens.

Anyway it is trivial for a child to ask their parent to give them access to porn. The whole idea is that usually, parents won't do it.
by Dylan16807 | 2025-06-05 10:10:53+00:00
> I cannot fathom the amount of storage and processing that would take, to have that for every location with roads. On board, in the car? Maybe in 20 years.

Doing some napkin math, with 4 million miles of road in the US, if you wanted to store 1KB of data per meter of road, hundreds of data points, you'd only need 7TB for the entire database.

And the processing to make it shouldn't be anything special, should it? Collection would be hard.
by eru | 2025-06-05 10:11:00+00:00
In your scenario, we are enacting an LVT and lowering some other tax (say, income taxes).

The LVT itself will have no impact on rents. However, lowering income taxes will increase rents, independent of LVT. (Eg if they'd just lowered income taxes, because some rich sheikh wrote the government a big check for fun.)

That's assuming all else being equal, eg number of units available for rent.