MurphyA/hacker-news huggingface dataset:
by antonvs | 2025-12-07 23:46:42+00:00
> If I had one thing I want fixed about Scheme it would be the dynamic typing

The ML family or Haskell fit that bill. Both OCaml and Haskell also have an equivalent of macro systems. So does e.g. Rust, for that matter.

I agree with your main point. The attitude you’re referring to is largely a relic of a previous era, at this point.
by jkaplowitz | 2025-12-07 23:46:49+00:00
I did call it a theoretical option and not a practical option. Although they might be a little more sympathetic to someone who is white, in a business suit, has a photo of the shelf price on their phone, can confirm that a surveillance camera captured them paying the shelf price, and is lucky enough to either get a cop who knows about the local price accuracy law or can point the cop to a visible posted sign about the law in the store.
by DrewADesign | 2025-12-07 23:47:06+00:00
I’m just calling balls and strikes. For all I care, the whole lot of them can get sucked down a storm drain. Frankly I think there’s way too much effort and resources being put into this stuff regardless of who’s doing it. We’ve got a bunch of agentic job stealers, a bunch of magic spam/slop generators, and a bunch of asinine toys with the big name LLM stuff: I don’t think that’s a net gain for humanity. Then there’s a bunch of genuinely useful things made by people who are more interested in solving real problems. I’ll care about the first category when it consistently brings more value than garbage “content” and job anxiety to average people’s lives.
by Spivak | 2025-12-07 23:47:12+00:00
I think the point is that for Amazon it's their own code and they pay full time staff to be familiar with the codebase, make improvements, and fix bugs. OpenStack is a product. The people deploying it are expected to be knowledgeable about it as users / "system integrators" but not developers. So when the abstraction leaks, and for OpenStack the pipe has all but burst, it becomes a mess. It's not expected that they'll be digging around in the internals and have 5 other projects to work on.
by ChristopherDrum | 2025-12-07 23:48:30+00:00
There is a substantial literate program not mentioned in the article: Inform 7. (a natural language, interactive fiction programming language) https://github.com/ganelson/inform

From the README "Inform is itself a literate program (written with inweb), one of the largest in the world. This means that a human-readable form of the code is continuously maintained alongside it: see Inform: The Program"
by rubymamis | 2025-12-07 23:48:33+00:00
Hi! That put a smile on my face (: I'm working now on a mobile version with real-time sync, so maybe give it another try when it comes out.

Not really, not yet. Once my FOSS app was popular I used to earn a livable amount of money from ads on the website. But after a SEO crash that all went down the drain and the money I'm getting now from subscriptions to Daino Notes is nice but not livable. I've been working the last year (at a really awesome place) doing React programming (my first salary job, actually) and at nights and weekends working on Daino.

I actually got many requests to license Daino Notes' block editor. So I've figured there's a business there. I'm working on something I'm calling Daino Qt which is a collection of different components to accelerate Qt apps development (so I'm also its client). It will include my block editor, components for mobile - current Qt components on mobile are extremly shitty - so I'm planning on changing that with things like native-feeling swipeable stack view, native-feeling text editing, etc. And maybe Qt C++ client SDK for InstantDB (and more stuff).

Hope I can sell this as well while also consuming these components for Daino Notes and other apps I will develop.
by bgbntty2 | 2025-12-07 23:48:48+00:00
I agree - the statement could've been much more convincing. But it's above the threshold for me.

Although I agree if the new maintainer had some creds, it would've been better to use them in a similar reassurance like in your example. But it's hard to really vouch for someone, even if they've made X commits for the past Y years, etc.. Lots of examples here.

If it's still a random/(pseudo-anonymous) account you're trusting, unless there have been some real life appearances or if it's an account that's been proving itself for years, you can only trust them so much.

Basically I agree the message could be interpreted as "I don't trust them, so I'll be on the lookout for anything malicious", but, honestly, at first I just read it as "I trust it, but you can't really trust anyone, so I'll still be on the lookout".
by tehjoker | 2025-12-07 23:50:17+00:00
Or if they have a deal or double agent working for them, there is a possibility for "full take" just like at AT&T. Seems pretty likely to me. Allegedly there are tens of thousands of undercover employees stationed throughout the economy in the "signature reduction" program. National security programs don't respect laws when there is something considered "important" if they can get away with it.

