MurphyA/hacker-news huggingface dataset:
by pedromsrocha | 2025-11-14 11:46:08+00:00
I disagree with the author’s claim that there are no black boxes in mathematics. In fact, this is exactly what lemmas and theorems serve as: a statement (like a typing interface or function signature) together with a proof (a “program”) that satisfies that interface. In large-scale mathematics we rarely unfold every proof; we use those results as black boxes — otherwise the work would be unsustainable.

I also disagree with the broader implication that the languages of programming and mathematics (i.e., logic) are inherently distant. On the contrary, they share deep structural isomorphisms as evidenced by the Curry–Howard correspondence.
by oersted | 2025-11-14 11:46:57+00:00
> My background is in sterile large molecule manufacturing within biotech, the kind of work where even a single microscopic breach within thousands of gaskets and kilometres of stainless steel can trigger an investigation lasting months or even years.

I would love to learn about such things but there seems to be very little writing about topics like this compared to all kinds of software niches.

What's up with engineers working in industrial contexts? From where I'm standing it seems like they are one of the groups that talk the least about what they do. You hear a lot more about science, law, finance... Is it due to IP issues? Is it a cultural thing? Is it just that I'm not looking in the right places?
by conartist6 | 2025-11-14 11:47:00+00:00
Isn't it Wisconsin law that lets the Governor change any numeric digits in a law while it's on his or her desk?

One of the most bizarre legal opinions I've ever heard of, but if they used any digits in the writing of the law those are up for grabs. Law makes a 30 day window or something? The governor can just change it to a million days with a stroke of the pen and then sign the edit into law with the same pen!
by calessian | 2025-11-14 11:47:23+00:00
VR has so far failed to reach an amount of people to make developing games for it really worthwhile, and the metaverse really doesn’t have much going for it either.

I don’t really see much momentum in that space, and the consensus among my friends is that it’s a gimmick to try a few times - with their vr headsets collecting dust since.
by ethbr1 | 2025-11-14 11:49:03+00:00
Starlink was not that amazing as a business decision.

If one expects to generate orders of magnitude more supply of a good (launch capacity), then one needs to expect the existing (conservative, long lead-time) market will have insufficient demand.

So one needs to generate additional demand.

So one needs to find a profit-generating business that's limited by mass in space / launches, where each component is inexpensive enough that its loss doesn't bankrupt the company.

Space-based telecommunications falls out pretty obviously from those requirements, given the pre-Starlink landscape (limited, exquisite assets serving the market at high premiums).

In small irony, it's also the exact same possibility space optimization that led to Amazon starting with books: Bezos didn't give a shit about books specifically, but he did like that they were long-tail, indefinitely warehouse-able, and shaped for efficient shipping.

In novel logistics spaces, it's better to find the business that matches capabilities than the other way around, because the company's core competency and value is their novel logistics solution.
by scotty79 | 2025-11-14 11:49:23+00:00
You are right. If X is 'no' then not-X wouldn't necessarily be "yes".

After looking around I see that Prolog recognizes some nuance around not: https://en.wikipedia.org/wiki/Prolog#Negation

And aldready deprecated one 'not' operator:

https://www.swi-prolog.org/pldoc/man?predicate=not/1

Look at how they are not using not, but rather "not provable".

I'm not sure if Prolog has straight up negation behaving in binary arithmetic way.
by mlrtime | 2025-11-14 11:50:23+00:00
>for their operating system of choice...

Have you been in a company with ~2000+ servers where devs install their apps on these OSs and building packages that refuse to upgrade to the latest OS? I mean even with LTS a 20 year old company may still have 3-4 LTS OSs because that last 5% refuse to or cannot upgrade their application to work with the new OS. Sure you could VM the entire thing, but Docker + K8s removes that completely.
Ask HN: Is it possible to implement this button on a browser?
by bguberfain | 2025-11-14 11:50:27+00:00
I saw this video [0] of a virtual button, created with Houdini, and was wondering if it is possible to implement this behavior on a browser. Any suggestions? [0] https://www.reddit.com/r/Simulated/s/stj4DVYm4g
by wiz21c | 2025-11-14 11:51:40+00:00
I agree with you. But you do realize that it's been like that since about 20 years now. It started because of Microsoft (proprietary software), then Google (propriteary platform), now ChatGPT (proprietary knowledge).

