MurphyA/hacker-news huggingface dataset:
by timr | 2025-05-07 07:52:29+00:00
> Are you arguing that giving consumers a choice between a slow cheap cycle and an expensive fast cycle is somehow a bad thing?

No. I'm saying that you don't need a government bureaucracy mandating it. Moreover, you definitely don't need one mandating ever-more-strict energy consumption limits on energy uses that are not driving the consumption problem, which inevitably run up against hard physical limits (e.g. warm water works better for washing dishes).

Take the argument to the point of absurdity: should we have an EnergyStar rule on doorbell efficiency? The same line of reasoning applies, but by golly...if we had one, I'm sure we'd be sitting here arguing about why doorbells have to be barely audible in order to save the planet.
by tomhow | 2025-05-07 07:52:44+00:00
Be kind. Don't be snarky. Converse curiously; don't cross-examine. Edit out swipes.

Comments should get more thoughtful and substantive, not less, as a topic gets more divisive.

When disagreeing, please reply to the argument instead of calling names. "That is idiotic; 1 + 1 is 2, not 3" can be shortened to "1 + 1 is 2, not 3."

https://news.ycombinator.com/newsguidelines.html
by ddahlen | 2025-05-07 07:53:05+00:00
Most images are registered by finding the location of known stars from a high resolution catalog such as GAIA. So you fit centroids of all stars in an image, then do a search of Gaia sources in that location and do some sort of linear or higher order polynomial mapping of pixel space to the celestial sphere reference coordinates ICRF.

Astrometry.net is a service that does an approximate version of this on the web.

I am glossing over many details here, but this is roughly what happens.
by grues-dinner | 2025-05-07 07:53:52+00:00
I'm the same. Having a slew of expert tuned models or submodels or whatever the right term of for each kind of problem seems like the "cheating" way (but also the way I would have expected this kind of thing to work, as you can use the tool for the job, so to speak. And then the overall utility of the system is how well it detects and dispatches to the right submodels and synthetises the reply.

Having one massive model that you tell what you want with a whole handbook up front actually feels more impressive. Though I suppose it's essentially doing the submodels thing implicitly internally.
by aa-jv | 2025-05-07 07:54:49+00:00
>delusions of grandeur

How do you come to this conclusion - have you been studying Putins' speeches in the last 3 years, or analysed some of the policies that led to this conclusion?

Did you see his recent interview on Croatian TV where he discusses this specifically?

EDIT: hey downvoters - is it not valid to study world leaders' directly rather than going through a third party .. ?
by simonask | 2025-05-07 07:56:11+00:00
I don't see why you would have to write your own - there are plenty of options in the crate ecosystem, but perhaps you found them insufficient?

As a video game developer, I've found the case for custom general-purpose allocators pretty weak in practice. It's exceedingly rare that you really want complicated nonlinear data structures, such as hash maps, to use a bump-allocator. One rehash and your fixed size arena blows up completely.

95% of use cases are covered by reusing flat data structures (`Vec`, `BinaryHeap`, etc.) between frames.
by pancsta | 2025-05-07 07:57:51+00:00
It's nice to see that BEAM is still alive. If you're into actor model / state machine agents, I can recommend secai, which is in Golang [0]. It does have a form of goroutine cancellation. Do you happen to have some screenshots of your devflow in beam? How do you debug?

[0] https://github.com/pancsta/secai
by jillesvangurp | 2025-05-07 07:59:02+00:00
I don't think that's the case here. Windsurf wasn't leading the agentic coding market. They were doing a decent job but others are bigger. Cursor has the brand recognition and Claude is getting a lot of recognition too. MS has github copilot which is still a good brand and Google has been catching up with Gemini.

OpenAI has a new thing called codex but it isn't very good yet. I tried it and it's super flaky. Lot's of errors and it gets stuck when that happens. OpenAI needs something good urgently because agentic coding is the key AI feature right now and the blue print for non coding agentic solutions later. Cursor is probably too expensive currently and windsurf looks like their models are a bit better.

So, OpenAI gains something they don't have: a credible developer option with an active user base and some core IP in the form of training data and know how as well as custom models that they can fold into openai.

