MurphyA/hacker-news huggingface dataset:
by brookst | 2025-05-02 21:35:18+00:00
I’m only an occasional hobbyist, but I am super excited for how AI can empower me to write ideas I want, but which are beyond my ability and / or not possible using normal tools. I really think we’ll see a revolution in music theory once it’s easy to incorporate microtonal, multi-tempo, and other crazy stuff.

Also as we can blur the line between instrument and audio; why can’t my piano morph into an organ over the course of a piece? (I’m familiar with the Korg Morpheus and similar; I mean in a much more real sense).
by _jerry_ | 2025-05-02 21:35:58+00:00
HomeVision | Engineering | Hybrid San Francisco (Remote+Onsite) | Full-Time | $150k-$220k + equity We are looking for an experienced software engineer to work with directly with our CTO on our new product line, focused on automated decision making. The ideal candidate is a motivated product builder who can innovate and deliver complex features.

Our systems process millions of pages of documents a month for the mortgage industry.

Skills: practical, ship-today mindset with the ability to use quantitative reasoning to drive practical automation in a massive but antiquated industry. Note that we are unable to provide visa sponsorship or relocation assistance at this time.

Email jobs@homevision.co and include commentary about relevant experience, why you are looking now, and what type of role you are looking for.
by msarnowicz | 2025-05-02 21:36:13+00:00
Reading through the description of how cgroups are used in Kubernetes, I can see some similarities and some differences as well. It is interesting to compare the approaches.

We chose not to use cpu.weight, and instead divide the host explicitly using cgroups (slice in systemd). We put Standard VMs in dedicated slices to keep them isolated and let several Burstable VMs share a slice. This provides a trade off between the price of the VM and resource guarantees.

We use cpu.max.burst to allow the VMs to "expand" a bit, while we understand that this creates a "noisy neighbor" problem. At the same time there is a minimum guarantee of the CPU. The cgroups allow for all those knobs and give a lot of control. Combining them in various ways is an interesting puzzle.
by ivape | 2025-05-02 21:36:37+00:00
In addition, based on AMD ROCm™ software, an open-source AI/HPC software stack for GPUs, and Fujitsu’s Arm-based FUJITSU-MONAKA software, Fujitsu and AMD will enhance their collaboration with the open-source community. Both companies seek to advance the development of open-source AI software that is optimized for the AI computing platforms they will provide, and work to expand the ecosystem.

https://www.fujitsu.com/global/about/resources/news/press-re...

ARM is supposed to be releasing their own AI chip soon, so I'm not really sure what's going on here, other than all these major companies just see incredible demand for chips:

https://www.ft.com/content/95367b2b-2aa7-4a06-bdd3-0463c9bad...

Would it be wrong to say these will probably be our inferencing chips instead of GPUs going forward?
by w10-1 | 2025-05-02 21:37:38+00:00
Strengths are weaknesses insofar as they bias you against building alternative capabilities. This is true on the personal level as well.

As for military red teams, a more relevant example might be from Japan in the 1980's: when they did product development, they set up distinct groups that had to take different approaches and compete for the chance to be the ultimate product.

The difficulty with taking this too far is anxiety, undifferentiated fear, splitting focus and attenuating priorities. That drains you and makes you ineffective. Players too weak to confront you directly sow discord in your ranks. That brings us back to questions of loyalty and validating that the critical perspective is being adopted in good faith. (Sadly all at work today in the US.)
by magusor | 2025-05-02 21:37:48+00:00
I think op meant the custom songs, there are thousands of them, amoung which a lot are of very high quality gameplay wise. I've been playing beat saber since when it came out (so about 7 years I'd say), and while I do play an "official" song here and there, most of my playtime is on customs. While this custom content does play in their favor, they do not however make it trivial to access it (you have to mod your game, which is a bit involved on a quest headset), unlike some other games, so I guess a lot of buyers don't actually buy the game for the custom content
by 93po | 2025-05-02 21:39:24+00:00
This is simply not true, at all, and NPR themselves deliberately try to obfuscate the truth.

"NPR's two largest revenue sources are corporate sponsorships and fees paid by NPR Member organizations"