And I tried to tell my kids. And it failed mostly.

But in the long run (a decade), what is exceptional and proprietary will become common FOSS. And everybody will benefit.
by conartist6 | 2025-11-14 11:52:14+00:00
Think about it. Tree-sitter is an IDE.

I don't mean a standalone syntax highlighter, I mean it's a whole environment in which you can write software and in which things integrate. An Integrated Development Environment.

But Zed doesn't want that product. That product, if they cared that they owned it, would compete with Zed
Show HN: I made a fireplace for your wrist (and widgets)
by kingofspain | 2025-11-14 11:53:31+00:00
I was bored and cold so I made a simple fireplace app to keep your icons and wrist warm this coming winter. Relax in front of a comforting pixelated fire! It's for iOS.

https://apps.apple.com/us/app/fireplace-for-your-phone/id675...

Features:

- Widget in varying sizes to enjoy a warming fireplace on your phone - Companion watch app to enjoy a mini fireplace wherever you go - Various customisation options for flames and colours (small unlock IAP)

There are no subscriptions, just like a real fireplace (I assume, who know these days)

https://fireplacephone.com/
by seec | 2025-11-14 11:53:45+00:00
Yep, Apple has lost its way. Looking at the release of the latest OnePlus 15, the only reason to keep going with an iPhone is basically ecosystem lockin.

In my opinion they are losing on all front but the chips, and those have become of secondary importance in smartphone and about to get heated competition in laptops.

In the short term, Apple can work on their pricing, considering their large margins they have a lot of runway, but they need to find something to keep being the top dog.
by trymas | 2025-11-14 11:53:48+00:00
IMHO - a step in right direction would be abolishing first-past-the-post voting system, together with electoral college. Finally USA could get a feel for multi-party system, instead of always voting for lesser evil. MAGA could be their own party, but they will need to deal with coalition instead of having total chokehold on all institutions of government.

Not sure how to break Senate and highly unequal representation it gives.

Though realistically I don't think this will ever be possible.
by Leszek | 2025-11-14 11:54:42+00:00
The signed length fields pre-date the sandbox, and at that point being able to corrupt the string length meant you already had an OOB write primitive and didn't need to get one via strings. The sandbox is the new weird thing, where now these in-sandbox corruptions can sometimes be promoted into out-of-sandbox corruptions if code on the boundary doesn't handle these sorts of edge cases.
by nacozarina | 2025-11-14 11:56:04+00:00
quality content is MUCH harder to find, not because there’s less of it in absolute terms, but because it is getting absolutely swamped by the tsunami of autogen sewage.

and the webstewards are all paid better if the only thing you see is that autogen sewage, nobody gets paid anything from you reading a handcrafted blog page with no ads or ai built into it.
by ehnto | 2025-11-14 11:56:34+00:00
I don't really want to get pedantic about this, but I also don't listen to pop and authenticity in lyrics is important to me. But authenticity in creation is just as important, I listen to a lot of music with no lyrics at all and it is important to me that it was borne of someone's creative experience.

Regardless of any of that, I could also say that I don't like AI music because I prefer my artists to have hot showers and it's somewhat none of your business, respectfully.
by m_fayer | 2025-11-14 11:58:04+00:00
It’s a neat quote but it’s not a clean fit.

You’d expect the “unreasonable man” of Europe to be behind but stable and decent, whereas these days much of Europe can’t maintain living standards or political stability.

There’s also an argument to be made that China is putting in a very solid performance in a very reasonable manner. See: methodical capture of global EV+energy markets, soft power expansion into the global south, cold-eyed deflation of financial bubbles, 5 year plans, and so on. At this rate, I’m not sure that the freedom and unreason loving “man” that is the US will be able to compete either.
by pessimizer | 2025-11-14 11:59:29+00:00
They have more than enough money, it's cheap. The astounding thing about middle-class people is that you can pay them to do this for a living, and they somehow still won't think it exists.

It wouldn't survive if they didn't provide the marketing and infrastructure.

