MurphyA/hacker-news huggingface dataset:
by cosmic_cheese | 2025-08-03 00:50:07+00:00
My theory is that this is a sense that people picked up on thanks to the outpouring of various cheap electronics from China from the 90s onward. They tended to be enclosed in thin plastic shells that were sometimes larger than necessary in attempt to increase visible differentiation from competitors sharing the same internals. This made them feel hollow, and people associated that feeling with cheapness.

By contrast, high end electronics brands like Sony used thicker enclosures that were made with a thicker, less resonant plastic or even metal and focused on miniaturization which naturally lent itself to more dense products. People then associated that denseness with quality.
by quintes | 2025-08-03 00:50:08+00:00
I think your proposal through to voting has merit, and a healthy community would pass good proposals, and hopefully you don’t get to an environment where people abstain. That means something is wrong and ultimately abstain is a vote in and of itself.

Self governance could end up like mutiny on the ship (I referred to that above) but we must have some form of governance or we have anarchy.

I wish you the best on the platform. Let us all know of any lessons you learn in time.
by seanwilson | 2025-08-03 00:51:21+00:00
"The International Mathematical Olympiad (IMO) is the World Championship Mathematics Competition for High School students", so not to undermine it but it's below university or graduate level.

Research level mathematics like this is as hard as it gets, and this proof is famously difficult: uses many branches of advanced mathematics, required thousands of pages of proofs, years of work.
by xorcist | 2025-08-03 00:52:14+00:00
Indeed, this will continue as long as the market allows it to. There is a well known quote about how long markets can stay irrational, but I would like to remind where we are right now:

Telco capex was $100 billion at the peak of the IT bubble, give or take. There's going to be $400 billion investments in AI in 2025.
by mixedCase | 2025-08-03 00:52:17+00:00
I'm sorry if this is rude, but your analogy is completely off the mark.

Rules that are not fixed but still are a requirement for code to work/make sense still merit an explicit encoding in the type system. You can have an interpreter somewhere that makes sense of unstructured data and delegates to the right functions once it's able to parse and slap a type on it, which will be better than a function that has a bunch of conditionals laying around which at some point either force you to duplicate them or make assumptions you're calling the right functions in the right order.
by yubblegum | 2025-08-03 00:52:20+00:00
> I'm hearing from Senior devs all over thought, that Junior developers are just garbage at it. They product slow, insecure, or just outright awful code with it, and then they PR the code they don't even understand.

If this is the case then we better have full AI generated code within the next 10 years since those "juniors" will remain atrophied juniors forever and the old timers will be checking in with the big clock in the sky. IF we, as a field, believe that this can not possibly happen, then we are making a huge mistake leaning on a tool that requires "deep [orthogonal] experience" to operate properly.
by whoknowsidont | 2025-08-03 00:52:45+00:00
I'm struggling to understand what the assignment was supposed to be teaching?

If it's possible can you share an example sentence and then the "correct' translation of that sentence with titi and ta?

I'm no professional, but I've played the piano an guitar since I was 13 and I still can't wrap my head around what you would even get out of that exercise.

But maybe the issue is with me lol?
by parallelVoid | 2025-08-03 00:52:56+00:00
Hello, my name is Timothy. I’m a third year student at the University of British Columbia studying computer science looking for my first internship/co-op.

Location: Vancouver, BC Remote: Flexible Willing to relocate: Yes Technologies: Python, C++, C#, Pandas, NumPy, Scikit-learn, Docker Résumé/CV: https://parallelvoid.github.io/ Email: timothy.solnyshkin@gmail.com GitHub: https://github.com/ParallelVoid

I am looking for my first internship. I have experience working on training Machine Learning Models, Game Development and releasing games, and using GitHub Actions to automate tests and builds.
by dataflow | 2025-08-03 00:53:49+00:00
> Technically farming is like owning the restaurant, but in practice, because everything is laid out for you and decisions are made elsewhere, it feels more like being the waiter. You are layers removed from the "ick".