NPR member organizations are government funded, and then that government funding rolls back up to NPR. So, they're mostly funded by ads and the government. Source in other comment.
by an_aparallel | 2025-05-02 21:40:29+00:00
Bottled water tastes fairly crap. But potable/tap water ...even in a part of Australia with good infra (i tested my tap water to have 17tds) tastes like a combination of metal/bleach. It is "hard" in the chemistry sense...and difficult to chug (the body doesnt like large amounts of it too quickly)

Once youve drunk ph adjusted (higher alkalinity) from a 4 cartridge RO water filter...everything tastes like shit.
How do I help a key employee stuck in Kafkaesque immigration limbo?
by owentbrown | 2025-05-02 21:40:36+00:00
I'm an engineering manager at a mature YC company. I work with an extremely talented and hard working machine learning engineer in Armenia. He received a Special Talents permit to work in the United States over a year ago.

Then his visa was abruptly frozen. He found out at the airport, with is wife, when he tried to board his flight, after moving out and packing everything they owned.

The Department of State has been reviewing his case for nearly a year. They will not release any details about the review.

As his employer, how can we expedite his processing? He's critical to my company's success.

We've tried writing our Congressman and Senators, but it hasn't helped.

Does anyone know someone pro-business in the current executive administration who can help?
by godelski | 2025-05-02 21:41:11+00:00
Working with different objects doesn't make it any less of math. Just because you can derive calculus from set theory (analogous to assembly or even binary here) doesn't make calculus "not math".

Math is about abstractions and relations. See the Poincare quote again.

Plus, the Programming Languages people would like to have a word with you. Two actually: Category Theory. But really, if you get them started they won't shut up. That's either a great time or a terrible time, but I think for most it is the latter.
by whodidntante | 2025-05-02 21:41:26+00:00
I agree there was always bias in the media. I think that back in the day, when things were not as polarized and not everything was corrupted by politics, the biases were not as large or as important - there was a lot more common ground.

Today, there is extreme polarization, and it is probably impossible to provide a single news source that is "objective" or "unbiased".

I am not making an ethnic or political judgement here. And, yes, I know there will be those who say you have to make a judgment because there is only one viewpoint today that is correct, that the other side is just lying and distorting. And which direction this goes depends on who you speak with.

For me, the only way to maximize what little understanding I have of the world is to go to various news sources. And I am not talking about understanding in the sense of listening to different viewpoints (which is part of it), but actually getting all the "facts", and by "facts" I mean actual events/stories. What people leave out is as important as what they put in.

I am well aware of Fox's issues. And NPR seems like the "nice guys". And I learn things from both that I could not get from one alone. And maybe Fox has more sinister lies and misrepresentations than NPR, and it is my job to sort through that. But for me, I feel Fox is pretty far to the right for me, and NPR is very far to the left for me in their viewpoints and in what they choose to present. So, for me, they are similar, for others, maybe not.

I don't care if the CEO is left leaning or right leaning. But both Fox and NPR conveniently leave out a lot of the story that does not align with their views.

And I do not believe either should get government funding. When we had a society with more homogeneous views, maybe it was ok for the government to fund news sources that provided something that fit within the views of the majority of the population. That is no longer possible.
by const_cast | 2025-05-02 21:42:20+00:00
This is just a reductionist mindset.

Of course satiety and gut microbiome matters.

I'm thin. Do you know what I do to maintain that? Fuck all. I eat what I want, when I want. Do I exercise? No.

Why is it that I don't have to try at all, but you do? Shouldn't you be a little curious, a little jealous? How cool would it be if you could maintain what you have now, but without any of the effort?

There's a lot of stuff I don't care about. I don't care about alcohol consumption either. I drink what I want, when I want. And it works out great for me. For others, that plunges them into a life of alcoholism and they die young of cirrhosis. Why? Why does it work that way? Why is it that I can do whatever but other people can't?

These are the questions we should be asking. You're solving the symptom, not the cause here. Eating too much is a symptom. The root cause is the propensity to overeat. I don't have that propensity, so guess what - I never have to try. But why don't I have it? Will I one day get it?
by buu700 | 2025-05-02 21:42:57+00:00
I know a lot of less tech-literate users who would leave something like this straight away thinking they're being hacked or something daft.