https://www.newsweek.com/exclusive-inside-militarys-secret-u...
by RaftPeople | 2025-12-07 23:50:22+00:00
> But nobody really teaches the distinction between two passages that happen to have an identical implementation vs two passages that represent an identical concept, so they start aggressively DRY'ing up the former even though the practice is only really suited for the latter subset of them.

Even identical implementations might make more sense to be duplicated when throwing in variables around organizational coupling of different business groups and their change mgmt cycle/requirements.
by habinero | 2025-12-07 23:50:25+00:00
That's because you haven't done that work and don't value it.

Women in agrarian societies do difficult manual labor like hauling water, milking, preserving food, tending livestock, laundry. Laundry before machines was backbreaking work nobody wanted to do, which is why the poor did it or women took in laundry if they needed money. If you had a hand free, you spun wool.

Also, they did all that while constantly pregnant or nursing, which is really hard on the body. Sure, women didn't have to go to war, but men didn't have to live with the fear that this year's baby might be the one that finally kills them.
by jqpabc123 | 2025-12-07 23:51:22+00:00
What if anything do you think is wrong with my analogy?

I think what is clearly wrong with your analogy is assuming that AI applies mostly to software and code production. This is actually a minor use-case for AI.

Government and businesses of all types ---doctors, lawyers, airlines, delivery companies, etc. are attempting to apply AI to uses and situations that can't be tested in advance the same way "vibe" code can. And some of the adverse results have already been ruled on in court.

https://www.evidentlyai.com/blog/ai-failures-examples
by BrenBarn | 2025-12-07 23:51:56+00:00
> But North Carolina law caps penalties at $5,000 per inspection, offering retailers little incentive to fix the problem

This is a huge problem with all manner of laws in the US. We are not willing to insist that fees be limited only by their ability to prevent the prohibited behavior. Fines should continually escalate, if necessary until the offender is bankrupted, at which point their assets are taken. If Dollar Tree keeps doing this, the fines should eventually reach into the hundreds of millions of dollars, even the billions. Such penalties should also apply to company executives and board members who are responsible for the company's overall conduct.
by awesome_dude | 2025-12-07 23:51:58+00:00
FTR (because El Salvador is often mentioned because it had BTC as legal tender)

https://en.wikipedia.org/wiki/Bitcoin_in_El_Salvador

> The adoption was criticized both internationally and within El Salvador, due to the volatility of Bitcoin, its environmental impact, and lack of transparency regarding the government's fiscal policy. In 2024, El Salvador agreed to partially limit its involvement with Bitcoin as part of a deal made with the International Monetary Fund (IMF). In March 2025, The Economist wrote that El Salvador's bitcoin experiment had been a failure, bringing more costs than benefits to the El Salvador economy.[4]

> In 2025, Bitcoin was rescinded as legal tender in El Salvador.[5] Besides the aforementioned problems and hacking incidents, research showed it was rarely used by the public.[5]

The Central African Republic has had similar (well worse really) experience
by jasonwatkinspdx | 2025-12-07 23:51:58+00:00
There's a ton of absolutely garbage reporting on it. No like seriously a ton of the articles are just more mainstream media uncritically reposting claims by a couple cranks in Australia that LARP as a think tank.

Anyhow, a fair assessment is the program has gone massively over timeline and budget, so in that sense is a failure, however the resulting aircraft is very clearly the best in its class both in absolute capability and value.

Going forward there's broad awareness in the government that the program management mistakes of the F-35 program cannot be repeated. There's a general consensus that 3 decade long development projects just won't be relevant in a world where drone concepts and similar are evolving rapidly on a year by year basis. There's also awareness the government needs to act more as the integrator that owns the project to avoid lock in issues.
by lbotos | 2025-12-07 23:52:06+00:00
In the states if you are a contractor there are tons of things that you can deduct from your taxable income. So “figuring out how much you should be taxed” is after those deductions.

If uber paid you $15123 but you:

Just bought a new bike bc your other was stolen

You paid $1200 for insurance

You bought a helmet and cold weather clothes etc etc.

