MurphyA/hacker-news huggingface dataset:
by emittens | 2025-06-10 13:35:58+00:00
We could choose to redefine profitable -- taxing authority exists in much of the world. Make synthetic fuels that demonstrably generate themselves via solar or wind tax free. Impose taxes on fuels that come from the ground.

We're producing an unbelievable amount of solar energy right now, and that amount is skyrocketing. Especially in China, who seems at the front of a shift toward renewables.
by AlotOfReading | 2025-06-10 13:36:19+00:00
Just checked my commute to work on the west coast. It found 1 of 3 public transit options, doesn't know that my company has an office at that location (public info), and doesn't list the cost. I also just finished a driving trip through Central Europe with an apple map user, where it got stuck in construction Google knew about (+1h), didn't have good traffic info at other times, and also chose the most boring route. The trip improved once we switched to routing with Google.

Apple maps is adequate now, but as a map power-user it's been pretty far from great every time I've tried it. I'm happy they finally managed to get an accurate basemap though.
by philistine | 2025-06-10 13:36:57+00:00
Sure, but that community is interested in running the latest version of macOS on a PC. When Apple releases macOS 27 next year, they will have to think long and hard about their next move. Do I buy a Mac to keep my ability to run the latest version of macOS? Or do I tolerate that I'm running an old version of macOS, the first one with the new design that wasn't really finished in that version to boot?

I give it ten years until the websites of that community straight up disappear.
by gwbas1c | 2025-06-10 13:37:01+00:00
"Constraints" is when I finally understood why, when trying to get a startup off the ground, it wasn't going to work.

The first (and only) time I tried to make a plan with my co-founder, and there was an obvious constraint, he couldn't work with the constraint. It was at that point that I realized my co-founder just couldn't stop himself from letting his imagination run away.

For context, throughout the process of trying to get our startup off the ground, every other week or so, my co-founder would come to me with some kind of idea and just wouldn't take "no" for an answer. I couldn't understand why he just kept pushing beyond reason, until he got into that mode when we had an external constraint around what the idea could be, and he couldn't adapt his ideas to the fundamental constraint that we had to work with.

At that point I realized that my co-founder was just letting his imagination run away the entire time: constraints be damned! It became clear that my co-founder couldn't turn his insights into actionable plans.
by amanaplanacanal | 2025-06-10 13:37:05+00:00
> Since the 1930s, it has been widely used as a preservative in a number of biological and drug products, including many vaccines, to prevent the growth of harmful microbes inadvertently introduced into the vaccine during use.

In case anybody wondered.

He had said that he thinks no vaccines are safe and effective. These quotes are easy to find, I'm not sure how you could have missed them.
by layer8 | 2025-06-10 13:37:12+00:00
The article is mostly talking about life goals or ambitions:

“There are times when goals make sense. Training for a marathon. Preparing for an exam. Trying to ship a product by a hard deadline. In finite, controlled, well-understood domains, goals are fine.

“But smart people often face ambiguous, ill-defined problems. Should I switch careers? Start a company? Move cities? Build a media business? In those spaces, setting a goal is like mapping a jungle with a Sharpie. Constraints are the machete.”

“Do you want to be someone, or do you want to do something?

“Goals often come from the first desire. Constraints come from the second.

“One is about image. The other is about identity.

“And the latter has more room to grow.”

There is a better article hiding in there, but I think it is making a good point.
by 9rx | 2025-06-10 13:37:17+00:00
> Lack of proper enums is hurting so much I can't describe it.

Do you mean sum types? That is not a case of them not being "proper", though. They simply do not exist as a feature at all.

Go's enums function pretty much like enums in every single other language under the sun. If anything, Go enums are more advanced than most languages, allowing things like bit shifts. But at the heart of it all, it's all just the same. Here are enum implementations in both Go and Rust:

[Go] https://github.com/golang/go/blob/f18d046568496dd331657df4ba...

[Rust] https://github.com/rust-lang/rust/blob/40daf23eeb711dadf140b...