That reminds me of the time my friend and I put together a silly shell script called pentagonhack.sh that went through an 80s-movie-style nonsense hacking sequence while you mashed the keys. Most of the content was inside jokes, but there were a number of all caps references to a Pentagon server with warnings about unauthorized access being forbidden, and overall it looked pretty plausible to someone with no technical background or even cursory knowledge of SSH and Bash.

Anyway, my friend got bored one day and fired up the script in a TTY on his laptop during lunch in our high school cafeteria. Apparently his friend who'd been sitting nearby noticed and started paying attention to what was on his screen, and then understandably found it alarming when by all appearances he was in the middle of typing out a command to run a malware executable on a Pentagon server. So she stands up and yells, "JOSH IS HACKING THE PENTAGON!". Of course he immediately switches back to X11/GNOME, probably with some homework assignment open in OpenOffice or an active Blackboard tab in Firefox, and everyone looks at his screen before looking back at her like she's crazy. The way he tells it, she was practically ready to go call the cops until he explained the joke and calmed her down.
by ZeWaka | 2025-05-02 21:43:24+00:00
That's the basis for a very common VR game(s) you see in VR arcades and such (or conventions). https://store.steampowered.com/app/334540/Vox_Machinae/ or https://store.steampowered.com/app/1192900/IRON_REBELLION/

Having played them, they were slightly disorienting at first but nowhere near as actual movement-based VR games.
by Someone1234 | 2025-05-02 21:44:24+00:00
> Some of these fees are, indeed, paid to the government. That does not mean they are a tax

It actually means exactly that. A building permit is also a tax. If it is paid to the government (any government of any level) by force of law it is a tax; calling taxes "fees" doesn't make them any more not taxes.

If they said all "taxes and other government fees" that would be better, I suppose. But they don't say that, and their current fees aren't all government originating, ultimately making this price lock completely meaningless.
by graniar | 2025-05-02 21:44:55+00:00
Sorry, I didn't add the description in the beginning. Hope it's Ok to do this as a comment. This is not an AI-powered thing, but rather an attempt to approach the problem from the other side. To synchronize with the natural thinking of the user. So that you have some context, and the platform offers you a selection of implications and forks of different cases. By moving around branches and eliminating inconsistent ones, you prove the theorem. And based on that proof, the platform generates C code.
by Sohcahtoa82 | 2025-05-02 21:45:33+00:00
Not really.

Any game where your game-world movements don't match your real-world movements is what causes motion sickness.

It's as simple as that. If you're sitting in a mech, once the mech moves, you're likely to get sick, because you're moving in the game world, but not the real world.

There are ways to kind of fool your brain to make it work, but it's not 100%. For example, in Gorn, one of the movement options is to move an arm forward, then pull it back while holding the trigger, kind of like you're pulling the world. But if you alternate arms as you do it, your arms kind of simulate the swinging motion of walking, and that can be enough to drastically reduce or even eliminate the sickness.
by ncruces | 2025-05-02 21:46:03+00:00
The hashing algorithm is specified in the docs:

s[0]*31^(n-1) + s[1]*31^(n-2) + ... + s[n-1]

Per Hyrum's law, there's no changing it now.

https://docs.oracle.com/javase/8/docs/api/java/lang/String.h...
by shaboinkin | 2025-05-02 21:46:27+00:00
That 25% turns out to over 77 million people. Reducing voting results to percentages is a bit silly in my opinion. We both major parties, including minority parties, are composed of autonomous individuals with individual worldviews that are shaped by their unique life experiences that are capable of sharing their ideas with others while simultaneously consuming new ideas, including those from faceless actors who may have a vested interest in seeing a particular group rise to power, then act on them.

I have yet to see either major party present some message where some level of respect is required to even acknowledge that someone thinks differently than another, irrespective of the validity of their ideas, even if it’s completely illogical. The mainstream discourse I read typically descends into insults, which doesn’t help anything. However, I feel we’re past a point in which this is even possible given the polarization of viewpoints. That snowball has been rolling for over two decades it seems.
by lupusreal | 2025-05-02 21:47:51+00:00
The purposes of punishment include rehabilitation, as you mention, but also deterrence, incapacitation, retribution, denunciation, and restoration:

