jmusall

9 ms·

1.
by jmusall 12d ago
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 li
2.
by jmusall 12d ago
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.
3.
by jmusall 15d ago
> 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 impro
4.
by jmusall 15d ago
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 m
5.
by jmusall 1mo ago
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
6.
by jmusall 1mo ago
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 gri
7.
by jmusall 1mo ago
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 (w
8.
by jmusall 1mo ago
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 distinc
9.
by jmusall 1mo ago
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
10.
Dithered QR Codes(andrewt.net)
386 points by jmusall 1mo ago|45 comments
11.
by jmusall 2mo ago
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.
12.
by jmusall 2mo ago
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 spend
13.
by jmusall 2mo ago
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 anybod
14.
by jmusall 3mo ago
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.
15.
by jmusall 4mo ago
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.
16.
by jmusall 4mo ago
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
17.
by jmusall 4mo ago
In my humble opinion it was balanced when Google gave traffic to sites and these sites gave good results for Google to show
18.
by jmusall 4mo ago
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.)
19.
by jmusall 4mo ago
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 require
20.
by jmusall 4mo ago
The comment sections are perfectly fit for this purpose, too.
21.
by jmusall 4mo ago
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
22.
by jmusall 4mo ago
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.
23.
by jmusall 4mo ago
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).
24.
by jmusall 4mo ago
Could one mistake this > Status: Resolved (accidentally) > Severity: Critical → Catastrophic → Somehow Fine for a real CVE report?
25.
by jmusall 5mo ago
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.
26.
by jmusall 5mo ago
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).
27.
by jmusall 6mo ago
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 externa
28.
by jmusall 6mo ago
Direct link: https://en.wikipedia.org/wiki/Template:Canon_EOS_digital_cam... Not sure why it is a "template".
29.
by jmusall 6mo ago
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,
30.
by jmusall 6mo ago
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&#

More ›