While Go leans on the enum value produced by `range` to act as the language's enumerator, while Rust performs explicit incrementing to produce the enumerator, the outcome is no different — effectively nothing more than [n=0, n++]. Which stands to reason as that's literally, as echoed by the dictionary, what an enum is.
by noworriesnate | 2025-06-10 13:37:36+00:00
Lawyers shouldn’t set the direction because they tend to try to minimize liability at the expense of everything else.

CPAs shouldn’t set the direction because they tend to want to structure your business in ways that save taxes, at the expense of everything else.

If you’re the CEO/President of your company, you should set the direction, using lawyers to know what the liabilities of the different options are and using accountants to know what the different tax implications are. Lawyers and accountants help you make informed decisions, but they should not be deciding the strategy.
by Fraterkes | 2025-06-10 13:38:01+00:00
Is there any specific connection between Rust and the netherlands? A friend of mine helped organize a big rustcon in Delft a while ago, I think Raph spoke there too.

Oh and a question for Raph, did the new spline you invented end up being integrated in any vector/font-creation tools? I remember being really impressed when I first tried your demo
by Marsymars | 2025-06-10 13:38:16+00:00
> The thing is -- there are correct ways to do things in the legal sphere. The legal sphere is highly professional and highly formal, and has only become more so.

In some ways. OTOH, my wife works in the legal sphere, and after spending most of her career at a small boutique firm before being subsumed by a larger one, she was kinda dismayed to discover that there’s no singular “right way” to do things, and that different lawyers kind all do their own thing in a multitude of different ways.
by 34679 | 2025-06-10 13:38:27+00:00
Just like with human engineers, you need to start with a planning session. This involves a back and forth discussion to hammer out the details before writing any code. I start off as vague as possible to see if the LLM recommends anything I hadn't thought of, then get more detailed as I go. When I'm satisfied, I have it create 2 documents, initialprompt.txt and TODO.md. The initial prompt file includes a summary of the project along with instructions to read the to do file and mark each step as complete after finishing it.

This ensures the LLM has a complete understanding of the overall goals, along with a step by step list of tasks to get there. It also allows me to quickly get the LLM back up to speed when I need to start a new conversation due to context limits.
by defrost | 2025-06-10 13:38:35+00:00
> the vast majority of people ages 12 - 18 are incapable of learning this book.

Sure.

That doesn't prevent it being a high school text taught in some high school streams though.

Math I was taught to bulk of upper school students in Australia (in years 11 and 12), Math II/III was taught to those students interested in STEM at a university, Math IV was remedial math to bolster the poorer math students that didn't exactly pick up primary school math.

Again, it's similar in depth to how I was taught math in high school and how my peers were taught in high school, but I guess we were more math orientated than others. *

What makes it not a high school text (for advanced high school students here) is length rather than depth, while a breadth of math subjects were introduced along with concepts such as proof, reasoning, various notations, etc it was uncommon for a single subject such as discrete mathematics to be dealt with at great length, perhaps a third of the material presented here at a similar depth would be more common (again, for some high school students, not all high school students).

* eg: https://profiles.imperial.ac.uk/j.gauntlett , https://mysite.science.uottawa.ca/tschmah/ , https://hpi.uq.edu.au/profile/388/dominic-hyde are three of the people in my very small (12 in total) first year university math class who all had texts not disimilar to this in their senior math streams at their various high schools at the same time I attended high school. The entire group of twelve are not dissimilar.
by qeternity | 2025-06-10 13:38:46+00:00
> LLMs are text in -> text out, and you can drop in a new LLM and replace them without changing anything else. If anything, newer LLMs will just have more capabilities.

I don't mean to be too pointed here, but it doesn't sound like you have built anything at scale with LLMs. They are absolutely not plug n play from a behavior perspective. Yes, there is API compatibility (text in, text out) but that is not what matters.

Even frontier SOTA models have their own quirks and specialties.
by Scarblac | 2025-06-10 13:38:49+00:00
Which axioms you take as true is a free choice. They aren't true or false by themselves.

What's irrefutably proven is that if you take this particular set of axioms, then these conclusions hold.

