@theherk@lemmy.world
member since 2 Jul 2023 13:27
comments
- on OpenAI’s feud with mathematicians is only escalating in c/technology@lemmy.world · 13 Sep 2026
-
on OpenAI’s feud with mathematicians is only escalating in c/technology@lemmy.world · 13 Sep 2026
Oh, if your metric is that understanding and rigorous verification are the same then I agree, but then there is no proof at all without human understanding, so what are we talking about?
-
on OpenAI’s feud with mathematicians is only escalating in c/technology@lemmy.world · 13 Sep 2026
To facilitate other proofs that both can be understood and lead to other advances.
-
on OpenAI’s feud with mathematicians is only escalating in c/technology@lemmy.world · 13 Sep 2026
I’m not so sure that human understanding a single proof is critical. Sometimes a proof serves as a stepping stone to other proofs. Understanding is important, but becoming another tool is also important. So imagine if there was a proof, even human-generated but not fully understood, to Riemann zeta’s zeros. That, even if not understood fully, would lead to other important maths.
-
on Intent to Ship: JPEG XL – Mozilla Hacks - the Web developer blog in c/technology@lemmy.world · 5 Sep 2026
Not by default, but it can be enabled with
chrome://flags/#enable-jxl-image-format. More on support here. -
on Normalized Fascism in Open Source: $12 Million Given to DHH in c/technology@lemmy.world · 2 Sep 2026
I hate that any stance on one’s ethical position is considered political. It isn’t. It’s just ethics. One would hope the FOSS community would see this false “apolitical” narrative for the bullshit it is. Really bums me out when interesting projects get mired in this.
-
on Skip today's Windows 11 update: it breaks cursor styling, resets wallpaper, and more in c/technology@lemmy.world · 28 Aug 2026
Me too, but my library must not be nearly as impressive.
-
on Skip today's Windows 11 update: it breaks cursor styling, resets wallpaper, and more in c/technology@lemmy.world · 28 Aug 2026
Wow! I thought my NAS was loaded, but good lord. What are you storing?
-
on (noob question) Is it fine to use Tor on an unsafe network? in c/privacy@lemmy.ml · 26 Aug 2026
Depends what you mean by “fine”. Tor will still guarantee anonymity through the three-hop model, and no they cannot see the contents of your traffic. But it really depends on your risk tolerance. The real problem in this scenario is traffic analysis.
I’m not sure how the video stream packets look in that scenario but they may still be able to infer through protocol or density that some video is streaming and block that. Again, without knowing what is in the stream.
But you have to be cautious about other attackers in the network targeting your device. Those risks can circumvent all sorts of safety you might think you have.
-
on America's Largest Grid Operator to Data Centers: Bring Your Own Power or Get Turned Off First… in c/technology@lemmy.world · 23 Aug 2026
It is at least positive how forthright they are about its use in their process.
-
on Texas A&M physics prof writes: In ten years, light diffused by satellites will erase the the stars for the vast majority of humans. Save the night sky now. in c/technology@lemmy.world · 22 Aug 2026
A bit of a tautology.
-
on The Gemini Protocol in 2026: growing, but still not setting the Internet aflame in c/privacy@lemmy.ml · 16 Aug 2026
sourcehut hosts it free and makes publishing dead simple. You just push a tarball, and Bob’s your mother’s brother.
-
on best google like ecosystem? in c/privacy@lemmy.ml · 8 Aug 2026
Sort of, but it isn’t in my view very well deserved. There is certainly quite a bit of FUD here in the fediverse, but sometimes it feels manufactured.
The CEO has made, and partially walked back, some statements favoring right wing groups, but it was mostly antitrust stuff, so I think it is mostly rich person doing rich person things.
But they claim to be politically neutral, and they are a Swiss company which already puts it in a tier above anything hosted in many other western countries.
The services themselves are technically very well done, and the applications for using them are also very good. They have a new drive cli which is good. The password manager is great. VPN is good too. The mail bridge they provide is also very good if you want to use third party mail apps but with the benefit of their encryption.
There are other services that compete strongly on each of those and more, but I don’t think any do when considering the full suite.
-
on DuckDuckGo made sunglasses that do absolutely nothing, and they sold out in c/technology@lemmy.world · 8 Aug 2026
Fortunately it’s that awe inspiring battery technology where the power can be remotely stored and transmitted over millions of kilometers.
-
on best google like ecosystem? in c/privacy@lemmy.ml · 8 Aug 2026
I think Proton is quite good. They lack one feature that I need, which is integrated contacts on mobile, but once they add that, it will be a complete package.
-
on YouTube’s AI slop detector incorrectly targets Kurzgesagt as other creators fear same fate - Dexerto in c/technology@lemmy.world · 7 Aug 2026
2026 is weird, but the rest of the rawring 20’s are going to be a complete mindfuck.
It can’t. But I was replying to
That implies a different meaning, at least in that person’s context, between proof and human understanding, with which I agree.
An unverified proof is not a proof; it is just conjecture. But there can be a rigorous, fully verified proof that we don’t fully have that intuition to understand. Those can be created by humans even, leaving AI completely out of the picture.
All I’m saying is a rigorous proof, even if not fully understood can be useful to finding and understanding other maths.