3 billion is a lot but not if you consider that world + dog in the enterprise world will be spending big time on AI subscriptions for their developers. This stops being optional in 2025. Millions of developers will be on paid subscriptions permanently very soon. If you start a new job you can expect to get a laptop and a paid subscription to whatever is the agentic coding tool of choice in your new company.

OpenAI wants double digit percentages of that revenue. 1M users paying something like 50$/month would amount to 600M revenue per year. I think the prices will go up and the amount of active users as well. Reason: as these tools are getting better they start saving non trivial amounts of engineering time. At that point you have to value the tool in terms of developer cost. Not 1 to 1. But it's worth a sizable portion of that.

I work in a small startup as the CTO. This is an no-brainer for us. We're cash strapped so we only spend on important things. This would be one of those things. We're doing things I previously would have needed to expand the team for because I would have had no capacity to do those things in the current team. So, in terms of value for money spending on these tools is easy to justify.

I get lots of people are skeptical about AI stuff here. But I would say that a lot of those people suffer from a short term focus and bias. Three years ago none of this stuff existed. Now it's a multi billion$ market that is set to grow rapidly. Stuff is getting better at a very rapid pace. Just stating facts here. 3 billion is a bargain if Openai can make this acquisition work for them. They are buying time to market here. They don't have a year to figure it out. In a year or so this market will be carved up and locked into hard to change year long SAAS contracts. At that point getting people to switch tools will get harder and harder.
by sunrunner | 2025-05-07 08:00:05+00:00
I'm just as disappointed as I was when I first heard about being able to create 'Self-contained Executable Programs with Deno Compile', perhaps slightly more even as at least that bundled the interpreter.

In all seriousness, Docker as a requirement for end-users to create an executable seems like a 'shift-right' approach to deployment effort, as in, instead of doing the work to make a usable standalone executable, a bunch of requirements for users are just pushed on to them. In some cases your users might be technical, but even then Docker only seems to makes sense when its kept inside an environment where the assumption of a container runtime is there.

I assume extra steps are needed to allow the 'executable' to access filesystem resources, making it sandboxed but not in a way that's helpful for end users?
by renewiltord | 2025-05-07 08:02:03+00:00
If they want to deliver they can. If they don't they don't have to. There's no problem here. There's a market clearing price and a regulation to protect not being paid enough. I don't also have to guess at a price higher than that. It doesn't give me too much pain if something isn't delivered on time or at all. I can happily adjust plans and rate down the thing I can't get.

As HN frequently points out "your business model is not my problem".
by guappa | 2025-05-07 08:03:00+00:00
Because the comment I replied to was so specific?

There's plenty of perfectly good libraries on npm and pypi, and there's awful ones. Likewise for go which pulls from "the internet".

Must I really demonstrate that bad code exists in go? You want examples? There's plenty of bad libraries in go, and pinning to a commit is a terrible practice in any language. Encourages unstable APIs and unfixable bugs.
by ddahlen | 2025-05-07 08:04:05+00:00
2 big reasons, first is that wobbles which we normally observe require that the star move enough to be detected on a shorter time scale. IE: if the orbit takes 100 years and we look twice in 5 years, the planet will have only moved 5% of an orbit and the wobble will be near 0. Second is the less mass and further the planet is away, the less noticeable the wobble. Something at 500 au is going to produce no measurable wobble in our lifetime.
by ty6853 | 2025-05-07 08:04:30+00:00
The US has worldwide, actually interplanetary taxation. Even if you leave you'll be under US tax net. If you renounce, again, that doesn't stop it because renouncing also costs a tax of ~$2000 and possibly an exit tax.

But this in any case all presumes not leaving = consent, which is flimsy on even a superficial inspection, and has some harrowing downstream deductions.
by OsrsNeedsf2P | 2025-05-07 08:06:08+00:00
In case you're serious, continuous dark patterns make the web exhausting to use. When I get an email I didn't want, I report it as spam so the sender's domain reputation decreases[0]. Making a comment calling out the practice is the closest you can do here.