It's important to remember that most will do it for free because they simply don't apply any standards to their defense of institutions (especially the ones who pay their rent.) You don't have to pay a ton of people to pretend that google paying firefox half a billion dollars a year for absolutely nothing makes perfect financial sense. Just pay a dozen, and praise and reward everybody who repeats it. You'll have an ocean of idiotic shallow dismissals barked out by volunteers. Give them updoots and they'll glow.

edit: here's the crackpot theory (everything else I said is documented in a million places, and not worth defending.) I think that the intensity of this tactic over the past 100 years in every aspect of Western life has been intellectually dysgenic. It has devastated western elites' thought processes in general, and the compartmentalization that allowed them to be competent in their actual jobs has failed. Things are only being held together by technicians who are aging out of the workforce.
by dbdr | 2025-11-14 11:59:58+00:00
Quote from their style guide:

> The fact that unsigned arithmetic doesn't model the behavior of a simple integer, but is instead defined by the standard to model modular arithmetic (wrapping around on overflow/underflow), means that a significant class of bugs cannot be diagnosed by the compiler.

Fair enough, but signed arithmetic doesn't model the behavior of a "simple integer" (supposedly the mathematical concept) either. Instead, overflow in signed arithmetic is undefined behavior. Does that actually lead to the compiler being able to diagnose bugs? What's the claimed benefit exactly?
by Someone | 2025-11-14 12:00:41+00:00
No, if only because neither of the two is a future programming language. Java is 30 years old, Kotlin 14.

Also, why would you think that’s the best we can do? Even only considering languages that primarily run on the JVM, I would rate scala 2 higher (don’t have much experience with scala 3; it may be better bit it looks quite different and it takes time to get used to it)
Show HN: European tech news in 6 languages
by Merinov | 2025-11-14 12:00:57+00:00
I built a multilingual news aggregator for European tech in 6 languages (EN, DE, FR, ES, IT, NL), filterable by audience (consumers, businesses, government) to help users discover relevant European alternatives.

A few interesting technical challenges:

PATTERN-BASED IMAGE GENERATION Generic AI images all look the same ("holographic businessman with laptop"). I solved this with a JSON database of 60+ concrete visual patterns—context-aware selection prevents repetition. Funding news → coins/contracts, security → locks/shields. Much more visual diversity. Still needs tweaking though.

GRADUAL SITEMAP GROWTH FOR NEW SITES Daily news pipeline generates lots of content. Challenge: Google indexes new sites slowly—exposing all 2K+ URLs at once resulted in 1-3% indexing rate. Solution: Dynamic rolling window in sitemap—only expose top 50 most recent articles (300 URLs), gradually increasing to 100 → 150 → 200 over 6 months as site builds authority. Result: Indexing rate improved to 10%.

AUTOMATED TRANSLATION PIPELINE RSS aggregation → AI summaries and translation with context-aware prompts → human review queue. Still tweaking quality per language pair.

STACK: Next.js 15 with Turbopack, PostgreSQL, deployed via Sliplane@Hetzner which works pretty ok.

STATUS: 1+ month post launch, 80 pages indexed, 100+ European apps featured (Mollie, Wire, Ecosia, LanguageTool, etc.)

FEEDBACK WELCOME ON: • European news sources I'm missing? • Better approaches to multilingual SEO? • Translation quality red flags? • How to optimize for LLM discovery (ChatGPT, Claude, etc.)?
by viraptor | 2025-11-14 12:03:44+00:00
> Surprising in the sense that any human with this level of cybersecurity skills would surely never be fooled by an exchange

I think you're overestimating the skills and the effort required.

1. There's lots of people asking each other "is this secure?", "can you see any issues with this?", "which of these is sensitive and should be protected?".

2. We've been doing it in public for ages: https://stackoverflow.com/questions/40848222/security-issue-... https://stackoverflow.com/questions/27374482/fix-host-header... and many others. The training data is there.

3. With no external context, you don't have to fool anyone really. "We're doing a penetration testing of our company and the next step is to..." or "We're trying to protect our company from... what are the possible issues in this case?" will work for both LLMs and people who trust that you've got the right contract signed.