Deterrence: Destruction of the corporation serves as a lesson to the rest of society, to scare them away from doing the same.

Incapacitation: A corporation which no longer exists cannot reoffend.

Retribution: The deserve nothing less.

Denunciation: Overlaps with deterrence; gives people the benifit of knowing they live in a society where wrongdoing is punished. Suppresses vigilantism.

Restoration: The funds retrieved by bankrupting and liquidating the corporation can, at least in principle, go towards undoing the harm the corporation caused.

As for stealing candy bars, I think there is merit to going light on children. But corporations? Corporations are not children. They aren't even people. They deserve no mercy.
by 1vuio0pswjnm7 | 2025-05-02 21:48:02+00:00
"It is interesting how dependent on framing case studies are."

She fails to consider specifically that so-called "tech" companies also operate via "orthodoxy". There are enormous "gaps" in their "mental models and reality". As such, there are similarly-sized opportunities for "disruption" and "innovation". But as we have seen through documentary evidence, sworn testimony, and Hail Mary tactics like deliberately destroying evidence and giving false testimony in federal court, these companies rely on anti-competitive conduct. This is not merely an "inability to adapt", it is an inability to compete on the merits. One could argue the ability to effortlessly raise capital coupled with the large cash reserves of these companies results in a certain "overconfidence".

This is of course not the frame she chooses to adopt.
by McP | 2025-05-02 21:48:18+00:00
Nice to see ignore-revs getting some love :)

I originally wrote it because I wanted to do a mass-refactoring to llvm-project to change its weird naming convention and "it will mess up git blame" was an objection that was raised. Getting ignore-revs landed took many iterations over several months (thanks Barret!) and at the end of it I felt so drained that I didn't have the energy to do the mass refactoring I originally planned. Oh well. Maybe someday.
by alickz | 2025-05-02 21:48:21+00:00
>There's nothing to argue about, it's unambiguously not real empathy

I think if a person can't tell the difference between empathy from a human vs empathy from a chatbot, it's a difference without a distinction

If it activates the same neural pathways, and has the same results, then I think the mind doesn't care

>One reason human empathy is nice is because it is often followed up with actions. Friends who care about you will help you out in material ways when you need it.

This is what I think people vastly overestimate

I don't think most people have such ready access to a friend who is both willing and able to perform such emotional labor, on demand, at no cost to themselves.

I think the sad truth is that empathy is a much scarcer resource than we believe, not through any moral fault of our own, but because it's just the nature of things.

The economics of emotions.

We'll see what the future has in store for the tech anyway, but if it turns out that the average person gets more empathy from a chatbot than a human, it wouldn't surprise me
by godelski | 2025-05-02 21:50:03+00:00
> Isn't the primary purpose of math to describe the world around us?

No, that's Physics[0]. I joke that "Physics is the subset of mathematics that reflects the observable world." This is also a jab at String Theorists[1].

Physicists use math, but that doesn't mean it is math. It's not the only language at their disposal nor do they use all of math.

> software engineering has nothing to do with mathematical abstractions 99% of the time

I'd argue that 100% of the time it has to do with mathematical abstractions. Please read the Poincare quote again. Take a moment to digest his meaning. Determine what an "object" means. What he means by "[content] is irrelevant" and why only form matters. I'll give you a lead: a class object isn't the only type of object in programming, nor is a type object. :)

[0] Technically a specific (class of) physics, but the physics that any reasonable reader knows I'm referencing. But hey, I'll be a tad pedantic.

[1] String Theory is untestable, therefore doesn't really reflect the observable world. Even if all observable consequences could be explained through this theory it would still be indistinguishable from any other alternative theory which could do so. But we're getting too meta and this joke is rarely enjoyed outside mathematician and physicist communities.
by yubblegum | 2025-05-02 21:50:11+00:00
> It's kind of a wild sign of the times to see a tech company issue this kind of post mortem about a flaw in its tech leading to "emotional over-reliance, or risky behavior" among its users.