[0] https://lemmy.ml/post/13850772
by notepad0x90 | 2025-05-07 08:06:41+00:00
I'm on NSO's side here. It's quite hypocritical of everyone involved to be against NSO but not gun makers. I don't even want to touch civilians abuse of guns, just governments buying guns from weapons manufacturers and using them in properly sanctioned wars. People are acting like exploits are more dangerous than bullets or restricted like nuclear, biological and chemical weapons, they are not!

The demand is there and the suppliers exist. without companies like NSO, the price of exploits goes up and it becomes more lucrative for malicious actors to sell them to even more nefarious actors. The exploit brokers become more anonymous. And when they sell to the really bad actors, it will require deanonymizing market places on Tor instead of having law suits like this.

It is much better for everyone involved to tolerate companies like NSO and regulate them.
by alganet | 2025-05-07 08:07:16+00:00
I really want to defend media, but it's getting hard. CBS is not helping my case.

I don't like crypto, and I lean to the left. All reasons for me to upvote this and denounce Trump like a good internet toy boy.

However, I took a look at the recent news. Lawsuits, Paramount (parent of CBS) dropping in revenue. Political turmoils that I think are relevant.

Also, I noticed Paramount owns Porta dos Fundos, a popular comedy show here in Brazil. Although they are also left leaning, I think their methods contributed to destroying the traditional leftist narrative in my country, overriding it with a bland US formula.

So, mixed signals all around.

Should I vibe comment, should I not vibe comment and research? So confusing.

I really want to defend media, be impartial. So, it's simple. I'm on the left, and I think getting rich on crypto sounds like a scumbag move. However, this news battle royale is fishy and I can't just upvote it blindly.
by DoingIsLearning | 2025-05-07 08:07:49+00:00
Very cool to learn about other areas of knowledge. Astrometry.net really made this quite visual thanks.

For the curious wanting to go down this rabbit hole here seems to be an ESA archive dataset of 'GAIA Data Release 3' (released 3 June 2022) :

