MurphyA/hacker-news huggingface dataset:
by scarecrw | 2025-05-02 21:19:27+00:00
Going further, it seems like Language Aptitude was primarily significant in explaining variance in learning rate, measured by how many Codecademy lessons they completed in the allotted time, but wasn't explanatory for learning outcomes based on writing code or answering multiple-choice questions.

Seeing as Codecademy lessons are written in English, I would think this may just be a result of participants with higher Language Aptitude being faster readers.

I do think that language skills are undervalued for programming, if only for their impact on your ability to read and write documentations or specifications, but I'm not sure this study is demonstrating that link in a meaningful way.
by mrandish | 2025-05-02 21:20:01+00:00
> the functionality needed for Suno to work here is very different from the "write prompt, get fully complete song" use case.

Yeah, AI music gen is super fun to play with for a half-hour or so - and it's great when I need a novelty song made for a friend's wedding or special birthday - like, once a year maybe. But neither of those seems like a use case that leads to sustainable, high-value ARR. I'm starting to wonder if maybe most AI music generation companies ended up here because AI researchers saw a huge pile of awesome produced content that was already partially tagged and it looked like too perfect of a nail not to swing their LLM hammer at. And, until recently, VCs were throwing money at anything "AI" without needing to show product/market fit.

I'm not sure they fully thought through the use case of typical music listeners or considered the entrenched competition offering >95% of all music humans have ever recorded - for around ~$10/mo. As you said, another potential customer is media producers who need background tracks for social media videos but between the stock music industry offering millions of great tracks for pennies each and the "Fivver"-type producers who'll make a surprisingly good custom track in a day that you can own for $25 - I'm not seeing much ARR for AI music generators there either.

Currently the launch hypothesis of AI music generation puts them in direct competition against mature, high-quality alternatives that are already entrenched and cheap. And those use cases are currently being served by literally the best-of-the-best content humanity has ever created. Targeting replacing that as their first target seems as dumb as a SpaceX setting "Landing on Mars" as the goal of their first launch. There's no way to incrementally iterate toward that value proposition. Sure, targeting more modest incremental goals may be less exciting, but it also doesn't require perfection. Fortunately, music producers have needs that are more tractable but still valuable to solve - and not currently well served by cheap, plentiful, high-quality alternatives. And music producers are generally easier to reach, satisfy and retain long-term than 'music listeners' or 'music licensers'.
by smmx | 2025-05-02 21:21:30+00:00
SEEKING WORK | Remote | CET Location: around 46/14

In past 20 years did many different projects, mostly worked with teams 1-5. 60% of projects were related to sport and TV, rest was various other fields. I was jumping between leading, architecting, designing, programming and things in-between :)

Last years I programmed mostly in C# (web services, aspnet, razor, ...) also desktop apps (WinForms, WPF, Avalonia), JS/Typescript (mostly for gui, I enjoyed mithril and now SolidJS). I also did some c++ for various small integrations (for example some plugin for Godot, some ffmpeg, ...) and lately studying Rust. Mostly worked with GPC 70% , AWS 20%, other 10%.

I like to make GUI/backends that makes sense, are easy to understand (test with users) and performant/fast. Also to last years, with minimum dependencies.

I also have experience with live events setup for small broadcast of events, networking experience

I did tons of remote support with people around the world, also know how to use this information to make better programs (or design...).

I do not have any experience with AI.

Looking for 20-100 hours per month.

hellohn@smmx.dev
by timewizard | 2025-05-02 21:22:17+00:00
The court does not deal in "truth." It deals in civil cases with "more likely than not" or in criminal cases "beyond a reasonable doubt."

It's also why the court prefers that people settle with each other outside of court processes. The court is a brutal cudgel. It has exceptional power to change outcomes but this use is almost never the ideal outcome for anyone involved.
by crazygringo | 2025-05-02 21:22:22+00:00
The problem doesn't even seem to be the dragon.

The problem is you don't "watermark" court filings in the first place.

That's generally not a thing. Court filings have strict requirements around formatting. This isn't any different from trying to file in Comic Sans or a 48-pt font.