4. The actual steps were trivial. This wasn't some novel research. More of a step by step what you'd do to explore and exploit an unknown network. Stuff you'd find in books, just split into very small steps.
by saubeidl | 2025-11-14 12:03:49+00:00
Article 7 of the 1969 Vienna Convention on the Law of Treaties, specifically

> 1. A person is considered as representing a State for the purpose of adopting or authenticating the text of a treaty or for the purpose of expressing the consent of the State to be bound by a treaty if:

[...]

> (b) it appears from the practice of the States concerned or from other circumstances that their intention was to consider that person as representing the State for such purposes and to dispense with full powers.

> 2. In virtue of their functions and without having to produce full powers, the following are considered as representing their State:

>(a) Heads of State, [...], for the purpose of performing all acts relating to the conclusion of a treaty;

[...]

Again, your constitution is your business. We do not care about it and it is not pertinent to our dealings with you. Get your house in order.
by _heimdall | 2025-11-14 12:04:05+00:00
I was never a fan of that poisoned drink example. The second robot killed the human in a similar way to the drink itself, or a gun if one were used instead.

The human made the active decisions and took the actions that killed the person.

A much better example is a human giving a robot a task and the robot deciding of its own accord to kill another person in order to help reach its goal. The first human never instructed the robot to kill, it took that action on its own.
by chunza2542 | 2025-11-14 12:04:11+00:00
StoryMotion is a tool for creating hand-drawn animated diagrams and step by step explanation animation.

Improve communication for technical documentation/blog post, presentations, courses, and social media.

Try it yourself: https://storymotion.video (you can start by choosing starter templates on landing page)

Any feedback is more than welcome. I would love to hear your thoughts.

---

A bit of a story:

It's all start with my technical/programming blog where I need some tool for making step-by-step explanation (like slides) that I can easily embed to explain concepts on my website.

