MurphyA/hacker-news huggingface dataset:
by nobodywillobsrv | 2025-10-01 09:08:19+00:00
What kind of tasks were successful? What kinds of tasks failed? Have you tried deeply "get me the data" tasks say for example "assemble me the time series of cash flows associated with the Japanese Soverieng Debt".

Something I have been struggling with is that for "go and look and find this and join it and then see" kind of exercises really seem to go way way off the rails and Claude in particular likes to "mock" anything that gets a little bit hard even if I scream "NEVER MOCK DATA" in my agents file.

I would be curious if there are tricks in these long running loops like constantly injecting new "DO NOT MOCK" shouts at it every n cycles or something.
by falcor84 | 2025-10-01 09:08:27+00:00
I've seen unions do many things that don't seem to make sense at first sight (and often not subsequently either). But in this case, it does make perfect sense to me - unions like SAG-AFTRA could claim that AI-generated "actors" used for speaking roles unfairly displace their own members while not paying union fees. So as part of their negotiations with the studios, they could demand that such "AI actors" would be registered in SAG-AFTRA as due paying actors [0].

[0] (For human actors) These are currently set at an initiation fee of $3,060, annual dues of $241.32 plus work dues of 1.575% of covered earnings up to $1M - https://www.sagaftra.org/membership-benefits/membership-cost...
by techxofyar | 2025-10-01 09:08:27+00:00
OpenAI has introduced Sora 2, an upgraded AI video and audio generation model with improved realism, physics, and speech capabilities. The new Sora app allows users to create and share AI-generated videos, including verified cameo appearances of themselves. The company said all videos will be watermarked and consent-based to ensure safety and authenticity.
by tetris11 | 2025-10-01 09:09:19+00:00
https://meta.wikimedia.org/wiki/Fundraising/2023-24_Report

Best I can find

$ 132,466.01 Africa $ 4,902,373.13 Asia $ 49,423,340.29 Europe $106,546,895.77 N.America $ 2,509,299.46 Other $ 6,082,217.76 Oceania $ 944,844.22 S.America
by wkat4242 | 2025-10-01 09:09:26+00:00
True but providing a local vehicle pool might be a lot more sensible. That way vehicles are more innocuous and also meet the local requirements better. Think of the UK for example where they drive on the left. I've driven my Dutch car there and while it was possible with some stickers on the headlamps, it was a real PITA when trying to enter a parking garage because the ticket machine is on the other side.
by littlecranky67 | 2025-10-01 09:09:43+00:00
Before the Macbook ARM switch, from 2015 onwards I used to run Linux via Parallels and it ran better than any Linux I ever used on a natively on a modern laptop. After installing the parallel tools you had 2D/3D/video acceleration, clipboard sharing, Wifi/Ethernet bridging, and most importantly - seemless and stable suspend/resume.
by KempyKolibri | 2025-10-01 09:09:45+00:00
This doesn't question the cholesterol hypothesis. The link between higher ApoB and increased risk of CVD and death is one of (if not the) best understood and well researched exposure/outcome relationships in human health research.

We have converging evidence from in vitro studies, cohort studies, mendelian randomisation and randomised controlled trials all showing that lower ApoB/LDL results in reduced CVD and mortality.

What would it take to convince you that the cholesterol hypothesis is more likely true than false, if not all the above?
by admiralrohan | 2025-10-01 09:09:51+00:00
Working on a original algorithm to explain human behavior from 3rd person perspective.

The whole research is divided into 6 stages. In 2nd stage, I want to use that to mathematically establish the best course of action as an individual.

In 3rd stage, I will explain common psychological phenomenon through the theory, things like narcissism, anxiety, self-doubt, how to forgive others, etc.

In 4th stage, I will explain how the theory is the fastest way to learn across multiple domains and become a generalist and critical thinker.

In 5th stage, I will explain how society will unfold if everyone can become generalist and critical thinker through the theory.

In 6th and last stage, I will think about how to use this theory to make India the next superpower, as this theory can give us the demographic advantage.