Unfortunately this stunt is functioning as free publicity for this firm, because it's getting written about...
by sershe | 2025-05-02 21:23:10+00:00
$100 per person per year is an insane amount of spending on an information outlet controlled by the government.

The value of public broadcasting to me is 0, but I do occasionally get exposed to NPR thru other people listening to it and it appears extremely biased to me. My favorite example was when a woman who is quite "woke" politically turned off some NPR program about the perils of patriarchy that i was involuntarily listening to. I asked why and it was too cringe even for her.

Why would I want to pay for that?
by nsheils | 2025-05-02 21:23:26+00:00
Lore (https://careers.lore.co) | Software/Machine-Learning/ Data Engineers + More! | Full-time | REMOTE (US)

The company: Modern healthcare excels at treating fallout, but it struggles to address triggers—because it wasn’t built to. Yet intervening at these trigger points isn’t just how we stop rising demand; it’s how we create more health and happiness. We started Lore to build a new kind of care: a continuous, holistic approach that supports people whether they’re flourishing, struggling, or somewhere in between. We call it preemptive care.

The role:

- Small, cross-functional squads that own the full vertical slice of a problem space.

- No product or project managers—you're the one driving decisions and implementing them in a fast-paced, ambiguous environment.

- Working fully remote across the US means you need strong written communication and the ability to work asynchronously. Whether you're deep in technical details or connecting ideas across disciplines, clear communication is essential.

- We value the expertise you bring, but when new information comes along, we also need you to adapt quickly, challenge old assumptions, and embrace new ideas.

- If you thrive in an environment that rewards bold ideas, continuous learning, and active engagement in every aspect of the business and want to help people become more agentic, Lore might be the perfect place for you.

Open Roles:

+ Staff Machine Learning Engineer - https://careers.lore.co/roles/1

+ Staff Data Engineer - https://careers.lore.co/roles/2

+ Staff SWE (Automation) - https://careers.lore.co/roles/7

+ Staff Data Ops - https://careers.lore.co/roles/8
by svieira | 2025-05-02 21:23:43+00:00
> Cases 1 & 2 are manageable through url parameters

Any URL parameter that isn't signed is going to be modified (Look at me, I'm the CEO now). And if it is signed then it can be leaked (web app logs generally log query string parameters, if it's in a link that can be copy-pasted then it can be widely shared by accident, etc.)

> On the other hand, I'm not sure how much I like having #3 work in general

Yeah, that is another potential architecture for the web (kind of like Project Xanadu: https://en.wikipedia.org/wiki/Project_Xanadu). It isn't how the web is currently built, so the real question is "how much of the web should break?"
by godelski | 2025-05-02 21:24:03+00:00
> They just use i, x, etc. all over the place

I do agree with your point btw, but I did want to note that there are good conventions around symbols. The brevity is heavily influenced by the medium. Variable names sucked when you had punch cards. It's still burdensome to write long names when using paper, chalkboard, whiteboard, or any system that doesn't have autocomplete.

In general, lower case letters are used as constants, excluding x,y,z,t,i,j,k (sometimes u,v,w). It isn't a hard rule, but strong preference to begin at the beginning of the alphabet for these. Capital letters usually are held for things like Variable Sets (like random variables). Greek letters need context for constants or variables. BB and Cal typefaces for sets (e.g. Real Numbers, Integers). And much more.

I think a lot of the difficulty in it is that these "rules" or patterns are generally learned through usage and often not explicitly stated. But learning them can really help read unfamiliar topics and is why "notation abuse" leads to confusion. But after all, math is all about abstraction so technically any symbol will do, but no doubt some are (significantly) better than others for communicating.

There are two hard things in Computer Science: - Cache Invalidation - Naming Things - Off-by-One Errors
by _old_dude_ | 2025-05-02 21:25:06+00:00
In Java, constants are declared as static final.

static final Complex CONSTANT = new Complex(1, 2);

If you want a lazy initialized constant, you want a stable value

static final StableValue<Complex> STABLE_VALUE = StableValue.of(); Complex getLazyConstant() { return STABLE_VALUE.orElseGet(() -> new Complex(1, 2)) }

If you want the fields of a constant to be constant too, Complex has to be declared has a record.
by andrepd | 2025-05-02 21:25:12+00:00
Hmm but you can (an in fact do, in many physics programs) follow the historical development of theories using modern textbooks. The pedagogical value is in understanding, not exactly in wading through the archaic language and the confused early papers.

Even for modern theories like general relativity people study by textbooks written many decades after the fact, with a clear picture after things were settled, and not by Einstein's first papers :)
by Marsymars | 2025-05-02 21:25:48+00:00
Would hurt some utility apps though - sometimes I download an app to use for one thing, it works perfectly, and I uninstall it.

(You get an automatic refund if you pay for an app and then uninstall again quickly. I've repurchased apps that I've been refunded for in this way - I don't want to punish developers who make apps that accomplish their function quickly.)
by TechPlasma | 2025-05-02 21:25:54+00:00
The Path will reveal itself to you as you play. There is usually only one and it is correct.

Memorizing levels in Beatsaber isn't required to do VERY well. I very rarely ever play a level more than once in a session. And actually tend to struggle with highly repetitive "memory intense" sections of songs where it DOES become a rhythm game.

But if you follow the blocks they will lead you to where the next block will be.
by frereubu | 2025-05-02 21:26:23+00:00
This reminds me of a Will Self short story called Caring Sharing from his collection Tough, Tough Toys for Tough, Tough Boys where everyone has an "emoto", a kind of always-loving companion that people go to for reassurance if they're feeling any negative emotions such as anxiety. As I remember it, in the story two people are potentially falling for each other, but are so caught up in their anxiety that they never quite manage to get together, constantly running back to their emoto for reassurance because they can't get over their anxiety by themselves. The emotos essentially cripple everyone's ability to deal with their own feelings. There's a comment further down which also chimes with this: "It wouldn't surprise me if, for most people, ChatGPT offers them more empathy and understanding than _anyone_ else _ever has_, at least on a consistent basis." I wonder.
by drdeca | 2025-05-02 21:26:46+00:00
A programmer constructs a function from some data type to another while a mathematician constructs a function from witnesses of some proposition to another?

Though interpreting a CRUD app as a theorem (or collection of theorems) doesn’t result in an interesting theorem, and interpreting a typical theorem as a program… well, sometimes the result would be a useful program, but often it wouldn’t be.
by olex | 2025-05-02 21:27:12+00:00
Dragon likely wouldn't be able to get it, unfortunately.

The lander would easily fit into the unpressurized cargo bay (the "trunk"), that is typically used to launch various vacuum-bound payloads alongside pressurized cargo inside the capsule. However, for a return from orbit, the trunk cannot be used - it is not protected by a heat shield, and is ejected before re-entry.

You are correct that the return payload mass of a Dragon would technically allow it. But you'd need to somehow get the captured object _inside_ the capsule, which may be possible via the EVA front hatch for something smaller, but not 1m in diameter like the Venera lander.

Starship should be able to do it, since it is fully protected by heat shielding and returns in one piece, not ejecting any modules in orbit. But that's quite a while from being operational yet.
by Arrowmaster | 2025-05-02 21:28:37+00:00
The RIAA is the biggest detriment to any music based games success. Either you pay lots of money for every additional song or most the player base are pirates.

Maybe someday one will be released with Spotify, YT Music, and Amazon Music integrations. Advertising that you just need to connect your accounts and can use anything. But I'm sure there are a lot of people working to make sure that never happens.
by kelseyfrog | 2025-05-02 21:29:52+00:00
Sure! I "re-mastered" my mini-album with v4.5 since that's more in the spirit of the discussion.

https://suno.com/playlist/e6c3f3d1-a746-4106-bea1-e36073d227...

Side note: It feels a little vulnerable to be sharing these. They genuinely helped me through difficult times and I wasn't really expecting anyone else to ever listen to them.
by threecheese | 2025-05-02 21:31:00+00:00
The biggest surprise to me was: “administration officials told some U.S. government employees that DOGE is using AI to surveil at least one federal agency’s communications for hostility to President Trump and his agenda”. I understand that there’s no expectation of privacy at work (especially in govt), and everything you write is “on the record”; however an employer monitoring comms for what’s essentially thoughtcrime is heinous. Isn’t disagreement healthy?
by hobs | 2025-05-02 21:31:06+00:00
I use the web fairly constantly and yeah, if I am visiting a new site and I want to see the content there's a 50/50 chance I have to press a button in noscript (like 2-3 clicks) - but when you setup your initial set (usually takes me about a week) you'd be surprised how few net new properties you set in a week - maybe 100 or less?

I also set temporary permissions for any site I dont think I will be spending a lot of time on because they might change what's running and I dont have any trust or insight into their process - so I might authorize that site 3-4x a year sometimes before I say it can stay.
by vram22 | 2025-05-02 21:31:18+00:00
As I quoted shubhamjain in my above reply to him:

>India lacks even the most basic manufacturing

(bold emphasis mine)

My reply to him was about exactly that (the "basic" part), and nothing else.

So, this part of your comment is actually corroborating my point:

>Steel, textiles, pharma, auto etc. are all relatively "primitive" stages of manufacturing.

The rest of your point (about the advanced stuff) is irrelevant to this particular small subthread starting from that quoted point, even if relevant overall.

>India's electronics manufacturing is absolutely nowhere near industry leaders.

I never said it was. So you are disputing a point I never made.

And India does make some more advanced stuff too, but I will not bother to get into that; you can look it up yourself, if so inclined. I anyway gave many Wikipedia and other links above.

Except for one below, which is worth giving separately:

Have you heard of ISRO?

https://en.m.wikipedia.org/wiki/ISRO

Excerpts:

>The Indian Space Research Organisation (ISRO /ˈɪsroʊ/)[a] is India's national space agency, headquartered in Bengaluru, Karnataka. It serves as the principal research and development arm of the Department of Space (DoS), overseen by the Prime Minister of India, with the Chairman of ISRO also serving as the chief executive of the DoS. It is primarily responsible for space-based operations, space exploration, international space cooperation and the development of related technologies.[3] The agency maintains a constellation of imaging, communications and remote sensing satellites. It operates the GAGAN and IRNSS satellite navigation systems. It has sent three missions to the Moon and one mission to Mars.

>ISRO built India's first satellite Aryabhata which was launched by the Soviet space agency Interkosmos in 1975.[8] In 1980, it launched the satellite RS-1 on board the indigenously built launch vehicle SLV-3, making India the seventh country to undertake orbital launches. It has subsequently developed various small-lift and medium-lift launch vehicles, enabling the agency to launch various satellites and deep space missions. It is one of the six government space agencies in the world that possess full launch capabilities with the ability to deploy cryogenic engines, launch extraterrestrial missions and artificial satellites.[9][10][b] It is also the only one of the four governmental space agencies to have demonstrated unmanned soft landing capabilities.[11][c]

ISRO's programmes have played a significant role in socio-economic development. It has supported both civilian and military domains in various aspects such as disaster management, telemedicine, navigation and reconnaissance. ISRO's spin-off technologies have also aided in new innovations in engineering and other allied domains.[12]
by 93po | 2025-05-02 21:32:13+00:00
i'm not really into music, at all, but would easily pay $50/month to be able to have this functionality, too. even just the tools being what they are i've spent over a dozen hours playing around with it because it's so much fun. add the ability to separate parts of the tracks and select portions specifically to change and i'd use this constantly, all the time
by namaria | 2025-05-02 21:32:16+00:00
You can split linguistic hairs all you want.

Not "entirely alien, had some ties" is not it. They were part of the same cultural cluster, participated in the same games, traveled to the same sanctuaries, had mutual proxenies. The very fact that we know the opinions of several Athenians about Spartans is telling. We don't know what they thought of inhabitants of Celtic population centers, or Assyrian cities, or Egyptian ones. But we know what they thought of individual Spartans that they mention by name, biographical detail and genealogy.
by const_cast | 2025-05-02 21:33:03+00:00
The oversimplification here is that you're assuming that over-consumption is both completely voluntary and the root cause. But it's not - it's actually a symptom.

People overeat for a variety of extremely complex reasons. Mental health, stress, hormonal interactions. gut microbiome, dopamine deficiency, and on.

The assumption that forcing yourself to eat less is solving the root cause is not sound, in my opinion. If you look at GLP-1 inhibitors, those appear to be a much more root cause solution. Rather than solving over-consumption, they solve the propensity to over-consume, which then solves over-consumption.

What we really need to be looking at is why some people have a propensity to over-consume and why some don't. Why are some people destined to a life of constantly fighting food when others don't have to try at all and they stay thin?

Just intuitive, I know this is also the case for other substances like alcohol. I've never had to struggle with alcohol and I never will. I just drink whenever and never think about it. But for some people, it's a lifelong struggle. They have to constantly be thinking about alcohol, and every time it touches there lips it's a problem. Why? Is it genes? Our environment? Psychological support in childhood?
by didericis | 2025-05-02 21:33:17+00:00
Agreed/that’s a good take.

Again, I think they have utility as a “perfect stranger” as you put it (if it stays anonymous), or “validation machine” (depending on the sycophancy level), or “rubber duck”.

I just think it’s irresponsible to pretend these are doing the same thing skilled therapists are doing, just like I think it’s irresponsible to treat all therapists as equivalent. If you pretend they’re equivalent you’re basically flooding the market with a billion free therapists that are bad at their job, which will inevitably reduce the supply of good therapists that never enter the field due to oversaturation.
by lapcat | 2025-05-02 21:33:21+00:00
> Carter is considered by many to be the greatest president ever.

Citation needed. This is the first time I've ever heard such a wild claim.

> Besides the numerous accomplishments listed https://www.theguardian.com/commentisfree/2024/dec/30/jimmy-...

That opinion piece was written by a former member of the Carter administration.
by Mawr | 2025-05-02 21:34:17+00:00
I watch accident videos, not crash videos. Pulling out/switching lanes while not looking is like 40% of the clips in the videos. It's a common, predictable driving scenario, nothing to get one's panties in a bunch about.

Here's a classic example with an explanation: https://youtu.be/kTczmnkz824?t=882. No experienced driver should be surprised here.
by godelski | 2025-05-02 21:34:26+00:00
I think you misunderstand what "paradox" means. While it can mean "self-contradictory" it can also mean "contrary to one's expectation." Math uses both, but in very different contexts.

The contradiction is used in proof formulation, specifically to invalidate some claim. I don't think this is what you're implying.

The latter is what it contextually sounds like you're stating; things like the Banach-Tarksi Paradox. There's no self-contradiction in that, but it is an unexpected result and points to the need to refine certain things like the ZFC set theory.

I'd also stress that there are true statements which cannot be proven through axiomatic systems. The Halting Problem is an example of what Godel proved. But that's not contradictory, even if unexpected or frustrating.
by danielmarkbruce | 2025-05-02 21:35:03+00:00
It is hugely judgmental of people making claims and doing studies who don't understand that elementary arithmetic is a tiny part of math. I judge them. It's ok to be ignorant of a topic, but they shouldn't discuss it or make suggestions.

The comment below/above sort of explains it, except I'd argue covering it starts/can start/should start much earlier than at university. Basically, the vast majority of most branches of math, especially pure math, involves very little in the way of calculation. And the way math gets taught (and stupid claims about "math brain") means that many kids who aren't in the top few % of "doing calculation" never get to do the classes where it's less important.

LLMs, trained on words/tokens and symbols and logical combinations of them, are proving to be good at math, and bad at calculation/arithmetic. If an LLM went to school we'd never let it train on real math tokens. It would get shoved in the corner as a "model bad at math" because it was a "model bad at arithmetic".
by azemetre | 2025-05-02 21:35:14+00:00
No. As an industry we need to start consolidating on open source tooling, we see what happens when a company breaks away from open source licenses: it hurts consumers at their detriment.

Your quote has no bearing in this context. We aren't talking about rewriting our projects, we're talking about purposely choosing open and free tools.

Also GSAP isn't even the leading animation library in JS ecosystem, thankfully.