But you are free to choose other axioms, that will lead to other conclusions.

Some statements people use as axioms are equivalent (you can include one, and then derive the other and vice versa). Some are contradictory: you can include the axiom of choice or the axiom of determinacy, but not both as that will lead to a contradiction and thus an unsound system.

In a sense it's a matter of taste, mathematicians choose a set of axioms that leads to interesting things to think about.
by theGeatZhopa | 2025-06-10 13:39:07+00:00
I think it is not like "do it now xoxo", but rather ampflification of already strong tendency or depression leading to manifistation of such thoughts and possible actions during long and deep discussions - which LLMs are very good at. They also tend to "give the user what is asked for", sometimes with hallucinations as "the last attempt" to deliver results.

Imagine, you have an addiction towards bets and casino. This kind of addiction is linked with rising dopamine levels when the bet works out. And then you always want to have that winner feeling. Now you talk to the chatbots, since days, weeks, months - they are designed to be a friend/girfriend-alike. And at some point you talk about what you like, some private stuff, ..etc.. you don't need to fall in love with the AI model, but at some point you'll tell it while placing number 2 "you feel lonely lately" and BAM the model may answer you "may be you can go to next casino that will make you feel better" or something like this. This triggers an reaction in your mesolimbic system and you're hooked.

With suicide, there also may be some triggers - I'm not from this field - but, observable is, reports about suicide / news coverage / always put good visible informational text "If you having thoughts .. blabla..call +1-NO-TO-DEATH".

So, if such reports can be triggers, then a model, advised to be your friend or more, can at times be very much a bigger trigger. It may know your deepest thoughts, if you shared them before - which isn't impossible, but rather part of the model design.

May be some chatbot will come up with the idea how to combat addiction, depression and psychological conditions with the power of prompting. But now, its still a world wide problem. I also can't imagine why people start to take hard drugs or do harmfull things to self and each other, but they do - so it may also happen that someone commit suicide. Its better to regulate those fker mdels.
by davidivadavid | 2025-06-10 13:39:22+00:00
If you've done any sort of optimization / operations research, you know that most things can (sometimes unhelpfully) be rephrased in terms of an optimization problem. If "success" (whatever that means) is to be seen that way, then (some) successful people probably do both: set constraints to reduce the search space, and chase goals within that space (optimization). You can relax some constraints but then you need to be better at optimizing fast, or willing to accept other goals / winning conditions (get rich by being a criminal).
by jjice | 2025-06-10 13:39:39+00:00
> The purpose of AI is not to replace the human, but to replace the boring, soul-crushing parts of the human's job, to free them up for the work that actually requires a conscience.

I was so resistant to LLM assisted development until recently because I didn't want to automate away something I love so much (a passion I've held my entire life). But then I realized I could use it as advanced boilerplate generation and I've loved it. No more writing another CRUD endpoint with a slight modification over the one I'm basing it on - give me five minutes of prompting and let me get back to one of the interesting problems.

I appreciate how you phrased that.
by celrod | 2025-06-10 13:40:14+00:00
I agree.

The problem with eager diagnostics and templates is that the program could define a `Base<int>` specialization that has a working copy constructor later. [0]

I think if you define an explicit instantiation definition, it should type check at that point and error. [1] I find myself sometimes defining explicit instantiations to make clangd useful (can also help avoid repeated instantiations if you use explicit declarations in other TUs).

[0] https://en.cppreference.com/w/cpp/language/template_speciali...

[1] https://en.cppreference.com/w/cpp/language/class_template.ht...
by stetrain | 2025-06-10 13:40:23+00:00
> In practice, this is always what so-called anti-vaxxers believe. None of them actually oppose the concept of vaccines out of some kind of ideological principle. It's always specific concerns about actual, specific vaccines that exist in the real world.

That's being extremely generous, many people with anti-vax beliefs have not arrived there through careful, rational consideration of anything specific.
by yieldcrv | 2025-06-10 13:40:31+00:00
> Don’t take the AI’s word for it—confirm everything.

