MurphyA/hacker-news huggingface dataset:
by runarberg | 2025-05-21 15:34:45+00:00
Nothing wrong with getting information from biased sources, as long as you acknowledge the bias and read counter arguments.

I think a good place to start is what advocates for this relationship claim. As staunch proponent of Palestinian rights, I think a good starting point is to simply read what AIPAC says about this relationship: https://www.aipac.org/policy-relationship just know they have a vested interest in exaggerating how good this relationship is and lie about how important it is to strengthen it.
by silloncito | 2025-05-21 15:34:47+00:00
You should be careful with your estimation. The events should be independent to apply those properties but it is very common that one cause can influence many factors, so they are not independent and all the beauty math does not work as with independence. In the worst day, all fail, because one resource can block others and the system get strangled. There is the black swan book when one rare event make the financial market realize what is risk.
by nightpool | 2025-05-21 15:34:47+00:00
Thanks for the reply! I'm sorry for coming off as too harsh.

> Yeah, sometimes, the compiler may compile a 64-bit memory access into two instructions, such as Rust, but it's not Ruby. It should be fine not consider this.

This sounds like it probably depends on the compiler or toolchain used. So Ruby compiled with LLVM would have issues with this approach, but Ruby compiled with GCC might not. Also it would be interesting to see whether yjit would affect this—it has hand-tuned assembly for 64-bit memory access.
by bitbasher | 2025-05-21 15:34:51+00:00
Given it's a plugin on IntelliJ's marketplace, your best bet is to gain attention through the marketplace. Have nice screenshots, a video, explainers, etc.

1. For an IntelliJ plugin, the appropriate subreddits, discord channels, irc channels and so on (java, programming, etc).

2. You can of course share it here on HN.

3. Write about the project and try to soak in some organic traffic. Write about repetitive Java code, your solution, etc.
Show HN: I made a sci-fi adventure game in Unreal Engine – launched today
by ralph_sc | 2025-05-21 15:35:35+00:00
Hi HN,

I’m a solo developer, and today I launched my game: Star Mission: Remote Sectors. It’s a story-driven sci-fi adventure built in Unreal Engine, focused on exploration, mystery, and atmosphere—not combat.

You play as a space explorer investigating a gravity anomaly on a remote planet. The idea was to make the mission feel like an episodic journey—like those classic “away missions” that always stuck with me growing up watching Trek.

About 1.5 years ago, I switched from Unity to Unreal Engine and started working on this project. While I initially missed C# scripting, Unreal’s C++ isn't as bad as its reputation suggests. Once I got used to the API and patterns, I actually came to enjoy it—especially for building custom systems like crafting, save/load logic, and post-process effects.

Would love to hear your thoughts, feedback, or questions!
by mananaysiempre | 2025-05-21 15:36:04+00:00
> An important part of social development is making mistakes and learning from them. How can you make mistakes when those mistakes are archived for all time for everyone to see?

Through the rest of us abandoning the, let’s call it, presumption of endorsement: that you having said or even done something stupid ten or five years ago (or even less, if you’re young) means you still endorse it now. Right now it feels like things are moving in the opposite direction, extending that presumption from things you said to things you allowed others to say, to things others said elsewhere that are entirely unrelated to things you allowed them to say in your presence.
by 90s_dev | 2025-05-21 15:36:22+00:00
Yeah I guess you're right. This proposal has serious performance issues.

Still, I don't like the React-classic style, the React-autoimport style, or the hybrid that you're advocating for. None work be very ergonomic and require tooling to at least give you errors that you forgot an import, which defeats the purpose of standardizing it at that point.
by joecool1029 | 2025-05-21 15:36:51+00:00
> Scott said of the rule change. “You’re not going to be able to buy them at Walmart or on Amazon, they’ll still be export controlled, but not on the munitions list.”