Those things reduce your taxable income.
by Kim_Bruning | 2025-12-07 23:52:24+00:00
This is essentially Lady Lovelace's objection from the 19th century [1]. Turing addressed this directly in "Computing Machinery and Intelligence" (1950) [2], and implicitly via the halting problem in "On Computable Numbers" (1936) [3]. Later work on cellular automata, famously Conway's Game of Life [4], demonstrates more conclusively that this framing fails as a predictive model: simple rules produce structures no one "put in."

A test I did myself was to ask Claude (The LLM from Anthropic) to write working code for entirely novel instruction set architectures (e.g., custom ISAs from the game Turing Complete [5]), which is difficult to reconcile with pure retrieval.

[1] Lovelace, A. (1843). Notes by the Translator, in Scientific Memoirs Vol. 3. ("The Analytical Engine has no pretensions whatever to originate anything. It can do whatever we know how to order it to perform.") Primary source: https://en.wikisource.org/wiki/Scientific_Memoirs/3/Sketch_o.... See also: https://www.historyofdatascience.com/ada-lovelace/ and https://writings.stephenwolfram.com/2015/12/untangling-the-t...

[2] https://academic.oup.com/mind/article/LIX/236/433/986238

[3] https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

[4] https://web.stanford.edu/class/sts145/Library/life.pdf

[5] https://store.steampowered.com/app/1444480/Turing_Complete/
by refulgentis | 2025-12-07 23:53:36+00:00
> Type systems were pretty uncool before Scala

I’m not up on programming language engineering as much as I should be at 37, could you elaborate a bit here? (To my untrained ear, it sounds like you’re saying Scala was one of the first languages that helped types break through? And I’m thinking that means, like, have int x = 42; or Foo y = new Foo()”
by gsf_emergency_6 | 2025-12-07 23:54:14+00:00
This channel has a more detailed coverage of what goes down in the field

https://m.youtube.com/playlist?list=PLJ04J62_rG0AwQ57wb8Rxp7...

This particular vid is a sort of FAQ

https://m.youtube.com/watch?v=wg4GSXtpQzQ
by monerozcash | 2025-12-07 23:54:20+00:00
A double agent would not get you "full take", it'd be impossible to hide the traffic. A double agent could maybe feasibly steal keys from Google, but they'd have to do that all the time because the keys are constantly rotated.

And even then, stealing keys does not give you passive decryption and active decryption would be incredibly noisy.

NSA does not have enough money to spend to be able to incentivize Google to give them full take intercepts either.
by jezek2 | 2025-12-07 23:54:25+00:00
I would say quite a lot of users because even the previous simple method of right clicking wasn't that known even by power users. Lot of them just selected "allow applications from anyone" in the settings (most likely just temporarily).

In one application I also offered an alternative by using a web app in case they were not comfortable with any of the option.

Also it's presented in a .dmg file where you have two icons, the app and the "How to install". I would say that's quite inviting for investigation :)
by darth_avocado | 2025-12-07 23:54:32+00:00
> lot of the negative reaction to them seems to me to be mostly emotional

Mine specifically stems from PE buying up all but one 24x7 emergency vets in a 20 miles radius from me. All of them were thriving businesses. There is only one remaining non PE ones has its days numbered. After monopolizing the emergency vet market, they shut down a few locations, which previously acted as competition for each other, effectively cementing monopolies in those individual neighborhoods as well. Now, you pay $200 to just get your pet checked out and always have to wait anywhere between 6-8 hours in triage if your pet isn’t literally dying, because they are perpetually understaffed and there are no other options. They also recommend unnecessary tests and treatments, present them as “optional” but refuse to treat your pet if you don’t agree to their “optional” treatment plan.
by m4rtink | 2025-12-07 23:54:32+00:00
Sure, it is impressive how much solar power Starlink currently captures, but ISS actually does not get that much - as far as I can tell its about 250 kW maximum even with the new roll-out solar arrays that have been installed quite recently.