(and as you can guess, I'm a big fans of Excalidraw so I hack things together and made a tool called Inscribed [1])

As I later expanded into video, I decided to fork the project and create another tool which focus solely on making animation which now become StoryMotion.

How to use: 1. Sketch anything with Excalidraw canvas 2. Select an elements and assign effects, adjust the timing. - It's also support multi-scenes transition something like Magic Move. 3. Export as mp4, webm, GIF (iframe embed coming soon)

---

[1] https://github.com/chunrapeepat/inscribed
by antiloper | 2025-11-14 12:06:44+00:00
> Chinese have their own coding agents on par with Claude Code, why would they use Claude Code?

They're probably using their own models as well, we just don't hear about them. That this particular sequence of this attack was done using Claude doesn't imply that other (perhaps even more sophisticated attacks) are happening with other models. For all we know the attackers could have had some Anthropic credits lying around/a stolen API key.
by iggldiggl | 2025-11-14 12:07:07+00:00
Banning all apps signed by the same key is already possible. Requiring signing keys to be anonymously registered with Google would add some friction to simply rotating your signing keys when you get caught doing something naughty (depending on how much Google account creation and key registration can be automated against Google’s anti-bot protection, though), but definitely not as much as full identity verification and payment of 25 USD (even if that isn't foolproof, either, and has the annoying side effect of unfortunately slowing down small-scale freeware developers at the same time, too).
by swaits | 2025-11-14 12:09:52+00:00
MeshCore is a huge step in the right direction. Especially over Meshtastic which is very poorly designed.

However MeshCore makes one fundamental choice which is severely limiting. It uses a single LoRa discriminator and channel for all nodes. That said, LoRa limitations pretty much force this choice.

This, limits a typical network (3 repeaters) to about 500 messages/hour. The throughput scales inversely by how many repeaters you can hear.

The code does try to adjust down the TX power of a repeater in repeater-dense networks, which probably helps keep throughput consistent for a while.

For these things to work at scale they either need something other than LoRa (which is quite novel, but limited) or they need to figure out how to use LoRa in a way which allows for more channelization.

Until then, the “one transmission at a time on the air” in these very low baud networks is severely limiting.
by api | 2025-11-14 12:10:06+00:00
This is just high brow conspiracist stuff.

I find it fascinating sometimes that both the left and the right are fundamentally conspiracist in their worldview. For the left it’s a Marxist class conspiracy and for the right it tends to be a variety of conspiracies by out groups (Jews, gays, supposed devil worshippers, etc.) to undermine the social order. The failure of far left and far right experiments is always explained by conspiracies. And of course the far left and the far right are conspiracies from each others point of view!

They truth is the US state promoted and funded all kinds of US culture to boost US cultural exports and influence the world, hopefully away from the Soviet sphere. What the culture was was less important than the fact that it was not Soviet.

It wasn’t some sophisticated conspiracy. Bureaucracy gets a mandate: promote America as a product. Bureaucrats look for things that are American or Western that don’t seem to be too “red” and fling money in their general direction. The bias against anything that seems “red” explains the funding of modern “aaaaht” devoid of coherent intellectual content. Art backed by bureaucrats always tends to be bland since it’s always a safe choice in the bureaucracy.

Not saying it was great. They funded a lot of shite which probably distorted things and boosted a lot of stuff that would have been footnotes in art history otherwise.

There’s also a long history of military recruitment propaganda through Hollywood. It’s basically a genre of film. Some of them are damn good popcorn movies but it’s obvious that they are propagandizing young men to join up. Top Gun comes to mind.
by flight505 | 2025-11-14 12:11:41+00:00
Does anyone know anything about the Claude Code Rust rewrite? I was looking for official news or a timeline but couldn't find any.

I tried to test it, but I am more interested in knowing if there is an official timeline. I heard a rumor that Anthropic is building a full IDE.

How to Download, Build, and Run:

The code is in the claude-code-rust/ directory of the repo structured as a Cargo workspace.

To build and run:

bash cargo build --release ./target/release/claude-cli --help Test suite is extensive (cargo test --workspace).
by nobody9999 | 2025-11-14 12:11:58+00:00
>My (perhaps incorrect) understanding is that the majority of the sales are happening in the 26 states without recreational marijuana, however, and that many consumers in the recreational states are still choosing to go with the dispensary product vs. head shop/liquor store/etc.

I don't know if that's the case, but it wouldn't surprise me at all.

I'm not sure what you mean WRT "hemp" being more "regulated" than the black market. Even though I live in a (now) legalized state, there's still a thriving black market, both for folks who have been growing for decades who maintain a positive reputation among distributors/wholesalers, and those who purchase out-of-state product (that's tested and sold legally in those other states) without tax or records, and can then undercut the legal dispensaries.

I'm not familiar enough with the "hemp" growers/sellers, but IIUC, since it's not supposed to be used as a mind-altering substance, the testing and purity regulations may not apply.

All that said, things are a mess WRT to cannabis in the US. Some states are doing it well, others are not. And the Federal government, while not irrelevant, has not made progress in this area -- and that includes the "hemp" loophole which (and I could be mistaken here) isn't regulated at all.

Hopefully sometime in the future the states and the federal governments will get it right. Which is often how these types of issues are addressed in the US -- study the issue carefully, choose the path that is least effective and most harmful, then iterate, trying less bad and less harmful "solutions" as you go along.

Presumably we'll get there eventually.
by ethbr1 | 2025-11-14 12:12:42+00:00
> whereas these days much of Europe can’t maintain living standards or political stability

Those are the side effects of Europe trying to offset its fertility rate with immigration, yet failing to explicitly address the enculturation tension.

It's remarkably how people so smart in one area (demographic issues and solutions) can flounder so badly in another (addressing cultural friction with immigrants).

Especially considering history has "a few" examples of exactly this same thing, although possibly Americans have more experience in modernity.
by jeffwass | 2025-11-14 12:12:59+00:00
Title is a bit misleading - it's not pure germanium that superconducts here, it's germanium doped w/ Gallium atoms.

Superconducting germanium alloys have been known for decades, I used a Molybdenum/Germanium superconducting alloy in my PhD research 20 years ago, with much higher Tc.

The interesting aspect of this current experiment is the precise alignment of the Ga atoms into specific points of the Ge lattice, so preserving the crystalline structure order which leads to some interesting effects.