To be blunt: I don't buy this... at all. Farmers have (in theory, and to some extent in practice) choice in (a) what they grow, (b) whether to grow organic/GMO/etc., (c) what pesticides/fertilizers/etc. they use and how much, (d) how they treat any animals they have, (e) whom they sell to... I could go on. Of course competition and supply and demand constrain what they can do, but that's true for most if not all business owners, including restaurant owners.

Waiters are not* like this... at all. They have -- by definition of their jobs -- zero control over the dishes, the recipe, the cooking, what is ordered, whom to serve, etc.

Therefore the idea that "technically" the farmer is like the restaurant owner but "in practice" like the waiter therefore makes no sense to me. They are (extremely) more similar to the restaurant owner in basically every dimension, not just "theoretically".
by xrd | 2025-08-03 00:53:59+00:00
Should jobs be a factor as well? I see a lot of job loss in small town Iowa and Nebraska. I don't live there and people there have definitely voted with their wallets.

Food plus quality price index in Japan and France look better to me despite the lack of Walmarts.

And, I read some things about price collusion of the major grocers during the pandemic that makes me concerned.

I will say, thanks for being a human and discussing this as a human. Too many bots on HN lately.
by Spartan-S63 | 2025-08-03 00:54:05+00:00
In fact, if future competition is contingent on successful M&A activity, that’s a sign of such deep organizational rot that you either have to radically transform management or ride the company down.

Not everything needs to last and companies that can’t radically transform their management culture to enable innovation and competition deserve to wane until they’re in a steady-state or they go under to allow for a new competitor to rise.
by devilbunny | 2025-08-03 00:54:15+00:00
> Going 50km/h between red lights doesn’t actually make your trip faster

Except when it does, due to horrible traffic engineering practices.

There were a pair of one-way streets in the downtown of my city. Both attempted to have "green wave" setups for the lights. One worked pretty well, the other was okay, but whatever.

The problem was that the road itself was signed at 30 mph, but the lights were timed at 40 mph. It literally encouraged people to speed if it were not too busy (e.g., after business hours).
by throwaway89201 | 2025-08-03 00:55:05+00:00
Maybe Micay indeed isn't the sharpest knife in the drawer when it comes to dealing with trolls and remembering the sequences of past events, and indeed might be accusing others of harassment without much basis.

However, the harassment towards Micay seems real. There's an active thread on KiwiFarms about Micay, and a random ass there frequently posts about his obsessions and makes all kinds of heavy accusations with sociopathic and narcissistic overtones.