So about 2.5 MW of solar potential ? That's indeed quite impressive, but for serious compute a lot of energy needs cooling will eat into that.
by dham | 2025-12-07 23:54:42+00:00
MacOS is abysmal with backwards compatibility. In the music space, everything just breaks every few years. With Snow Leopard, Lion, Catalina, Sequoia. While Windows versions work forever, you're stuck having to upgrade and buy new versions of software to run on newer versions of MacOS. That's if you're lucky. Sometimes you might have no path and you need to look for new software.
by decimalenough | 2025-12-07 23:54:47+00:00
You're completely missing the single largest source of domestic work, which was clothing. Spinning thread and weaving by hand are incredibly time consuming and consumed 40% of women's working hours.

Here's an overview by an actual historian, who estimates that women in a medieval peasant household worked 3,760 hours per year, which averages out to 80 hours per week.

https://acoup.blog/2025/10/10/collections-life-work-death-an...
by zdragnar | 2025-12-07 23:56:55+00:00
Properly rendered lard is indeed shelf stable for months, and won't mold or otherwise spoil.

The meat is the concerning bit, and where you're most likely to pick up roundworms like trichinosis and other nasty things.

Heck, I've got a medicinal rub made from bear grease and herbs on my shelf right now that I picked up at a Dakota elder craft fair.
by andrew_lettuce | 2025-12-07 23:57:06+00:00
That's not true at all! Funds often look for mature companies with predictable cash flow. They can make returns while also squeezing margins under the illusion of expertise and economies of scale and seek to the next fund for a multiple. They're an alternative to the massive headache of going public and getting a liquidity event, not typically the model for your weak and dysfunctional company.
by sitharus | 2025-12-07 23:57:28+00:00
The January 1997 version used a server-side image map served via CGI: https://web.archive.org/web/19970124032137/http://spacejam.c...

This was soon moved to a static table layout with higher quality images: https://web.archive.org/web/19970412180040/http://www.spacej...
by andy99 | 2025-12-07 23:57:40+00:00
You could just play rock paper scissors three times and use the results as bits for d6? Maybe dropping 111 and alternating who is 1?

Edit, I realize you’d have to drop 111 and 000 to get 6, not sure what I had in mind in the original, either way it balances. It’s also nice because I don’t think you can intentionally lose rock paper scissors.
by platinumrad | 2025-12-07 23:57:49+00:00
I've (unfortunately) written plenty of "safety critical" code professionally and coding standards definitely have a negative effect overall. The thing keeping planes from falling out of the sky is careful design, which in practice means fail-safes, watchdogs, redundancy, and most-importantly, requirements that aren't overly ambitious.

While maybe 10% of rules are sensible, these sensible rules also tend to be blindingly obvious, or at least table stakes on embedded systems (e.g. don't try to allocate on a system which probably doesn't have a full libc in the first place).
by dgroshev | 2025-12-07 23:58:06+00:00
Indeed, I understand your reasoning, you talk about that in the podcast in the RFD. This is why I wasn't talking about the lack of feedback, but the lack of human interaction. While there is nothing constructive to be done about the disappointment of rejection, this part is very much in your power to change, and that's why I think it's constructive feedback and not just venting.

That said, the RFD does say this:

> Candidates may well respond to a rejection by asking for more specific feedback; to the degree that feedback can be constructive, it should be provided.

Even just replying with refusal to provide feedback would still be more humane and decent.
by _heimdall | 2025-12-07 23:58:07+00:00
I have a very anecdotal, but interesting, counterexample.

I recently asked Gemini 3 Pro to create an RSS feed reader type of experience by using XSLT to style and layout an OPML file. I specifically wanted it to use a server-side proxy for CORS, pass through caching headers in the proxy to leverage standard HTTP caching, and I needed all feed entries for any feed in the OPML to be combined into a single chronological feed.

It initially told multiple times that it wasn't possible (it also reminded me that Google is getting rid of XSLT). Regardless, after reiterating that it is possible multiple times it finally decided to make a temporary POC. That POC worked on the first try, with only one follow up to standardize date formatting with support for Atom and RSS.