Why not? I have a FLIR which is under export restrictions and you can buy from them, shit like this will have a card inside saying you can't sell to unfriendly nationals: https://www.amazon.com/FLIR-One-Thermal-Imager-Android/dp/B0...
by dooglius | 2025-05-21 15:37:24+00:00
> If the compiler is required to make all code paths result in the same uninitialized value, that can limit code generation options

Can you provide (on say x86_64) an example of this, other than the case where the compiler prunes cases based on characterizing certain paths as UB? In other words, a case where "an uninitialized value is well-defined but can be different on each read" allows more performance optimization than "the value will be the same on each read".

> Also, an uninitialized value might be in a memory page that gets reclaimed and then mapped in again, in which case (because it hasn’t been written to) the OS doesn’t guarantee it will have the same value the second time. There was recently a bug discovered in one of the few algorithms that uses uninitialized values, because of this effect.

This does not sound correct to me, at least for Linux (assuming one isn't directly requesting such behavior with madvise or something). Do you have more information?
by fastball | 2025-05-21 15:37:27+00:00
But you need to remember that the social/political leanings of the people performing the RL are only going to go in one direction.

As an example, there might be a lot of racist rhetoric in the raw training corpus, but there will also be a large amount of anti-racist rhetoric in the corpus. Hypothetically this should "balance out". But at the RL step, only the racist language is going to be neutered – the LLM outputs something vaguely racist and the grader says "output bad". But the same will not happen when anti-racist language is output. So in the end you have a model that is very much biased in one direction.

You can see this more clearly with image models, where being too "white" can be seen as problematic, so the models are encouraged to be "neutral". However this isn't actually neutral, it's over-correction. For example most image models will happily oblige if you ask for "a black Lithuanian" (or something else very stereotypically white) but will not do the same if you ask for "a white Nigerian" (or something else stereotypically black). This is clearly a result of RL, as otherwise it would happily create both types of images. LLMs aren't any different, except that it is much less obvious this is happening with language than it is with images.
by mjr00 | 2025-05-21 15:38:23+00:00
The environment is drastically different from how it was 1-2 years ago, but the average white collar fortune 500 employee is still not going to post anything too controversial on Twitter under their real name and picture. If they are posting controversial things, which has certainly exploded post-Musk, they're making an effort to ensure they're not getting doxxed.

Contrast this to Discord which is more like old-school IRC, in that even when everyone is using an alias, if you talk to the same people day-in day-out, you know a fair bit about their personal lives, such as name and where they work.
by zipy124 | 2025-05-21 15:38:47+00:00
For sending yes depending on what you mean as stable. For slow moving objects or fast moving objects with a steady heading (low changes in direction of the velocity, or acceleration) it isn't that much of a challenge anymore. For fighter aircraft or some of the faster drones it still presents a challenge that is expensive, but solvable with today's technology (at least from my understanding, the best of these systems are still highly classified).

For receiving however, you can simply use a phased array antenna to gain directional information in addition to your magnitude. This allows you to ignore interferance that is coming from the ground (though not any from a jammer located above the device, or any reflections from the atmosphere). The effect of this is somewhat like a shotgun microphone.
by ngruhn | 2025-05-21 15:38:53+00:00
If you have a pair of functions for encoding/decoding "something" you can do a round-trip and test that you get the original input back out, e.g.:

JSON.parse(JSON.stringify(randomObject)) === randomObject

That often works. What also often works is generating the expected output and constructing the input from it. For example, a `stripPrefix` function that removes a known prefix from string, e.g. `stripPrefix("foo", "foobar") === "bar"`. Property test:

stripPrefix(randomPrefix, randomPrefix + randomSuffix) === randomSuffix

Note, we "go backwards" and generated the expected output `randomSuffix` directly and then construct the input from it `randomPrefix + randomSuffix`.

Reference implementation based properties also work very often. For example, we've been developing a JavaScript rich text editor. That requires a bunch of utility functions on DOM trees that are analogous to standard string functions. For example, on a standard string you can get a char at an index with `"foo bar".charAt(3)` and on a rich text DOM tree we would need something like `treeCharAt(<U><B>foo</B> bar</U>, 3)`. The string functions can serve as a reference implementation for the more complex tree functions:

treeCharAt(randomTree, randomIndex) === extractStringContent(randomTree).charAt(randomIndex)

The same can be done with all string functions like `slice`, `indexOf`, `trim`, ...
by nickpsecurity | 2025-05-21 15:39:32+00:00
High-assurance systems always required a combo of methods since they can catch what others missed. Also, they have different cost-benefit ratios. A quick glance at the code or some tests catch many problems quickly while formal verification takes roughly forever in real-world, project time.

Here's a few reasons to use testing strategies:

1. Your developers might not be mathematicians.

2. Your system or its properties might be hard to specify mathematically. One can often design a test for such properties.

3. Your functions that are easy to model mathematically might also have side effects or environmental dependencies due to other requirements (eg performance, legacy).

4. Your specifications and code might get out of sync at some point. If it does, people will think the code has properties that it doesn't. That can poison the verification all the way up the proof chain.

5. Mathematical modeling or proof might take much, much longer to find the bug than a code review or testing. That is, it's a waste of money.

6. Your mathematical tools might have errors that cause a false claim of correctness. Diverse, assurance methods catch errors like this. Also, testing often uses the most, widely-used parts of a programming language. The constructs are highly likely to be compiled correctly vs esoteric methods or tools in formally-proven systems.

7. Automated testing that, in some way, searches through your execution paths can find problems your team never thought of. Fuzzing is the most common technique. However, there's many methods of automated, test generation.

Your best bet is to use code reviews, Design-by-Contract, static analyzers for common problems, contract/property-based generation of tests, fuzzing with contracts as runtime checks, and manual tests for anything hard to specify.

Don't waste time on formal verification at all unless it's a high-value asset that's worth it. If you do, first attempt it with tools like SPARK Ada and Frama-C. That have high automation. Also, if you fail on full correctness, you might still prove no runtime errors in certain categories.
by srean | 2025-05-21 15:39:35+00:00
Yes independence is absolutely an assumption that I (implicitly) made. It's essential for the convolution identity to hold as well, I just carried through that assumption.

We share interest in AWK (*) then :) I don't know OS at all. Did you imply I know lisp ? I enjoy scheme, but used it in anger never. Big fan of the little schemer series of books.

