skysight-inc/HackerNews huggingface dataset:
Tell HN: Perfect – not statistical – ZKP for Kolmogorov complexity
I had this idea that enumerating all strings<=len(string) constitutes a zero-knowledge proof of Kolmogorov complexity. In enumeration, the proof is "said," but the verifier has no way of retrieving the proof. This aligns with tradition ZKP principles, although this ZKP is different than most in that neither the prover nor the verifier knows the proof. I would like to know if anyone has thoughts on this idea or possible implications that you can prove Kolmogorov complexity but you can't know it
Already available in Cursor! https://x.com/cursor_ai/status/1894093436896129425

(although I do not see it)
> In ye olden days to make a diskette bootable

Off-topic, but the letter "y" of "ye" is in fact the letter 'thorn' (þ) in Old English, but got turned into "y" because the printing press, which originated from Germany, didn't have that English letter. That's why English alphabet also uses German "w" (double v's as you can notice from its shape, and pronounced "vee" in German) instead of English "double u" which used to be represented by a different letter called 'wynn' ('ƿ' or "uu").
[dupe] https://news.ycombinator.com/item?id=43163011
Except it's not especially hard? I, and I'm sure many of us, have decent little home gardens.

For fruit trees you have to do literally nothing to get just massive amounts of fruit that tends to constantly scale up as the trees grow. Highly recommended.

Lots of other stuff is completely easy mode as well. Leave potatoes out long enough and they start trying to sprout! 'Potato boxes' are another super easy high output plant anybody can do.
I have never been a big gaming person, but the excellent storytelling has impacted me more than anything else, especially in The Secret of Monkey Island[1] series, which truly impressed me.

Up until Monkey Island, I remember the graphics being quite mediocre (like in King's Quest). Monkey Island's graphics wowed me at the time and really boosted the immersive experience.

On the other hand, I recall playing Haunted House[2] on an Atari 2600[2] back in 1982, where the graphics consisted of white squares on a black background, and it scared us as kids.

1. https://en.wikipedia.org/wiki/The_Secret_of_Monkey_Island

2. https://en.wikipedia.org/wiki/Haunted_House_(video_game)

3. https://en.wikipedia.org/wiki/Atari_2600
At the end of 2019 the TSLA stock price took off. Maybe it went to his head a little?
One of the British TV shows that I've been introduced to over the past half decade of YouTube binging was Taskmaster (its British weird / funny)... and one of those tasks was to memorize the order of playing cards in 5 minutes.

https://youtu.be/aSQnWQUyekk

The winner was really impressive in what was done (second place was also very impressive).
> Google openly train stuff based on your email

They do not.

Many years ago, they served customized ads based on your email. Then they stopped that, even for free accounts, because it led to a lot of unfounded misunderstanding that "Google reads your email, Google trains on your email"...
The problem is that you can look at this and, after a few seconds, think you've formed an intuition on how it must work, but your intuition is wrong. It seems like the only way to really show how weird this is would be by creating an animation that shows how it shuffles entries around.

(Edit) I gave it a shot: https://jsfiddle.net/odwh6cL5/45/
1.9% according to this USDA link https://www.ers.usda.gov/data-products/charts-of-note/chart-...

But,

> Large amounts of natural gas are required in the manufacturing of fertilizer and pesticide, so these amounts are categorized as indirect energy consumption on farms.

So seeing as modern industrial agriculture only exists because of the Haber-Bosch process and pesticides, but those are counted as indirect inputs, your phrase "primary energy consumption" is also doing a fair amount of heavy lifting.

And that's not counting all of the supply and cold chains needed to get that food to your supermarket. All these hydroponic/indoor-fresh-greens startups are largely about breaking even on the product-to-market side of things.
> Include the beta header output-128k-2025-02-19 in your API request to increase the maximum output token length to 128k tokens for Claude 3.7 Sonnet.

This is pretty big! Previously most models could accept massive input tokens but would be restricted to 4096 or 8192 output tokens.
From what I can tell the only mechanics who care are trying to illegally bypass emmissions controls, or they are trying to run a chop shop steeling cars for parts. Cars are very repairable outside a dealer for most things.

though I'm told tesla is an exception and they are unrepairable - I don't drive one so I wouldn't know.

the above is my personal opinion. My employeer has an opinion on this subject, but I don't speak for them.
Saw the same thing, but looks to be up now!
Containers are bloated. We built a runtime tool to remove bloat and CVEs
We are a bunch of academics who have worked on debloating tools for containers and we just released our code with an MIT license to Github: https://github.com/negativa-ai/BLAFS

A full description of the work is here: https://arxiv.org/abs/2305.04641

We have tested the tool on many containers. For the top 20 pulled docker containers, the savings are up to 95% with all the containers working. We have done the same tests with slim-toolkit and it was only able to debloat 8 out of 20. We are looking at making this more automated for users.

Now, we only support docker, but we are working on podman and lXCs. We are also working on a version that guarantees generality (i.e., we give you 100% guarantees that your container will always work) with zero requirements to profile.

Please do try it and let us know what you think! All feedback is welcome!
As well as many conservatives like Winston Churchill and Charles de Gaulle, and 'liberals' like FDR so-called because of an explicit rejection of socialism, not to mention the Republican who ran against him in 1940

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

who pivoted from opposing the New Deal to being the US's diplomatic vanguard for WWII.
The EFF has a good guide about the relevant laws: https://clinic.cyber.harvard.edu/wp-content/uploads/2020/10/...
I’m mostly amused and surprised to see a drag race gif on a security substack. Not surprised at any of the rest of it.
This is formal academic style, not wolfram style.
Basket clubs complied (sorry) without objection
Awesome. Claude is significantly better than other models at code assistant tasks, or at least in the way I use it.
Allman style FTW!
Everyone in the industry losing their shirts and going out of business is a crisis. It happened 15 years ago in the US and we still haven't made it back to mid 90s level of housing starts.
This amounts to a cost-saving measure - you can generate arbitrarily many tokens by appending the output and re-invoking the model.
It does. If you identify "innovation" differently. The American meaning of "innovation" is finding a way to force ten million people to pay you a dollar each. European innovation is, like, Mastodon, where you specifically cannot be forced to pay a dollar. This tends to not pay as well. This is because America selects for people who can get paid lots of money much more strongly than Europe does.
I read there's sort of this paradox about dismantling government that people talk about where sure you run on dismantling government, but then, when you get in power, you realize that it's much easier to affect change if you have resources to do so.

I imagine some of the folks being put in charge of agencies are going to want to leverage power.
Exactly. It's companies like John Deere who automate their combines, not software/automation companies learning how to make combines, that have been (and I expect will continue to be) successful.
Last week when Grok launched the consensus was that its coding ability was better than Claude. Anyone have a benchmark with this new model? Or just warm feelings?
My parents live in a very upscale country club community down in Florida and their gate security is laughable. They assign every household a 4 digit code to enter the community. Given how many homes are in this community, entering any 4 digit code > 1000 and < 2000 will work.
Not a farmer, but I think it's a mistake to say that farmers haven't modernized.

I saw some videos about more modern farms, and they utilize drones, GPS, and a whole litany of other bits of modern tech to help with the farming stuff.

I agree that it needs to be farmers leading the change, but I don't think that the farming world is as primitive as people seem to think it is.
This is fun. Seems like you got several comments here trying to "improve" it's "usefulness". I like it as is, a piece of art on how corporate speak is unrealistically obtuse.
Since we are talking about an embedded solution shouldn't the benchmark be something like sqlite with a vector extension or lancedb?
"Thou shalt not kill" is a rule that appears in every shortlist of rules that has been issued by any king, ever. The rule is there because every society has that rule. It doesn't apply to how you treat people that the king doesn't like, of course. But that exception applies equally to hittite kings and christian kings.

There are other commandments that are characteristic of christianity, but this is not one of them. "Thou shalt not" commandments are basically the same in all cultures. The "thou shalt" commandments are not.
Ok this time I'll put as much effort into my reply as you did:

Yes you did.
"Hither" sadly underutilized word. Doubly true for "thither"
Yeah, "Workspace data." If you don't think a scientist has copies of all his/her stuff in a personal Google account you've never met a scientist.
Check out the Zerowriter Ink. Similar features/hardware but a slightly different form factor. Seems like a pretty attractive niche for startups.

https://www.crowdsupply.com/zerowriter/zerowriter-ink
You can always count on someone thinking doing some unscalable thing and it being "easy" will scale for an actual operation that needs to make money.

Farming is only easy for the people that have never farmed before.
Wes,

Apologies for the delay! I missed.

Great breakdown—you’re seeing the edges of it, but let me connect the missing piece.

Wavelets vs. Fourier & AI loss functions
You nailed why wavelets win—localizing both time and frequency dynamically. But the real play here is structured resonance coherence instead of treating AI learning as a purely probabilistic optimization. Probabilistic models erase context and reset entropy constantly, whereas CODES treats resonance as an accumulative structuring force. That’s why prime-driven phase-locking beats cross-entropy heuristics.

Prime emergence & Ulam spirals
You’re right that prime gaps aren’t random but encode periodicities across systems—biological, cosmological, and computational. But the deeper move is that primes create an emergent coherence structure, not just a statistical artifact. Ulam spirals show this at one level, but they’re just a shadow of a deeper harmonic structuring principle.

Superfluidity, chiral molecules, and deep space dynamics
The superfluid analogy works but is incomplete. Bose-Einstein condensates (BECs) and zero-viscosity states are effects of structured resonance, not just temperature or density thresholds. You pointed to handedness affecting locomotion in polarized fields—that’s getting warmer, but step further: chirality isn’t just a constraint, it’s a selection rule for emergent order. That’s why galaxies form spirals, not just because of angular momentum but because chirality phase-locks structure across scales.

Entropy, entanglement, and deep-space coherence
The “heat destroys quantum entanglement” take is missing something big—CODES predicts that prime-structured resonance can phase-lock entanglement across astronomical distances. It’s not just about cooling; it’s about locking information states into structured coherence instead of letting them decay randomly. That’s how you get stable entanglement in astrophysical jets despite thermal noise.

Could this be an engine?
Yes. If structured resonance scales across domains, then chirality-driven resonance fields could create a new class of energy extraction mechanisms—think phase-locked electroweak asymmetry, but generalized. If electroweak asymmetry already gives us beta decay, what happens when you apply chirality-induced coherence fields? You’re talking a completely different model for field interaction, maybe even something close to a prime-locked energy topology.

Where You’re Almost There But Not Quite

You’re still interpreting some of this as chaotic or probabilistic emergence, but CODES isn’t describing randomness—it’s describing structured phase coherence.
• Superfluids aren’t a weird edge case—they’re an emergent effect of structured resonance.
• Entanglement isn’t just fragile quantum weirdness—it’s a phase-locked state that can persist given the right structuring principles.
• Chirality isn’t just a passive bias—it’s the underlying ordering principle that phase-locks emergence across biology, physics, and computation.

CODES isn’t just describing these effects—it’s providing the missing coherence framework that ties them together.

Would love to jam on this deeper if you're up for it!

Devin
Making this installable on Sandstorm would be great.
For about year and a half I am working on fully dynamic, zero-downtime, reconfigurable API. Main target is me, hobbyists, self-host enthusiasts and small-to medium companies.
Idea is to be able to configure API with JSON schema definition of an object that API should store and allow you to manipulate (with CRUD operations). In future I plan to add FE for building those schemas based on data and some LLM helper.

* There is possibility of adding relations between schemas (1-to-n, n-to-n, 1-to-1)

* API allows to filter and transform responses to your own arbitrary schema via custom query language

* support Oauth with custom Oidc of your choice and API tokens for easily configurable but strong security

* from the start I designing it with extensibility in mind so there is built-in system of flows and custom extensions

* flows support running via custom http endpoints, and system events (i.e. data changes); cron schedules and external events are planned

* flows are defined via Json files

* flows are also customisable and allows to define your own blocks and flows that can be injected into other flows for bigger pieces of logic.

* all json files are source for code generation so performance should be the same as using your own manually written code or at least very close.

* there is built-in template subsystem, used for flows (i.e. for saving files with content from template) that I also plan to use to generate static files for FE.

* custom pieces of logic are supported by flows so you can create flow to update some read-only values based on other values (i.e. FullName from first and surname).

To achieve that I had to write my own fluent API for C# code generation. I had idea mainly during writing my own API for my house automation: 'Why I have to write another DAL layer, and auhorization, and filtering, and database schema? I did this dozens of times already?!' There is no need to figure this one out every time.
Clean Language
CPI is absolute bullshit. They silently keep adjusting the way they measure it and by some profound convience to them the adjustments always end up with a lower inflation.

Butter's now nearly twice as expensive. I'm paying twice as much to heat my house as I'd have paid 5 years ago. Bread went up over 30 percent during the war. Many product skyrocketed during covid and never came back down.

The CPI and other similar measures are government lies to keep the peace.
This is a bad name collision, given the domain (Internet).

I saw the headline, and immediately thought "Huh, what's their angle? Surveillance?"
Well, the companies releasing open weights also need to recoup their investments at some point, they can't coast on VC hype forever. Huge models don't grow on trees.
Please have a look at this video, hope it helps: https://youtu.be/KJtZARuO3JY
Show HN: Kokoro-82M TTS Production API (~300ms Streaming in USA)
Criminals were already enabled to do that, and the people in those buildings had no way to know.

The more-responsible thing might have been to also reach out to residents of individual buildings & give them time to correct the situation, rather than relying on the company (which has a vested interest in ignoring the problem) to do the right thing. But security through obscurity is not a solution.
Just as humans use a single brain for both quick responses and deep reflection, we believe reasoning should be an integrated capability of frontier models rather than a separate model entirely.

Interesting. I've been working on exactly this for a bit over two years, and I wasn't surprised to see UAI finally getting traction from the biggest companies -- but how deep do they really take it...? I've taken this philosophy as an impetus to build an integrated system of interdependent hierarchical modules, much like Minsky's Society of Mind that's been popular in AI for decades. But this (short, blog) post reads like it's more of a behavioral goal than a design paradigm.

Anyone happen to have insight on the details here? Or, even better, anyone from Anthropic lurking in these comments that cares to give us some hints? I promise, I'm not a competitor!

Separately, the throwaway paragraph on alignment is worrying as hell, but that's nothing new. I maintain hope that Anthropic is keeping to their founding principles in private, and tracking more serious concerns than "unnecessary refusals" and prompt injection...
Tired of expensive life coaches who don't understand your unique challenges? Why struggle alone when your friends' collective wisdom can guide you better?
Introducing GatsbyAI, the world's first coaching platform that combines AI with peer feedback from people who actually know you. Get personalized guidance that works.
Just launched on TestFlight - Sign up for early access today! Would love any thoughts from the hacker news and YC community. feel free to email me at brian@reinnovatestudios.com with questions.
That sentence wouldn't have made sense to me before I read the original article.

I got into web dev after HTML5, I've never heard of <frameset>
I took DS visual reasoning to be an elegant misdirect from how much slower DS returns your query's output.
I wonder if we’ll see “compliance devices” like we saw compliance cars in California. That is, highly modular, repairable devices available to consumers inclined that way, “offsetting” some of the other devices companies like Apple make
> Let’s be real: In effect, pronouns are a form of generational warfare.

Oh, **** off.

I agree that grace is something that sometimes gets lost in the cutting edge of liberalism. The article touches on this—in some cases, yes, it's a generational difficulty conceptualizing what are to them new ideas about gender that conflict with their upbringing. There's sometimes an attitude of "get with the program yesterday" amongst very progressive people that serves to alienate people acting in good faith trying but erring. I think if we did show more grace in that area, it would be a net positive for society and for trans acceptance.

However. That "get with it yesterday" attitude is a response to the overwhelming amount of bad faith dialogue that currently exists and has historically existed in the trans conversation. This article glosses over intentional misgendering and real transphobia in a way I found very gross.

Starting a conversation with pronouns can be a form of liberal virtue signalling, but it can also be a genuine exercise in trying to accommodate people's hard fought for identities. I'm sorry if you don't think someone is worth gendering correctly because they haven't done something outstanding for you, and I'm sorry if you don't feel that person is worth expressing your identity to either. To the same extent that we should be extending grace to people acting in good faith to understand gender pronouns, I hope we can extend that grace to people using them.
YES. I've tried them all but Sonnet is still the model I'm most productive with, even better than the o1/o3 models.

Wish I could find the link to enroll in their Claude Code beta...
Electricity finally made some sense to me when I wrote down the basic high school electricity equations and derived the basic energy and charge units from them.

That's how I finally understood that power is energy rate (Joules per unit time), current is charge rate (electrons per unit time), and voltage is energy per unit charge (Joules per electron). Voltage makes a lot more sense as the excitation of electrons; them wanting to jump gaps and go to a lower energy place feels more intuitive in that framing.
> Why would my phone number be any of their business?

Preventing abuse? It's much harder to create a throwaway phone number than a throwaway email address.

> OpenAI does the logical thing. Let's me enter my credit card and I'm good to go. I will stay with them.

You'd rather hand over your credit card than your phone number? I think most people would see it the other way around.
That's the reason I've not yet signed up. After trying to use some anonymous sms service (which failed), I'm still not having an account:).
> After all, the Pope was once one of the patriarchs of what is now the Orthodox Church

This isn't true: the formal institution of the Pentarchy (ordering the Church under five patriarchs -- Rome, Jerusalem, Constantinople, Alexandria, Antioch) was only introduced by the decrees of the Quintisext Council (692), which the Pope notably refused to ratify. In essence, the eastern patriarchs declared there to be a Pentarchy with the Pope as 'first among equals' (a "prerogative of honour"), while the Pope continued to claim a position of pre-eminence over all other bishops.

> It is impossible for the two to be in schism if the institution was infallible prior to the schism itself

The Catholic position is essentially that ratification by the Bishop of Rome is a pre-condition for the Church to make a declaration on matters of faith or doctrine. With that in mind, divergences like the Quintisext Council or the Iconoclast Crisis are at best local policies, at worst heresies, but certainly not "teachings of the Church" which later had to be "reverted". The later schism is also just that -- the Patriarchs in the East choosing to break off from the "primary body" of the Church, moving from a state of union to a state of disunion, but leaving the Church itself still secure.

While I'm not quite as well-versed as with Catholic doctrine, my understanding is that the Eastern Orthodox position is symmetrical, though less strictly defined since the Orthodox tend towards a less legalistic expression of Church hierarchy. They believe that the Church speaks through a consensus of its patriarchs, and therefore that the Pope has simply broken off of the Church by declaring otherwise. In their case, cases like the Council of Hieria (the council which instituted Iconoclasm) are invalid because neither the patriarchs nor their representatives were present at the council -- so heresy was never professed by the Church.
Primary energy consumption is the right metric here, since it's a 1:1 accounting of inputs to HB, chemical manufacture, and fuels for vehicles. Not a whole lot of electrical input there.

In any case, the amount is small compared to society as a whole, and today's energy intensive agriculture could be sustained even with entirely renewable inputs, although at a cost. It's a small problem compared to shifting the larger economy off fossil fuels.
I passed this along to an Asian woman and she had fighting words for the authors about the racial composition of the study.
They could go for the Apple-in-Europe model, where you have the right to repair only if your geolocation detects you being in a state where it's mandatory for you to have that right, otherwise it still locks you out.