jmusall

Here's a site with a few (three) introductory articles on ZKPs: https://zkintro.com

One in particular on pratical implementation of ZKPs was popular on HN back in 2024: https://zkintro.com/articles/programming-zkps-from-zero-to-h... (discussion at https://news.ycombinator.com/item?id=41398092)

That must have slipped through Kevin Buzzard's review, which is not entirely unplausible with 29500 theorems to verify...

I think they should spend another few billion tokens and let agents try to disprove any of those statements or links between them. Then I'd be a lot more convinced.

The comparator was only used to verify that the final statement indeed is a valid formalization of Fermat's Last Theorem, not that the proof leading up to it is correct.

> the shareholder's benefit is to society's benefit

Yes, but there can be other benefits than monetary ones. Besides, I find it rediculous to believe that wealthy people receiving more benefits automatically translates to improvements for the general society.

To add another point: The monetary value these companies create is often only possible because of their monopolistic market distortion. I don't think it can be a net benefit for society when competitors have little to no chance to offer a better product.

> When people suggest regulation they want to control how these companies are acting

That's true. In your original comment you also said "government taking over YouTube" which is why I thought we were talking about complete transfer of control à la planned economy, which is normally not the goal of regulations.

The things mega corporations built could be even more valuable (for society) if they didn't intentionally restrict for their own and their shareholders' benefit what you can do with them.

"Regulating" also doesn't mean "taking control".

The article did not make me understand that at all.

> Since we're making a new app, we're going to want two things: an app server (which hosts our API & frontend) and a view server (which collects data from the network for us).

Yes, the user data is decoupled from the apps, but aren't both stored on some kind of instances? Also:

> Why are we listening to the event stream if we're the one making the write? Because we're not the only ones making writes! There are lots of user repos generating events, and lots of apps writing to them!

Who is hosting this event stream? Aren't we making some kind of federated network by deciding on our app server which event streams or which users/apps pushing updates to listen to?

As far as I can tell the specification only demands the code modules (pixels) to be square (which is already often ignored in "aesthetic" QR codes which use e.g. round dots instead) and arranged in a square grid. Not that each grid cell has to be filled completely by the respective module. So this might actually be compliant!

From another comment:

https://research.swtch.com/qart

Looks like this is definitely possible, the results aren't as clean as you might hope though. Maybe they could be improved by introducing some intentional errors (which were explicitly avoided here).

I think sampling "the whole square" might actually not be that good for decoding even standard QR codes as aliasing at the edges of each code module ("pixel" of the code) in a camera image would actually make the distincion between 1s and 0s more difficult.

Your argument still partially applies though, as introducing new unrelated colors at the module edges could also lead to aliasing effects when the code is too small for example.

Coincidentally came across this after reading a comment [1] under the recent post on _for-sale DNS records, visiting milk.com and scrolling through the owner's Mastodon

[1] https://news.ycombinator.com/item?id=49224882

With the crucial difference that these processes deterministically return correct & working results (save for bugs which can be fixed and then stay fixed). Cannot be guaranteed for LLM output, no matter how much effort we put in.

I could not find any indication that the purpose of this ever-increasing spending (while alarming) is money laundering in the essay you linked. Can you provide any other source to back up this claim? Money laundering is illegal, while spending money in of itself is definitely not.

This post mentions https://github.com/wyager/zfs-backup for (offsite) backups. Why would they recommend this over something more established like https://github.com/jimsalterjrs/sanoid? Has anybody tried it?

There is Mathics: https://mathics.org/

It doesn't cover the full standard library of Mathematica but the syntax is very similar and a lot of functionality is there.

Can you elaborate on how your Forgejo frontend will be different than the default one? I'm asking because I've only ever used GitHub, GitLab and Forgejo for longer periods and Forgejo was the fastest and easiest to use for me.

Refreshing to see competition entering this space.

However, if you want to self-host, not caring for reliability or ease of use: bind9 supports RFC 2136 DNS UPDATE and DNSSEC, too (haven't figured that out yet, though). For my setup I also wrote a small Go executable that translates HTTP requests, because my home router does not talk DNS UPDATE.

In my humble opinion it was balanced when Google gave traffic to sites and these sites gave good results for Google to show

My hopes are high that the EU will be able to do this some day (unless it's fully enshittified first -- see chat control, age verification etc.)

I've seen good, low-budget indie sci-fi short films that would presumably meet all of the Dogma 25 rules. So I think it doesn't protect against this category of films and neither would that be a good thing anyways. It just requires creative solutions if you want to e.g. portrait space travel.

The comment sections are perfectly fit for this purpose, too.

HN also decides what you see. Yes, it's (mostly) based on other users' upvotes, but on TikTok et al. its the same just with a different metric (watchtime, interaction, retention and probabily more). Where do you draw the line? Or do you have a different proposal how these generated feeds should work? I don't think just showing content by users you follow is going to cut it, because ideally the purpose is to show new and interesting stuff nobody in your circle was aware of.

Related: https://lilypond.org/

I don't know if you can write drum sheet music with it.

I really like your editor with the transcription view. Maybe a spectrogram would be more helpful than a simple waveform display.

Fun idea and also I didn't know that websites could get access to my accelerometer data. However for me the sample frequency is 50 Hz which is way too low to measure even the lowest string pitch (E2, about 82 Hz).

Could one mistake this

> Status: Resolved (accidentally)

> Severity: Critical → Catastrophic → Somehow Fine

for a real CVE report?

How is it partisan political flamebait? While the title and opening paragraph might be exaggerated and not exactly neutral (which is even admitted right after), the rest of the article contains what looks to me like well-researched facts.

Probably not because EUV gets absorbed incredibly quickly by anything other than vacuum. This is why it is created in low density gas, thin liquid or solid samples (high harmonic generation) or electron clouds (free electron laser).

Haven't tried iNaturalist yet, but I love Merlin Bird ID [1] and Flora Incognita [2]. The latter seems to be exceptionally accurate (over 80% up to 98% depending on the dataset) [3]. They also expose an API for "registered external clients" [4], but so far I sadly wasn't able to find any further documentation on it.

A problem I often have with Merlin is that the birds seem to know when I record them, and promptly stop singing...

[1] https://merlin.allaboutbirds.org/

[2] https://floraincongita.com/

[3] https://doi.org/10.1002/pan3.10676

[4] https://doi.org/10.1111/2041-210X.13611

Direct link: https://en.wikipedia.org/wiki/Template:Canon_EOS_digital_cam...

Not sure why it is a "template".

Of course! I bet there are tons of ideas that didn't make it into Unicode, for better of worse. Where you draw the line is kind of arbitrary. You, personally, can of course opt out of all of that by restricting yourself to ASCII only, for example. But the rest of the world will continue to use Unicode.

The fact is that there were so many character sets in use before Unicode because all these things were needed or at least wanted by a lot of people. Here's a great blog post by Nikita Prokopov about it: https://tonsky.me/blog/unicode/