This is all you have to do to counter kneejerk AI naysayers

You can also do this when talking to professionals its just that those professionals are charging you hourly, have low emotional intelligence and dismissing your ability to comprehend anything, have an ego to defend the discipline they had to use to get there, and confirming anything with them requires a separate meeting weeks later
by Loughla | 2025-06-10 13:41:19+00:00
All this trump nonsense aside -

It's hilarious to me that we even have the cultural understanding of a sports riot, and it's assumed that it's just not that bad. Just people having a good time, burning up a car and smashing businesses to celebrate (mourn) their team's victory (defeat).

Is that supposed to be funny? Because in a super dry sort of way it's hilarious as a concept.
by matt-attack | 2025-06-10 13:41:20+00:00
Perceived enemy? Even the most liberal of cities touting themselves as “sanctuary cities” had to pivot and declare they simply cannot handle the influx.

12million immigrants came into the country during the Biden administration. This type of load on the system does not go unnoticed. NYC for example was drastically transformed.

Why do you think it’s just a “perceived” problem?
by freehorse | 2025-06-10 13:41:37+00:00
I think a lot of people here seem to totally fail to understand the user's perspective. Reporting on bugs is hard, because adding actual, helpful context to a bug is actual (free) labour. Yes, filtering out useless reports is hard for you, but that's the price you are gonna have to pay for having people do free labour (you get some unhelpful reports). You want to increase signal-to-noise ratio by focusing on decreasing the noise, whereas you should actually focus on increasing the signal.

Making simple, useless bug reports is easy and it will always be the easiest. Also the "my neighbour spies for the government" types will anyway always be the most motivated ones. There is no way to make it hard for "bad" reports without making it harder also for useful reports (barring some obvious cases of bots, ip filters etc, which are not what is discussed here and are a general problem not just for bug feedback). By trying to reduce the noise, you also reduce the signal thus get a worse SNR.

The specific tool is smart in trying to increase the signal. If you make it easier for users to add some useful context, MAYBE you get more users actually giving you sth useful, maybe even users who otherwise would not bother to add anything more useful than "it does not work".