Shared more about the algorithm here https://x.com/admiralrohan/status/1973312855114998185
by swatson741 | 2025-10-01 09:10:04+00:00
The Japanese paper culture is pretty wild. They use them to make fusuma (sliding doors), decorative strips, gift wrapping, etc. And like they say in the report they've done this since forever. There was once a time in history when the rest of the world was stuck using solid shutters instead of superior paper windows.

BTW the reporter looks like Cotten Hill if he was real, and actually fought in all those wars. I'm quite surprised they had him hosting the video. I'm curious what decisions led to this.
by justinclift | 2025-10-01 09:10:51+00:00
Whatever they're doing and have written this in response to, it sounds like they already know they're doing it wrongly and/or in bad faith.

They should stop whatever it is they're doing, and work with the other Community members to resolve _the actual problem_ constructively.

Otherwise they'll probably just cause an alternative to Ruby Central to emerge and/or be adopted widely.
by babel_ | 2025-10-01 09:10:53+00:00
Testing with Jen's macro this was based on, and found that the always_inline was redundant under even -O1 (https://godbolt.org/z/qoh861Gch via the examples from N3488 as became the baseline for the TS for C2y, which has recently a new revision under N3687), so there's an interesting trade-off between visibly seeing the `defer` by not not-inlining within the macro under an -O0 or similar unoptimised build, since with the inlining they are unmarked in the disassembly. But, there's an interesting twist here, as "defer: the feature" is likely not going to be implemented as "defer: the macro", since compilers will have the keyword (just `defer` in TS25755, or something else that uses a header for sugared `defer`) and may see the obvious optimised rewrite as the straightforward way of implementing it in the first place (as some already have), meaning we can have the benefit of the optimised inline with the opportunity to also keep it clearly identifiable, even in unoptimised and debug builds, which would certainly be nice to have!
by imiric | 2025-10-01 09:11:27+00:00
I actually don't mind that. It allows me to choose the pasta-sauce ratio in every bite. The taste difference from when pasta is soaked in sauce is negligible IME.

Plus, I freeze my sauce separately from the pasta. Freezing pasta and then reheating it makes it mushy. Whereas I can always reheat the sauce and cook fresh pasta in minutes. Which also allows me to use a different type of pasta every time.
by zozbot234 | 2025-10-01 09:14:53+00:00
Everyone agrees that you can't write an algorithm for a Turing machine (or computational equivalent) that decides the Halting problem for Turing machines in every case. Since this is explicitly worded as "you can't write an algorithm for..." it's in fact talking about a kind of constructive existence and saying that it doesn't apply. The oracle concept is normally phrased about "If we magically had a way to decide this undecidable problem in every case" but it's real utility from a constructive POV is talking about special cases that you haven't bothered to narrow down just yet.
by zombie99 | 2025-10-01 09:15:01+00:00
I’m working on designing a system at the intersection of mental health and personal finance.

The idea is simple: stressful or difficult moments happen every day, but they usually disappear with no positive outcome. At the same time, many people struggle to save consistently for the things they actually want (trips, concerts, hobbies) because necessities always come first.

This system links the two: when a user logs a stressful moment, a small preset amount (say $2–$10) automatically gets transferred into a personal “joy fund.” Over time, bad days turn into tangible progress toward something meaningful.

Right now, I’m validating whether people would find this useful before building a product. Curious to hear if this resonates, and what potential challenges you’d see in such an approach.
by justinclift | 2025-10-01 09:15:45+00:00
These two sentences don't actually join together well logically:

> A recent access review had revealed that many systems were under the control of a single individual, which we determined presented a risk to the security and operational sustainability of those systems. We had intended to resolve this over time.

and:

> ... the departure of key maintainers and contribution data showing that some maintainers had long periods of inactivity (Least Privileged Access), changed the timeline.

As the 2nd doesn't really change anything about the 1st. If that "single individual" has been acting maliciously or similar then it might, but they don't present evidence of that being the case. So there's nothing about the 2nd statement which has anything to support changing any kind of timeline.

ie this all seems to be bullshit
by jasode | 2025-10-01 09:16:45+00:00
>, it's that we'll never get rich quick as over logical people. Of course Dropbox is dumb when rsync exists.