https://cdn.gea.esac.esa.int/Gaia/gdr3/
by simonask | 2025-05-07 08:08:01+00:00
It's a relatively new endeavor, but it's also a requirement in 2025 if you want to be portable. The Linux ecosystem was focusing on installing dependencies system-wide for decades (that's how traditional `./configure.sh` expects things to work), and this approach is just inferior in so many ways.

The shenanigans people get into with CMake, Conan, vcpkg, and so on is a patchwork of nightmares and a huge time sink compared to superior solutions that people have gotten used to in other languages, including Rust.
by dmos62 | 2025-05-07 08:08:39+00:00
There's as many theories about why Putin and Kremlin did what they did as there are war analyst books on it. Some of them are more right than others, but at the end of the day, if I'm honest, I'm as confused as I was in 2014. Which is a problem not only for my curiosity: if Western policymakers are as confused as me, it's difficult to craft a good policy: we're effectively playing half-court tennis (to quote Sarah C. Paine).
by FridgeSeal | 2025-05-07 08:09:45+00:00
> The grief of letting go of old roles is real. So is the joy of discovering new ones. The future is not a threat. It is a mirror.

That’s all well and good to say if you have a solid financial safety net. However, there’s a lot of people who do not have that, and just as many who might have a decent net _now_ but how long is that going to last? Especially if they’re now competing with everyone else who lost their job to LLM’s.

What do you suppose everyone does? Retrain? Oh yeah, excited to replicate the thundering herd problem but for professions??
by PaulRobinson | 2025-05-07 08:09:47+00:00
That model will die within weeks in Europe.

Customers will not correlate poor tipping with poor service, because tipping is considered so culturally different. If that behaviour starts to happen, customers will just use it once or twice, have a poor experience and decide "nope, that doesn't work for me, I'll not use that any more".

In the UK Deliveroo offers me a chance to tip when making an order but only really "pushes" it after delivery, conforming to the UK sense of a tip being in response to great service. I've only been minded to do it once when a driver genuinely did something exceptional when I messed up an order - so he got a £5 tip on a £2.50 delivery fee from a restaurant about a mile away from me.

DoorDash could actually try something innovative here - they could eradicate tips, and push service fees up a little, and make a big deal of it in their marketing that their gig economy riders are getting a great deal. If it catches on, you could find this ripple out into other services like Uber, and perhaps change the tone on tipping in general in other scenarios, too.
by simonask | 2025-05-07 08:09:53+00:00
Works for whom?

C++ build systems are notoriously brittle. When porting a project to a new platform, you're never just porting the code, you are also porting your build system. Every single project is bespoke in some way, sometimes because of taste, but most of the time because of necessity.

It works because people spend a huge amount of time to make it work.
by freehorse | 2025-05-07 08:10:38+00:00
The reasons that lead to these situations are extremely complex socially and they are not the same for every family, region, population group etc. It is not (just) about isolated families with shitty parents. I am not saying that there should be no child service intervening etc (which also should not always be just about taking children away), but that thinking that there is a fast, easy solution ignores the complexity. If child services intervene, it is often hard to actually change living situations. Taking children away is not always better for children, and often there is no good system in place for taking care of them, to put it mildly. There is no way to just "take children away" at scale in a way that is not making the situation shitty for many of them, like how it worked for aboriginal people in australia and greenland, and in general there is an important specificity problem when such approaches scale (which also is highly affected by cultural, racial, socioeconomic and other biases). In the best case (hypothetical) scenario that there is actually good will by the state to solve these, it would still take years if not decades. So I don't see that as a good argument for not giving free school lunch to kids.

Yes weekends and summer is a still problem in terms of food, I am not sure how it could be solved, but it is definitely not solved by not giving food the rest of the year too.
by waynesonfire | 2025-05-07 08:10:52+00:00
Companies arn't going to spend money to implement modes that save electricity unless they have to. The motivation can come about as a result of market competition or governance. Sometimes you need governance because of market dynamics, e.g. monopolies.

A better fix would be to expand the scope of Energy Star. I'm sure you'll still be able to find a suitable door bell just as easily as you discovered the quick wash button on your dish washer.

And, to take your argument to absurdity, we'd still have lead paint and no nutrition labels.
by actionfromafar | 2025-05-07 08:12:01+00:00
I think we lost something with static linking when going from C to Dotnet. (And I guess Java.) Many C (and C++, especially "header only") libraries when statically linked are pretty good at filtering out unused code.

Bundling stuff in Dotnet are done much more "runtime" often both by design of the library (it uses introspection¹) and the tools².

1: Simplified argument - one can use introspection and not expect all of the library to be there, but it's trickier.

2: Even when generating a self contained EXE, the standard toolchain performs no end-linking of the program, it just bundles everything up in one file.
by addandsubtract | 2025-05-07 08:14:18+00:00
While on the subject of games from the same author, Dicey Dungeons is an incredible fun game. Similar to a deck building rogue like, but instead of cards, you have dices. There are like six unique characters, multiple challenges per character, the rules keep changing (forcing you to rethink the game), and the game is filled with lots of humor. There's also free DLC and mod content, which I haven't even got to.
by simonask | 2025-05-07 08:14:45+00:00
The strong/weak distinction is a bit fuzzy, but reasonable people can have the opinion that C++ is, in fact, loosely/weakly typed. There are countless ways to bypass the type system, and there are implicit conversions everywhere.

It _is_ statically typed, though, so it falls in a weird category of loosely _and_ statically typed languages.
by Tainnor | 2025-05-07 08:14:58+00:00
> try a few easy leetcode problems in Lean with a proof of correctness

This might actually be harder than, say, proving some undergraduate math theorems because reasoning about mutable state (especially when you want it to be performant) is tricky. I might guess that it could be easier to use a model checker such as TLA+ for that (although that can only verify algorithm descriptions and not implementations) because they seem to be more built with these things in my mind, but I lack enough experience with it to be certain.
by ganarajpr | 2025-05-07 08:15:47+00:00
Lol, whats disingenuous is your arguments, honestly. So, either you have to argue that Pakistan's military is extremely idiotic / naive that it could not even detect a known terrorist living just around the corner or you have to argue that they knowingly kept him in their "shadow". The vast majority of the people believe its the latter - you are free to believe that they were idiots.
by jemmyw | 2025-05-07 08:16:02+00:00
I've watched it, I watch all his stuff. I like his humour.

I don't live in the US. He does talk about some differences. For example, I've never had a dishwasher here that didn't heat it's own water.

I did live briefly in the US and I recall that there were a bunch of subtle differences around appliances. Europe, Australia and New Zealand use the same models and the US gets different models.
by alganet | 2025-05-07 08:16:04+00:00
I don't know why.

I said many choices are focused on user-perceived performance, not all of them.

Refresh rate only really makes a case for performance in games. In everyday tasks, like scrolling, it's more about aesthetics and comfort.

Also, their scrolling on 60Hz looks better than scrolling on Android at 60Hz. They know this. Why they didn't prioritize using 120Hz screens is out of my knowledge.

Also, you lack attention. These we're merely examples to expand on the idea of bloat versus technical debt.

I am answering out of kindness and in the spirit of sharing my perspective to point the thread in a more positive discussion.
by valenterry | 2025-05-07 08:16:15+00:00
Yeah, this is the problem.

The LLM needs vast amounts of training data. And those data needs to have context that goes beyond a simple task and also way beyond a mere description of the end goal.

To just give one example: in a big company, teams will build software differently depending on the relations between teams and people. So basically, you would need to train the LLM based on the company, the "air" or social atmosphere and the code and other things related to it. It's doable but "in a few years" or so is a stretch. Even a few decades seems ambitious.
by swalsh | 2025-05-07 08:16:53+00:00
In general, if you bring something up in the prompt most LLM's will bring special attention to it. It does help the accuracy of the thing you're trying to do.

You can prompt an llm not to hallucinate, but typically you wouldn't say "don't hallucinate, you'd ask it to give a null value or say i don't know" which more closely aligns with the models training.
by yurishimo | 2025-05-07 08:19:00+00:00
Hey! I'm also learning Dutch and trying it out. A couple of things I discovered. For reference, I'm a native English speaker and speak Dutch at a B2~ level but my reading vocabulary is probably closer to B1.

The "long" story is not that long. I was expecting something closer to 1000 words or more. Using your Donald Duck example, I doubt the long story was more than 4 or 5 comic book pages. I started with the magic mushroom example, intermediate difficulty, and long length.

I also generated another story using the "lost puppy" prompt, but this time advanced difficulty and long. The difficulty was ramped up which I appreciate, but the length was even shorter than before!

The speech synthesis is garbage, but I'm sure you already know that. For a free service (for now), I understand why some limitations are in place, but it doesn't look good for your product unless you're targeting beginners. I'm not sure what you're offering is useful to anyone above that level. 3 stories per day for me is about 10-15 minutes on advanced (including the generation waiting time).

I wish you luck with the project! Imo, your time is best spent now optimizing your spend so you can provide higher quality audio to go alongside the text. I'm sure you will have plenty of content generated, but surfacing that to users without it feeling icky might also be a challenge.
by sureglymop | 2025-05-07 08:19:59+00:00
I think your last sentence is key. The NSO as far as I'm aware to targets people on an individual level.

It's not hard to phish and hack a single individual as a large organization. It's just a matter of resources and slipping up eventually. With that being said, the exploits they find are interesting and I wish they would publish them in a white hat manner instead.
by PicassoCTs | 2025-05-07 08:20:41+00:00
To be honest, the good guys - turned out to be pretty embarrassing too.

The whole "everyone thinks like us" delusion bought with the surplus of a good times window distributed all around and its still willing to return to this delusional state of affairs.

The obvious plot-holes they reveal when it comes to we do not discuss nature (the bugs in the human mind are all fixable with education) and we do not discuss nurture (all cultures are equal, and equally capable - disregard the evidence before your eyes).

You don't get to juggle and drop so many balls and do not massively loose confidence!

The rule of (finger in ears) "La-La-La" is over - the problem is- the right is a reactionary mess, that has no solutions, analysis and tools to exploit these weaknesses.