KiwiFarms has a history of transferring their harassment from online text to offline violence.
by gus_massa | 2025-08-03 00:55:18+00:00
Yes everyone :(

Recent thread "YouTube No Translation (addons.mozilla.org)" https://news.ycombinator.com/item?id=44613491 (219 points | 14 days ago | 103 comments)

And perhaps one or two more threads.

PS: You can go to the top right, click on the three vertical dots, and select "Language: English US". It has the side effect of translating the videos in German to an annoying and artificial voice in English, but you can switch it back.
by burnt-resistor | 2025-08-03 00:55:34+00:00
Exactly. Techofeudal overlords can switch off all "your" stuff at any time. Always have a personal and a business disaster recovery plan including isolated backups (not synchronized replication) on N >= 2 separate services/modalities.

Options to consider for various circumstances include:

- Different object storage clouds with different accounts (different names, emails, and payment methods), potentially geographically different too

- Tarsnap (while using AWS under the hood but someone else's account(s))

- MEGA

- Onsite warm and/or cold media

- Geographically separate colo DR site, despite the overly-proud trend of "we're 100% (on someone else's SPoF) cloud now"

- Offsite cold media (personal home and/or IronMountain)
by arcanemachiner | 2025-08-03 00:55:48+00:00
The article complains about Apple's notes app, but doesn't actually say what specifically is wrong with it (Bad Design? Where? How?).

Then, it turns out to be an ad for the author's notes app, which presumably has "good design", but we aren't told what is better about it.

On top of that, the article has some clickbait title which is just engagement bait for people who aren't gonna read the article.

This article is a microcosm of everything that's wrong with the Internet today: Clickbait, engagement farming, and ads, all rolled into one single, forgettable waste of time.

The only good thing I have to say about the article is that it was short.
by _caw | 2025-08-03 00:56:32+00:00
I got the sense the author wrote the post in collaboration with LLMs as a way of processing the experience:

> I was alone. Nobody understood the weight of losing a decade of work. But I had ChatGPT, Claude, and Grok to talk to

> To everyone who worked on these AIs, who contributed to their training data—thank you. Without you, this post might have been a very different kind of message.

It sounded like perhaps this post would have conveyed a message the author didn't think constructive if they wrote it entirely themselves
by Braxton1980 | 2025-08-03 00:57:36+00:00
"It's the timing of them and the scale of them that tends to suggest a political motivation"

The scale compared to what?

Explain the timing argument? There are major elections every two years which is pretty frequent as campaigning starts months before.

" it's not hard to believe that this is just another example of the abuse of political power to take out an opponent."

So you don't have evidence?

What other examples do you have that been proven to indicate there's a clear pattern of abuse or power to target Trump?
by letn1 | 2025-08-03 00:57:46+00:00
I mean I know right? I just decided not to give a f*. Felt so rigged af. In my category, nothing worked for the winner's platform. While I had the full flow working, the subscriptions etc. Like what? I don't mind losing, but you know the winner with ai generated video with 0 working product shown feels kind of mildly not it.
by talkingtab | 2025-08-03 00:58:44+00:00
There is a real problem using canvas to replace HTML.

Not all but most HTML. I have not found a good solution for the issue of doing something like MDX in canvas. I have tried SDF, looked at 2D canvas Text, Troika, MSDF. You can get text, it is just that laying it out is very difficult. React three drei has the ability to put HTML into the threejs ecosystem, but there are issues about CSS and text that make that impractical.

For me the use case is very simple. I would like to take an MDX file and show it in a mesh. Laid out. Maybe I am missing something because I am new to the whole threejs thing, but I really tried.

A good article about text https://css-tricks.com/techniques-for-rendering-text-with-we...

And an example from the above article: https://codesandbox.io/p/sandbox/css-tricks-msdf-text-fks8w

This shows it can be done, I gave up trying to reproduce it in React-three-fiber.

Why? Personally, I think the use of 3D graphics produces an interface for users that is an order or magnitude better for users. The real question (and an interesting one to consider) is why are we still building HTML first websites?
by em-bee | 2025-08-03 01:00:25+00:00
depends on how the law is written. the primary purpose is to protect parents, and in some jurisdictions favoring parents may actually be welcome exactly because of that.

either way, it should not be illegal to require parenting experience though. if you can demonstrate that experience without having children of your own (because of much younger siblings, fostering, or working as a caregiver or teacher maybe) then maybe you qualify.
by gtowey | 2025-08-03 01:00:29+00:00
My layman's guess is that our interpretation of the fundamental explanation for quantum mechanics is wrong. That wave-particle duality is wrong. There is an old alternative explanation which has been gaining some attention lately: pilot wave theory. The TL;DR is that there is both a wave and particle. The particle generates the wave, but is also influenced by interacting with it. Veritassiun has a great video on it which is compelling.

But again, I am not a physicist. Just an enthusiastic outside observer.
by burnt-resistor | 2025-08-03 01:00:40+00:00
LMAO. Must be one of those MBA CTOs. At least mirror the crown jewels to bitbucket, Tarsnap, or somewhat else that has 2 weeks - 3 months worth of independent copies made daily.

If not MBA, the problem may also stem from the gradual atrophy and disrespect shown towards the sysadmin profession.
by opello | 2025-08-03 01:01:10+00:00
I may have missed what you're asking about, but the ta/ti/tika quarter/eighth/sixteenth syllable system is a rhythm counting system to teach music, the Kodály Method[1]. This was coincidentally also what my first music teacher used but I didn't know the name until I was reminded of it even existing here and did a little digging.

[1] https://en.wikipedia.org/wiki/Kod%C3%A1ly_method
by ziofill | 2025-08-03 01:01:37+00:00
Quantum physicist here. I can only say that reality down there at the quantum level is really really weird. You can get used to it, but forget making sense of it.

A delayed choice setup is not too dissimilar than a Bell inequality violation experiment. The weirdness there is that you can set things up such that no signal can travel between the systems being measured, and yet the outcomes are more correlated than any classical joint state can be.

So the conclusion is that either locality fails (i.e. it’s not true that outcomes on one side are independent of how you measure the other side) or realism fails (i.e. you can’t assign values to properties before the measurement, or in other words a measurement doesn’t merely “reveal” a pre-existing value: the values pop into existence in a coordinated fashion). Both of these options are crazy, and yet at least one of them must be true.
by xorcist | 2025-08-03 01:02:10+00:00
What I most would like to understand is how you intend to motivate someone you just gave a quarter of a billion dollars to? Especially a young person. They never have to work again, and neither do their grandchildren.

You can just doodle away with whatever research interests you the most, there's no need to deliver a god mode AI to the great leader even if you had the ability to.
by rcxdude | 2025-08-03 01:02:43+00:00
>I think it's pretty uncontroversial that not all companies currently pursuing AI will ultimately succeed.

That's probably true, but at the moment the only thing that creates something resembling a moat is the fact that progress is rapid (i.e. the top players are ~6-12 months ahead of the already commoditized options, but the gap in capabilities is quite large): if progress plateaus at all, the barrier to be competitive with the top dogs is going to drop a lot, and anyone trying to extra value out of their position is going to attract a ton of competition even from new players.
by stetrain | 2025-08-03 01:04:17+00:00
> Maybe Helsinki isn’t special: just fewer cars

That is special for a modern western city, and is likely the result of intentional policy and urban planning.

Many cities base most of their development around fitting in more cars, not reducing them. And that comes with lots of negative statistics related to car density.

You’re right that it’s not magic. Other cities could likely achieve similar results with similar policies. They are just very resistant to that change.
by jmtame | 2025-08-03 01:05:42+00:00
I only use 2 MCP servers, and those are context7 and perplexity. For things like updated docs, I have it ask context7. For the more difficult technical tasks where I think it's going to stumble, I'll instruct Claude Code to ask perplexity and that usually resolves it. Or at least it'll surface up to me in our conversation so that we both are learning something new at that point.

For some new stuff I'm working on, I use Rails 8. I also use Railway for my host, which isn't as widely-used as a service like Heroku, for example. Rails 8 was just released in November, so there's very little training data available. And it takes time for people to upgrade, gems to catch up, conversations to bubble up, etc. Operating without these two MCP servers usually caused Claude Code to repeatedly stumble over itself on more complex or nuanced tasks. It was good at setting up the initial app, but when I started getting into things like Turbo/Stimulus, and especially for parts of the UI that conditionally show, it really struggled.

It's a lot better now - it's not perfect, but it's significantly better than relying solely on its training data or searching the web.

I've only used Claude Code for like 4 weeks, but I'm learning a lot. It feels less like I'm an IC doing this work, and my new job is (1) product manager that writes out clear PRDs and works with Claude Code to build it, (2) PR reviewer that looks at the results and provides a lot of guidance, (3) tester. I allocate my time 50%/20%/30% respectively.
by presengage | 2025-08-03 01:06:07+00:00
PresEngage, Inc., an emerging leader in presentation technology, today announced a landmark achievement in its mission to transform public speaking and audience interaction. The company has officially filed a U.S. Provisional Patent Application for its revolutionary “ARTIFICIAL INTELLIGENCE (AI) CO-PRESENTER SYSTEM AND METHOD.” This filing secures PresEngage’s unique, innovative technology with a “patent pending” status, marking a significant milestone in the company’s evolution into a comprehensive Presentation Success Platform.
by sgustard | 2025-08-03 01:06:07+00:00
Do you honestly think a negligent driver who blows through a stop sign at 62 mph would have acted differently in a car marketed to have "SuperCruise" rather than "Autopilot"? I have no strong belief either way, and I shed no tears for Tesla, but I do worry about any chilling effect on technologies that will make driving safer than the bloodbath we currently suffer on the roads every day.
by saidinesh5 | 2025-08-03 01:06:18+00:00
The issue with modern c++ is ecosystem. It is still full of legacy c++ libraries. Even though people have mostly settled on cmake, it's still common to run into friction when integrating third-party libraries. Nothing as streamlined as cargo. Vcpkg, hunter, conan, vendoring in libraries etc...

Don't get me wrong. Number of C++ libraries is far bigger than number of rust libraries. But number of modern c++ libraries is still not that high i feel. So once you have integrated legacy code into your project, there's a lot of scope for newbies to create memory leaks/double free/etc ...
by seanwilson | 2025-08-03 01:06:28+00:00
Human readable (informal) proofs are full of gaps that all have to be traced back to axioms e.g. gaps that rely on shared intuition, background knowledge and other informal proofs.

It's somewhat like taking rough pseudo code (the informal proof, a mixture of maths and English) and translating that into a bullet-proof production app (the formal proof, in Lean), where you're going to have to specify every step precisely traced back to axioms, handle all the edge causes, fix incorrect assumptions, and fill in the missing parts that were assumed to be straightforward but might not be.

A major part is you also have to formalise all the proofs your informal proof relied on so everything is traced back to the initial axioms e.g. you can't just cite Pythagorus theorem, you have to formalise that too.

So it's an order of magnitude more difficult to write a formal proof compared to an informal one, and even when you have the informal proof it can teams many years of effort.
by mmmBacon | 2025-08-03 01:06:31+00:00
If you think of it, what is Meta going to do with AI? Their business model is ads. Maybe AI can improve ads some. For Meta, how does the billions spent on AI impact their bottom line? The reality is that if AI training requirements keep scaling based on Chinchilla scaling, there is going to be massive consolidation in training due to the scale that’s going to be required. Not everyone is going to be comfortable with Zuck running nuclear reactors. Already AI models are the fastest depreciating assets ever created. Moreover Meta is behind the AI curve so they are desperate to catch up. But desperate for what?
by PaulDavisThe1st | 2025-08-03 01:06:42+00:00
That's precisely what I meant about disposable income.

Safety nets in my mind are what kick in after a person has no way to pay for necessary stuff by themselves.

Disposable income is what gets cut down by the costs of necessary stuff.

Very few people are going to not go to dinner because they are aware that if they become indigent US society will not pay, and thus feel an obligation to save.

Lots of people will not go to dinner because they've already had to pay for (... you name it ...)
by rcxdude | 2025-08-03 01:09:28+00:00
Hmmmm, I think only assuming those 100 have not been accurately identified. In pretty much all fields I am familiar with, the ability distribution seems to approximate a power law near the top: the gap between the best and the 20th best can be absolutely gigantic.

(And while there are certainly those who could have been the best who did not have the opportunity to succeed, or just didn't actually want to pursue it, I think usually this is way at the edges, i.e. removing the top would not make room for these people, because they're probably not even on anyone's radar at all, like the 'Einstein toiling in a field')
by jimmy2times | 2025-08-03 01:10:05+00:00
I can't believe this is so unpopular here. Maybe it's the tone, but come on, how do people rationally extrapolate from LLMs or even large multimodal generative models to "general intelligence"? Sure, they might do a better job than the average person on a range of tasks, but they're always prone to funny failures pretty much by design (train vs test distribution mismatch). They might combine data in interesting ways you hadn't thought of; that doesn't mean you can actually rely on them in the way you do on a truly intelligent human.
by awesome_dude | 2025-08-03 01:10:07+00:00
How so?

BASIC was supposed to be astep toward using a natural human language, and a number of Microsoft products were too.

As I said before, we've been wanting to use a Natural Human Language for programming for a long time.

Edit: adding a wikipedia reference because apparently I am the only person on the planet that has been looking for a way to use a Natural Human Language for programming https://en.wikipedia.org/wiki/Natural_language_programming

Second Edit: Adding the following paragraph from the wikipedia page for emphasis

Researchers have started to experiment with natural language programming environments that use plain language prompts and then use AI (specifically large language models) to turn natural language into formal code. For example Spatial Pixel created a natural language programming environment to turn natural language into P5.js code through OpenAI's API. In 2021 OpenAI developed a natural language programming environment for their programming large language model called Codex.