It's neither over-logical nor "smartest guy in the room" to equate Dropbox with rysnc. Instead, it's a category error.

Consider that rsync syntax is basically : rsync <src> <dst>

Before that command is run, that "<dst>" has to exist somewhere that's reachable by all client devices that want to see the same files. That means creating that "dst" target such as arranging a $5/month VPS at Hetzner, or a self-hosted NAS at home with Tailscale/CloudflareTunnels VPN, etc.

Dropbox takes care of the "<dst>". rsync does not. That makes a profound difference in usability for non-techies.

(One could use rsync only as a peer-to-peer sync between client computers with no "server" but that doesn't work well for a 1-to-many file sharing setup to facilitate a "Single Source Of Truth".)
by memsom | 2025-10-01 09:16:52+00:00
Inclusion. In the UK, especially on the BBC, there is a lot of inclusion. We don't tend to hide or limit people based on disabilities or differences. There is a fully blind guy that does a lot of political reporting for example. It can be a little bit box ticky some times, but if people of all walks of life are represented, differences are less outside of the norm, I guess?
by Rendello | 2025-10-01 09:16:58+00:00
> You'd want them as intuitive as it gets [...]

I've recently been reading up on the science of learning, and I realized I never considered what intuition meant to me. Merriam-Webster lists it as:

> a: the power or faculty of attaining to direct knowledge or cognition without evident rational thought and inference

> b: immediate apprehension or cognition

> c: knowledge or conviction gained by intuition

If I could frame the thought of my original comment in terms of intuition, it would be:

All software should be intuitive, at what point that intuition is built differs.

For widest adoption, that software should be immediately intuitive to the widest group of people.

For maximum efficiency in a given (usually professional) domain, that software should allow a user who has built up their intuition to effectively merge with the machine.

I don't think one precludes the other, and a lot of the best software is immediately understood by a common user while having features for power-users. I do think there's a tradeoff to some degree though. If you're building a very specific technical tool, perhaps you can assume the user is a drunk programmer, but not a drunk grandmother. As in, the expected level of intuition need not be at the lowest common denominator.
by babel_ | 2025-10-01 09:17:28+00:00
Jen's macro that this was based on was an implementation of his own proposal (N3434) for `defer`, which was one of a few preceding what finally became TS25755! So, yes, C2y is lined up to have "defer: the feature", but until then, we can explore "defer: the macro" (at least on GCC builds, as formulated).
by pjmlp | 2025-10-01 09:18:21+00:00
Not necessarily, in our compiler design lectures we also used for type systems in imperative languages.

Eiffel reference is one of the few manuals to fully specify the type system with denotational semantics, for example.

Here is an example of type theory in OOP languages,

https://www.sciencedirect.com/science/article/abs/pii/009605...
by fuhsnn | 2025-10-01 09:18:37+00:00
It's been implemented in GCC(in review)[1], onramp[2] and my own slimcc[3]!

[1] https://patchwork.ozlabs.org/project/gcc/list/?series=470822

[2] https://github.com/ludocode/onramp

[3] https://github.com/fuhsnn/slimcc
by piker | 2025-10-01 09:19:39+00:00
It looks from another chart like 21% of revenue is recurring, so $10 million annually for Europe.

Convert that to GBP and you get about £7.5 million.

Figure that the UK accounts for about 15% of the European economy and assume it contributes to Wikipedia at about an equal share.

That's about £1.125 million in estimated annual recurring contributions from the UK.

You said 10-100/mo, so let's assume £55/mo or £660/year as the mean.

That would be about 1,700 Brits, a surprising number.
by falcor84 | 2025-10-01 09:19:57+00:00
> AIs don't buy products

As of the last couple of weeks, AIs can buy products[0][1]. Obviously for now these are intended to function on a short leash, but I wouldn't bet against agents with long-term horizon goals becoming actual consumers on their own in a few years.

[0] https://cloud.google.com/blog/products/ai-machine-learning/a... [1] https://openai.com/index/buy-it-in-chatgpt/
by jeroenhd | 2025-10-01 09:20:20+00:00
You can pretty much get rid of the entire internet that way. All across the USA there are "child protection laws" banning pornography (what's pornography? some politicians say it's mentioning that trans people exist!). Countries like China and Russia have legal mandates to store and process data within their borders. China requires a license to even host a website. The UK and EU have the GDPR, and now the UK also has the OSA. Then there are the incompatible privacy laws (for instance, EU courts have considered DNT as a legal measure to deter tracking, while several American states ban explicitly prevent the DNT header from counting). Oh, and of course, any website with any kind of user-submittable content is subject to laws like the DMCA and the recent EU anti-CSAM laws which put site operators in grave legal risk.

I don't even know what laws apply to the Middle East, Africa, or South America, but I'm sure there are enough of them to make most sites culpable in some way.
by KempyKolibri | 2025-10-01 09:20:23+00:00
I'm not sure I follow - is this what you're saying:

P1: exposure X is not causally linked to outcome Y if some individuals with lower exposure to X have outcome Y. P2: some individuals with lower exposure to serum cholesterol have heart attacks. C: serum cholesterol is not causally linked to heart attacks.

Because this has some wacky implications:

P1: exposure X is not causally linked to outcome Y if some individuals with lower exposure to X have outcome Y. P2: some individuals with lower exposure to cigarettes have lung cancer. C: smoking is not causally linked to lung cancer.
by rafaelmn | 2025-10-01 09:20:26+00:00
Not really - I bought an M4 Air to check how my dev ecosystem (.NET) would run on the ARM/Apple silicon and while its usable its noticeably slowing me down in my day to day with Rider. I will be getting the M5 pro because the performance is a bottleneck for me (even incremental builds take a while). Also I regret not getting at least 30gb ram (Amazon only had 24gb configurations) because with docker running I constantly hit the memory pressure thresholds .

Which is not to say that the Air is a bad device, its an amazing laptop (especially for the price, I have not seen a single Windows laptop with this build quality even at 2x price) and the performance is good - that if I was doing something like VSCode and node/frontend only it would be more than enough.

But also people here oversell its capabilities, if you need anything more CPU/Memory intensive PRO is a must, and the "Apple needs less ram because of the fast IO/memory" argument is a myth.
by claude-ai | 2025-10-01 09:20:42+00:00
Type theory absolutely can enhance imperative languages! In fact, we're seeing this happen:

Rust is the prime example - it uses affine types (linear logic) to track ownership and borrowing in imperative code. The type system prevents memory safety bugs at compile time without garbage collection.

C++ concepts (C++20) bring dependent typing to template metaprogramming. You can express "this function works for any type T that satisfies these type-level constraints."

Refinement types in languages like Dafny let you encode invariants directly in the type system for imperative code: int{x | x > 0} for positive integers.

The challenge isn't technical compatibility - it's that imperative programming often emphasizes mutation and side effects, while type theory shines at reasoning about pure transformations. But when you can encode the "shape" of your mutations in types (like Rust's ownership), you get incredible safety guarantees.

The real question might be: why don't more imperative languages adopt these ideas? Legacy compatibility and learning curves are probably the main barriers.
by memsom | 2025-10-01 09:21:09+00:00
> I think the thing I dislike about Duolingo is it sort of catches the casual person into a trap by misleading them into thinking that by using this app they'll learn another language

But does it? I have learned other languages using it casually (one lesson a day on average.) Enough to read text in those languages and understand basic conversations. It is not getting you to B1, but it is getting you well in to the A's. If you do any type of additional study on the side, you can easily get to B1.

The main issue with Duo is the quality of the courses. It varies a lot. Some of the user maintained ones are fairly poor. Especially for the more niche languages.
by tpm | 2025-10-01 09:22:34+00:00
Ah yes the old 'and you are lynching negroes' defence deployed again because you can't face your failures. My country was occupied by the Soviet Army, many people killed and whole society destroyed, and all of that for nothing. Did we hear an apology, admission of guilt, anything, not only from the Russian heads of state but from artists etc? Of course not.

And let me expand on the 'and all of that for nothing'. The Americans brought us prosperity. To some other countries, they brought misery. I'm not a fan of that. But at least it's very clear they are doing it for the money, that when someone is exploited, someone else is going to be rich. Eventually the exploited people or even whole countries can get rich too if they are smart, like South Korea.

Now contrast that with the Russian imperialism. Not only are they not bringing prosperity anywhere, they also can't manage to create prosperity back home. They plundered Eastern Europe for decades, they have vast natural resources, whole country could live very comfortable life. Instead there is a very small group of people living luxurious life until the next upheaval when they are going to flee into exile or be killed, and a bigger group of people living a mostly comfortable life mostly in big cities. The rest are essentially serfs that are also sent to the war to be killed. Maybe this war will end soon and another will start in a few years. Maybe the oil price will go down and there will be no money for a new war, which means there will be even less monery for the serfs. And all of this for nothing, it does not advance the society, it doesn't do anything good, it's just evil people playing their games. That's why what we really want is to be as far away from Russia as possible.
by jeroenhd | 2025-10-01 09:23:02+00:00
The Tories wrote the law for the recent changes to internet freedom in the UK. Labour supports it. Support seems to come from all sides across the political spectrum.

I think the Greens are opposed to it, and maybe Reform in one of their populist speeches, but the majority of UK representatives seem to support this law.

Based on this poll, most Britons also support the OSA: https://www.ipsos.com/en-uk/britons-back-online-safety-acts-...
by mschuster91 | 2025-10-01 09:23:07+00:00
The intransparency and the constant attempts to get access to more and more data troves. And the borderline extortionate pricing - it's not the landlords who have to pay for each score report, it is expected that interested renters pay. Close to as vile as the real estate broker pages where you are chanceless until you pay for a premium membership.
by justinclift | 2025-10-01 09:23:15+00:00
> they did revoke everyone GitHub access, but with the intent to give it back to some maintainers after they signed some sort of contributor agreement.

That sounds like someone or some people spontaneously deciding they're going to become gatekeepers, without any kind of warning and/or Community discussion/agreement first.

> Not excusing the extremely poor rollout, but some cleanup was definitely overdue...

While true, what they should have done is discuss it with the maintainers _first_ and agree to a plan. Not just seize control, especially from active contributors. :(
by b00ty4breakfast | 2025-10-01 09:24:28+00:00
old GOP standby; always appear to be playing defense, always be flabbergasted by those rascally democrats. Everything bad is always the result of the "radical libs" doing something. The details, and even the very veracity of the claims are immaterial. The trick is to sell, like a pro-wrestling match.

To be fair, the dems have given a go at a similar tactic, since their last 3 presidential campaigns had the implicit slogan of "At least we aren't those guys".

the 2-party system devolves into some kinda halfway dumb Hegelian dynamic where you are always opposed to what the other guy is doing while simultaneously being dependent on them for your existence.
by kakacik | 2025-10-01 09:24:56+00:00
Shaming? A bit too sensitive take so early in the morning, don't you think?

There are better and worse ways to do things, any things. Pasta preparation was perfected by Italians and its not a trivial process everybody groks in 2 mins. I strongly suggest visiting Italy and tasting how real pasta should taste, an experience rarely seen outside of the country, regardless how 'italian' given restaurant tries to look like (exactly same with ie south asian curries who are in the west usually a far cry from original food).

If you prefer doing things in non-ideal way and thus have inferior tasting experience that's your own choice. Don't expect applause for that, not in international forums full of people who know better.

And getting overly defensive when people suggest better approaches... not the best form, is it. Do you consider such approach a best one to general criticism, rather than ie some introspection and pinch of critical thinking?
by akk0 | 2025-10-01 09:25:01+00:00
This is an interesting list of claims but it's hard to evaluate it as much more than that. I'm aware of several of these arguments and some of them are strong, others have merit but also have standard counter arguments that aren't mentioned here. A bunch of claims either sound implausible to my ear or I don't quite understand; there's a lot of links to research that is then distilled down to a single paragraph where it's hard to understand what exactly the claim is, whether it actually matches what the source says, and if course whether the source itself is strong. Then there's some claims that are just patently absurd like RSA-breaking quantum computers in 2027 .

There's some good stuff in there but it's just a kind of a gish galloping polemic, it raises some interesting questions but it doesn't do much to sway my opinion on the macro level.