We don't know what they know, nor do we know to what extent they monitor and analyze the interactions with ChatGPT. Maybe they already know this is a big problem and a possible legal hazard.
by danenania | 2025-05-02 21:50:46+00:00
It begs the question of who decides what “reality” is though. A lot of people have an unrealistically negative view of themselves and their abilities—often based on spending time around pessimistic or small-minded humans.

In that case, if an AI increases someone’s confidence in themselves, you could say it’s giving them a stronger sense of reality by helping them to question distorted and self-limiting beliefs.
by gen220 | 2025-05-02 21:53:13+00:00
I totally agree. I think for theological reasons (if your goal is to convince yourself that Jesus is the Messiah of the Abrahamic religions), then it can’t be distilled.

However, I do think the abrahamic origin stories (genesis), the tribulations of the Jewish people in Egypt and reception of the Ten Commandments (exodus), and the moral teachings of Christ that replace those commandments (gospels) are more or less self-contained and free-standing, if you’re trying to understand them at face value.

The gospels in particular contain a good moral teachings that are arguably more valuable than anything else in the book. Like really clear directives on how to live and carry yourself.

In my Weird Bible, I’d cold open with the sermon on the mount, followed by the Pharisees and the passion, and recursively hyper-link to every New Testament or Old Testament thing that supports those “primary” stories. I feel like if you arranged the Bible into a neat “tree” structure that way, the main load-bearing trunks would be the books mentioned.
by alickz | 2025-05-02 21:54:11+00:00
Hopefully there are better solutions to the fundamental limitations of societal empathy in the future, but for now i just can't see any

Seems to me empathy on a societal scale has been receding as population grows, not increasing to match (or outpace)

Telling people to seek empathy elsewhere to me will be about as useful as telling people at an oasis in the desert to look for water elsewhere, but i hope i'm wrong
by hndamien | 2025-05-02 21:55:19+00:00
This song was produced a long time ago from a verbatim hacker news comment, and got released on Spotify and Apple and became a favorite at home.

Your comment inspired me to upgrade it to 4.5 because it did have that AI tinny quality. https://suno.com/s/tbZlkBL7XeLVuuN0

It sounds better but has lost some magic.

Here is the original comment - https://news.ycombinator.com/item?id=39997706

In that spirit, from the same “artist” here is your comment - https://suno.com/s/AumsIqrIovVhT0c9

And

https://suno.com/s/YGlpHptX6yXJVpHq

Not sure which I like more.
by concerndc1tizen | 2025-05-02 21:55:48+00:00
> America

Obviously America refers to the continent, so I'll use the shorthand country name "the US" instead.

> is the best

That may be true, but I do wonder if it was a lucky accident. What if the Irish famine hadn't happened? What if WW2 had been averted (but maybe the EU wouldn't exist...).

> rural cabin

That's nice, but what value is it if the forest burns down, the lake is polluted, the wild life is dead, and there's nothing left but neighboring land full of fracking wells? Glory to god.
by ndriscoll | 2025-05-02 21:55:50+00:00
Interpreting a CRUD apps (or fragments of them) as theorems is interesting (given a programming language and culture that doesn't suck)! e.g. if you have a function `A => ZIO[Any,Nothing,B]`, then you have reasonable certainty that barring catastrophic events like the machine going OOM or encountering a hardware failure (essentially, things that happen outside of the programming model), that given an A, you can run some IO operation that will produce a B and will not throw an exception or return an error. If you have an `A => B`, then you know that given an A, you can make a B. Sounds simple enough but in practice this is extremely useful!

It's not the type of thing that gets mathematicians excited, but from an engineering perspective, such theorems are great. You can often blindly code your way through things by just following the type signatures and having a vague sense of what you want to accomplish.

It's actually the halting problem that I find is not relevant to practical programming; in practice, CRUD apps are basically a trivial loop around a dispatcher into a bunch of simple functions operating on bounded data. The hard parts have been neatly tidied away into databases and operating systems (which for practical purposes, you can usually import as "axioms").