(*) Have to find that Weinberger face Google-NY t-shirt. Little treasures.

Regarding your dimensions comment, this is well understood for a single layer, that is, for logistic regression. Lehmann's book will have the necessary material. With multiple layers it gets complicated real fast.

The best performance estimates, as in, within realms of being practically useful, largely come from two approaches, one from PAC-Bayesian bounds, the other from Statistical Physics (but these bounds are data distribution dependent). The intrinsic dimension of the data plays a fundamental role there.

The recommended place to dig around is JMLR (journal of machine learning research).
by marcosdumay | 2025-05-21 15:39:56+00:00
At Microsoft, because they sell that stuff and it would be really bad for their image if they insisted they work better by not using it.

(Or, rather, I have no idea how this compares with the image of they actually not delivering because they use it. But that's a next quarter problem.)

At every other place where management is strongly pushing it, I honestly have no idea. It makes zero sense for management to do that everywhere, yet management is doing that everywhere.
by magneticmonkey | 2025-05-21 15:39:58+00:00
My friend and I have been building an app over the past few years, and it's been a slow, sometimes painful grind. We quickly realized that paid ads are expensive and often ineffective when your audience is broad and not super easy to target. Also paid influencers suck. I am sure there is a right way to do it, but we aren’t full-time marketers, and every time it has been a nightmare working with one.

What’s worked better for us is steady organic growth: talking to friends and strangers about it, and just being active wherever we can. Word of mouth and small network effects have been key. It’s not fast, but it’s been surprisingly durable.

We’ve been building an event planning app called dateit(https://dateit.com) similar to Facebook events but better, and most of our growth has come from just optimizing the product to be simple and useful, and constantly refining it based on feedback. If you’re bootstrapping, you really have to lean into creating content and iterating fast. It takes time but it does compound if the product is good.
Show HN: HNRelevant – Add a "related" section to Hacker News
by imadj | 2025-05-21 15:40:24+00:00
It's been 2 years since the initial release [here](https://news.ycombinator.com/item?id=36102610). The initial version was a very basic prototype which was not available anywhere beyond the GitHub repo. You had to install it as a userscript or load the extension manually.

Since then, it remained simple but better, new features include:

- Improved accuracy by also using comments to help gauge the topic of discussion and the right keywords.

- Published as plugin for more browsers: Chrome, Firefox (including android), and more recently Microsoft Edge.

- Support for narrow screens and mobile devices.

- Added preference controls.

You're here because you love interesting HN discussions but they're often buried away like hidden gems, so give it a try and let me know what you think.
by 90s_dev | 2025-05-21 15:40:38+00:00
This looks like a great alternative to TypeScript + Node.js which I currently use.

My main gripe with Lua (and thus Luau) is colons. It's so easy to forget them. Does the type checker catch this error? And if so, does it catch it every time, provided you always use types? If so, that could be good enough for me. Especially if it has strong LSP + VS Code support.
by nan60 | 2025-05-21 15:40:39+00:00
This is especially a problem for devs/artists that post updates exclusively over Discord. It's even worse if they don't do so in a separate channel and you have to dig through everyone chatting to find what you're looking for. This as well and the absence of threads (yes Discord has threads but who uses those) makes searching for troubleshooting help awful. Thank god BBS's are still around.
by jazzyjackson | 2025-05-21 15:42:03+00:00
Discord "servers" are groups you click on an "invite" to join, there is some framing where you are lead to believe the conversation is not public.

Bluesky had a similar freakout when HuggingFace packaged up a snapshot of the firehose and this discussion was had ad infinitum - in Bluesky's face every post is explicitly public -- but a very vocal minority of users still felt they had been wronged because no one asked if they were OK with being a part of a research project. There's definitely a gap between what users /should/ be aware of and what impression they actually get using a service, and you have to keep in mind most people are not techies that have spent years of their life wrestling with issues of privacy and data ownership, so announcements like this can come as a surprise, the first time they considered that what they said in one context can be moved to another.
by gsf_emergency | 2025-05-21 15:42:29+00:00
Swiss gov?/quagos(driven by the Gallic element)? do unbeatable job hyping their wares internationally? Might be best hypsters in their weight class "government of <10million". (German SMEs do not need the international market as much)

For further comparison direct sales incurred by US press is insignificant internationally next to Hollywood,and one can argue the CIA does more-better commerce hype than DoC itself
by davidilie | 2025-05-21 15:42:33+00:00
Just found this site, mbretrofit.it, and it's a game-changer for Mercedes folks! You can get instant map activation codes for your car using your VIN. Think about what Mercedes charges for map updates – here it's only around €50! On top of that, try using the promo code RELEASE1 for an extra discount. They also offer access to detailed dealer-level data like full vehicle specs and service history. If you're tired of those steep dealer costs, you should definitely check this out for yourself.
by righthand | 2025-05-21 15:43:16+00:00
Can you elaborate why having a less diverse farming economy is good for every individual? Automation didn’t invent commodities so it’s unrelated to the advent of a food surplus. It might make obtaining surplus easier but it didn’t give more purpose to people by forcing them to sell their land to a bigger corporation. Even if 50% of farmers don’t want to be farmers anymore doesn’t mean they’d gladly give up their job for a recliner and ubi.
by xp84 | 2025-05-21 15:43:44+00:00
In theory, I think the argument for juries electing candidates is one of efficiency: back in normal times, there were many, many issues facing Congress in a given year, and they would pass lots of legislation to handle those issues. Empaneling a new jury for each update to the farm bill or appropriation of money for some random government program seems like a lot of overhead. On the other hand, in the current ridiculous US atmosphere, it seems like Congress only passes a couple bills each session, which are enormous omnibus spending bills using strategic pork and legislative tricks to bypass the consensus-based rules that used to be easy to meet before polarization. I don’t think that’s a good condition though.

I agree that the extreme, though, where a jury elects a monarch, would be excessive. I would be interested in a system where separate juries elect government ministers (e.g. Defence, Education, Housing, etc), so that there would be a better chance that average people’s opinions could be taken into account in the running of each of the government agencies, instead of having all of them run by the same ideology because they’re all appointed by one party or president.
by srean | 2025-05-21 15:43:53+00:00
A load-balancer transparently sitting in front of the api end-point (not an uncommon scenario) usually decouples things well enough to be practically independent.

That said, silloncito's warning does need to be paid heed.

While independence is essential for the proof to go through, the relationships need not break catastrophically with break of independence, usually it is graceful degradation with degree of independence. There are however specific, often degenerate, theoretical edge cases where the degradation is rapid.
by geerlingguy | 2025-05-21 15:44:12+00:00
GPS jamming is certainly a fun problem to deal with... I've been getting into GPS for timing data, and especially if you're building a global network or coordinated system using GPS as the time source, you have to account for it if you care at all about time stability.

Apparently (I haven't had this happen personally, yet) many truckers install GPS jamming cigarette lighter accessories in their trucks when they want to mask their location from trucking companies that track them everywhere. That can wreak havoc on GPS receivers at facilities, especially if you have, say, a logistics building right next to a datacenter.
by aaronbaugher | 2025-05-21 15:44:19+00:00
I think it's similar to a thread we had here recently about why it's impossible to unionize tech workers. Basically, most tech workers don't like other tech workers (or other people, really) very much, so there's very little camaraderie of the sort you need to get people to team up and take on a shared enemy. Instead, we all think we're smarter than the other guy, so he'll be the one who gets fired while I thrive in the new situation.
by ramoz | 2025-05-21 15:44:27+00:00
Nice retrospective but I guess this process is no longer needed as model's get better; esp as they start enabling features like consistent subjects. Seems like a lot of overhead to correct text for inspirational images, but I can imagine you need to always present some form of _quality_ to your clients.

Feel like control nets and some minimal photoshop work would've been better.
by Fraterkes | 2025-05-21 15:45:40+00:00
Alright, so can you actually name some numbers so that the stuff you are claiming is at least fasifiable?

Altman mentions a 150x increase in efficiency, you claim that trend will continue through to gpt6. At that point these models would be 22500 as efficient as they currently are, which would mean generating a 10 hour long video would cost around the same amount of electricity as running your microwave for 15 minutes. Will you have some introspection if that doesn't come to pass?
by bsnnkv | 2025-05-21 15:45:41+00:00
My credentials: I just got my 50th individual commercial use license subscription last night, and including sponsorship for personal use of the software, I have 90 people contributing financially towards the project.

My advice: Make YouTube videos sharing how you use the product and sharing updates about the product in a structured format. Places like HackerNews, Reddit, pretty much any text-based network, are extremely hostile towards people sharing the outcomes of their individual creativity, whereas video-based networks are surprisingly open to it.
by mg | 2025-05-21 15:46:12+00:00
In my experience, showing a project around (friends and social media) is enough for Google to slowly pick it up and, over time, show it to more and more people to whom it is relevant.

For that to work, it is important to think about what people search for. When I started my Product Chart project, which lets users compare products on a two-dimensional interface, I at first called it "The tourist map of flash drives":

https://news.ycombinator.com/item?id=7465980

Of course, nobody searches for that.

Things picked up steam when I renamed it to "Product Chart":

https://news.ycombinator.com/item?id=8907681
by ForHackernews | 2025-05-21 15:46:17+00:00
I'm sorry but this is such a midwit take. Your uber-skepticism of "every single modern media organization" does not make you a savvy free-thinker, it just makes you more likely to fall down some gibbering conspiratorial rabbit hole on youtube or tiktok.

Yes, media entities have biases and viewpoints; no, that doesn't make them propaganda organs.