I obviously can't say the code was novel, though I would be a bit surprised if it trained on that task enough for it to remember roughly the full implementation and still claimed it was impossible.
by pama | 2025-12-07 23:58:23+00:00
Even without a formal proof you could test it empirically if you generate a large number of samples and run regular tests for pseudorandom number generators. [Edit: a quick test on a million samples and relatively simple RNG tests suggests that this is indeed good enough; maybe worth working out a proof if this hasn't been done already. Edit2: I guess the main problem you'd hit in practice with short sequences of digits would be to avoid accidental recurrences with too short a period, but it should be possible to make it statistically unlikely in practice with enough compute/digits.]
by defrost | 2025-12-07 23:58:34+00:00
You seem woefully misinformed:

https://en.wikipedia.org/wiki/Quebec_Agreement

The Quebec Agreement was a secret agreement between the United Kingdom and the United States outlining the terms for the coordinated development of the science and engineering related to nuclear energy and specifically nuclear weapons. It was signed by Winston Churchill and Franklin D. Roosevelt on 19 August 1943, during World War II, at the First Quebec Conference in Quebec City, Quebec, Canada. British scientists performed important work as part of the British contribution to the Manhattan Project, and in July 1945 British permission required by the agreement was given for the use of nuclear weapons against Japan.

> The U.S. would certainly have achieved the bomb on the same timeline without UK assistance.

In real history the US didn't even consider a nuclear weapons program w/out being pushed by the Bitish.

In real history both Churchill and Stalin wer better informed as to the progress of the Manhattan Project than was Truman who wasn't even aware of the project until On April 25, 1945.

In the realm of speculative history, the atomic bombing of Germany has often been discussed by real informed historians, the bulk of these discussions, the better informed ones at least, conclude such a thing to be unlikely to impossible .. but still worthy of a good beer table hypothetical.

See, for one example: Would the atomic bomb have been used against Germany? - https://blog.nuclearsecrecy.com/2013/10/04/atomic-bomb-used-...

I'm still chuckling that you actually thought the US developed the bomb in total secrecy with no help from any other country.
by lurking_swe | 2025-12-07 23:59:06+00:00
i think you meant everyone builds web apps because they want to target all platforms / hardware, they don’t care about performance (cpu usage, memory usage, etc), and they are easier to “deploy” in many respects.

Pros and cons to each. Not everything needs to be a native app. Some things SHOULD be native apps…i’m looking at you slack and friends.
by quesera | 2025-12-07 23:59:07+00:00
I think you're thinking about it on the kettle side, and I was thinking on the breaker side.

I think the kettle side would not care. It may be a ground fault in UK wires, but the kettle has no reason to detect it, and nothing sensitive enough inside to care. If I'm wrong, I'd expect to know shortly after starting the very first use. :)
by lenkite | 2025-12-07 23:59:38+00:00
> but if someone was willing to waste absurd amounts of money by using the wrong equipment they could certainly reach numbers like that.

This depends on the missile being used. 9M96E/E2 are the high-maneuvering ones used to shoot down UAV's which have ranges of upto 40/120 km. Multiple 9M96 missiles can be carried per launcher container, making them more far more compact with operational efficiency.

You are right that you wouldn't use this against a basic "quadcopter" drone as it is still too expensive, but Ukraine does indeed have far more sophisticated, speedy/evasive "strategic" drones. They are the undisputed world-leader in drone warfare. Many times the Russians have no choice.

All of the layered Russian air defenses shooting down Ukrainian drone swarms do mention the S-400, but unfortunately they don't give exact target count to each system, so it is difficult to correlate numbers.
by gucci-on-fleek | 2025-12-08 00:00:23+00:00
From the Wikipedia article:

> A display of goods for sale in a shop window or within a shop is an invitation to treat, as in the Boots case, a leading case concerning supermarkets. The shop owner is thus not obliged to sell the goods, even if signage such as "special offer" accompanies the display. […] If a shop mistakenly displays an item for sale at a very low price it is not obliged to sell it for that amount.
by measurablefunc | 2025-12-08 00:00:29+00:00
This is known as the data processing inequality. Non-invertible functions can not create more information than what is available in their inputs: https://blog.blackhc.net/2023/08/sdpi_fsvi/. Whatever arithmetic operations are involved in laundering the inputs by stripping original sources & references can not lead to novelty that wasn't already available in some combination of the inputs.

Neural networks can at best uncover latent correlations that were already available in the inputs. Expecting anything more is basically just wishful thinking.