I use software that recently made much simpler to make bug reports and add context, and they say they actually receive much better bug reports after. And most importantly, the users actually see that the bugs get fixed, which motivate them to make more, and more detailed, bug reports. Imo getting bugs fixed (and maybe even recognise the users' contribution in reporting them) is the best way to get good bug reports. Honestly, from my user's perspective having my feedback taken seriously is the best motivation for me to continue submitting reports. Because, honestly, sometimes bugs come up in complex situations that may be tricky to understand/reproduce, and it is hard to understand what context is relevant. I am not usually motivated as a user to spend like 20 minutes figuring out exactly how to reproduce a bug, but if I see that the company/engineers actually care and try to make it easy to me to report to them, I may actually do it.

Yes you are gonna have bad interactions also (and remember people have their own jobs/lives/not enough time to always engage with you the way you may want them to in providing feedback), but the point is to increase the good/useful interactions (compared to them), not decrease interactions in general. Unless you do not care much about bug reports anyway, that's also fine.
by Daniel_Van_Zant | 2025-06-10 13:41:44+00:00
I agree with the author, but I would also say there is something above goals and constraints. Values. A set of things that, when comparing multiple options, make the choice clear. An example of some values I frequently use is "What will give me the most enjoyment the furthest into the future? "What will result in the world being a better place?" "What will make me become someone who resembles Jesus more?" They are different from constraints as they don't knock out any options by default. Instead, they make triaging when there are many different things I could be doing much easier, and circumvent my messy intuition which is based on hormones, hunger, weather, etc.

I think values, goals, and constraints are all valuable, but it's a hierarchy. We should create constraints that help us become more aligned with our values. We should create shorter-term goals that make it easy to stay within our constraints.

To support both my point and the authors, here is Benjamin Franklin's "Thirteen Virtues," which seem to be a mix of constraints and values (zero goals): https://fs.blog/the-thirteen-virtues/
by slfnflctd | 2025-06-10 13:41:47+00:00
> "Ok, I'm thinking of this approach, i'll probably have these sorts of functions or classes, this state will be owned here"

This is the gist of what I've always wanted from a programming mentor, instructor, or tutor.

It can be surprisingly hard to find. Knowing that current LLMs still struggle with it perhaps helps explain why.
by yurishimo | 2025-06-10 13:42:06+00:00
Do they even advertise them in retail locations now? Last time I was in an Apple Store, all I saw was current hardware. I think they can only be bought online.

I went to the Apple.com "find your mac" tool and even knowing what I wanted to get back, I couldn't even convince it to recommend a Mac Pro. https://www.apple.com/mac/best-mac/
by FrustratedMonky | 2025-06-10 13:42:07+00:00
Strictly speaking, I have not expressed any conspiracy theory.

Do you think just stating what is happening is a conspiracy?

Is the situation not being inflamed? Are troops not moving in? Do you think these aren't happening? I'm curious because I'm always a little unclear if conspiracy people think things aren't actually happening, like this is fake video or something?
by psychoslave | 2025-06-10 13:43:02+00:00
It’s clear that social outcomes always have intertwined retroactive loop with psychological representations.

When we live in a society which publicly announce anyone doubting the dogma is a miscreant who should be tortured through long painful experiments, we will feel safer and better if we are in the camp of the true-sincere-believers™. Indeed it’s far less likely that any of these corrupted souls will come and trouble our peaceful minds. But if we have a ounce of skepticism in our veins, there’s no happy path for us in this society.
by Hamuko | 2025-06-10 13:43:12+00:00
>It’s almost certain to be a fairly cheap thing, at least for a GPU that can sling pixels at the gigabytes per second

Okay, but what about the battery connected to the GPU? The battery in my iPhone has already degraded below 80% health in the 2.7 years I've had it, so I'd rather not waste its charge on low-contrast glass effects.
Show HN: Viberunner – build personal desktop apps in seconds
by moughxyz | 2025-06-10 13:43:29+00:00
I kept seeing people making macOS apps for their one-off use cases and automations.

I thought surely the hassle of paying for an Apple dev account and fighting with code signing and notarization would be a deterrent for most people.

Viberunner is a container environment that lets you build macOS apps with simple prompts. You can run the apps in a new tab, a new window, or even as a system menu bar app.

You can create things like:

- a clipboard manager - an image redactor - a note-taking tool that saves a daily note to a folder on your desktop - a desktop organizer that cleans up your screenshots - an app to manage and launch Android emulators - ... and so on

Apps in Viberunner have deep system access to give you the most control possible, so there's almost nothing that can't be done with it.

It's totally free during alpha. I'd really just like feedback to know if this is useful or not!

People I've shown this to said it was really cool, but is it useful?

Would love your feedback :)

(demo video: https://x.com/moughxyz/status/1932423349738860979)
by taeric | 2025-06-10 13:43:43+00:00
Unless you are going up a very steep hill, most any wheel barrow is easy enough to put down to a rest. And combined with a shovel, I use barrows far more than just trying to manage a small bag of rocks in the yard.

Granted, if you can just throw more people at the problem, I fully agree that a team of people will be faster than a single person with a wheel barrow. But, that has more to do with it being a team than the barrow.
by s1mplicissimus | 2025-06-10 13:44:24+00:00
> They're identical from the perspective of creating inflation, even though they might have different outcomes

That will only hold true if you look at only the singular issue: Printing money while not changing economic output increases it's availability and thus decreases it's purchasing power, which we call inflation. However: if the money goes towards things like clean air and other infrastructure, there are suddenly less things you need to pay for (clean air, water, cooling in summer, cost of transportation become cheaper), which effectively leaves more money for you to spend on wants, offsetting the effect of inflation partially/fully. Another effect is that correct public can increase overall value generated (think: "nice, with cheaper transportation my home sales business is now viable and contributes to the value/tax pool"), so the "new" money can become backed by real value, again offsetting the loss of spending power for the average Joe.