someacnt
@someacnt@sh.itjust.works
- Comment on Functions 2 days ago:
Analyticity means the function locally behaves like (infinite-degree) polynomial. I’d say, it’s not strange that infinitely differentiable functions are not necessarily analytic - polynomials are quite restrictive, after all.
Well, over complex plane, differentiability = infinite differentiability = analyticity, so there’s that.
- Comment on Accessibility is important 2 days ago:
World category theoretical diagram suffice?
- Comment on i 💚 animals. 1 week ago:
I don’t get it, what is the distinction between the left and the right?
- Comment on “It’s Wednesday, my dudes.” 1 week ago:
What does the meme mean? I am out of the loop.
- Comment on number box o number box 3 weeks ago:
A tensor is one that transforms like a tensor 🤯
- Comment on number box o number box 3 weeks ago:
A tensor is one that transforms like a tensor 🤯
- Comment on After Disastrous GPT-5, Sam Altman Pivots to Hyping Up GPT-6 3 weeks ago:
Wasn’t it a moderate success? While I dislike LLM in general, many people I know loved new GPT5.
- Comment on CATL announces sodium batteries that cost as little as $10/kWh, a massive price reduction compared to the current average of $115/kWh for lithium-ion batteries. 4 weeks ago:
Finally, the annoying sk battery companies could die down
- Comment on Broccoli Blooms 4 weeks ago:
Wow, TIL that canola seed is natural hybridization of B. oleracea (Cabbage) and B. rapa (Chinese Cabbage).
- Comment on Think about it 5 weeks ago:
Mind 🤯 blown
…Wait, what if the Sun had a distant companion star?
- Comment on The next time you hear someone say they're just vibing in life without a job, just look at this image. 1 month ago:
Difference is that, those problems had relatively easier solution which was being worked on. This does not hold for global warming, we are not even trying!
Honestly, it’s pathetic that you try to look at things rose-tinted. Is it that hard to accept imminent crisis?
- Comment on cultured 1 month ago:
What is the media and culture in the biology context?
- Comment on ‘Subnautica 2’ Leaders Say Krafton Sabotaged Game Over Payout [new events in the Subnautica 2 story] 1 month ago:
The moment I saw Subnautica 2 is being published by Krafton, I knew it will be dead on the crib. Average Korean game company behavior.
- Comment on ‘Subnautica 2’ Leaders Say Krafton Sabotaged Game Over Payout [new events in the Subnautica 2 story] 1 month ago:
Sadly companies like this never go bankrupt, they are good at milking dry.
- Comment on ‘Subnautica 2’ Leaders Say Krafton Sabotaged Game Over Payout [new events in the Subnautica 2 story] 1 month ago:
Most Korean companies are like that. Extremely shortsighted, zero capability at creating and managing new markets.
- Comment on Stellantis abandons hydrogen fuel cell development 1 month ago:
Korean companies has been invested in hydrogen cars, which is why it will never going to be a thing.
- Comment on AI agents wrong ~70% of time: Carnegie Mellon study 2 months ago:
Thing is, they might achieve 99% accuracy given the speed of progress. Lots of brainpower is getting poured into LLMs. Honestly, it is soo scary. It could be replacing me…
- Comment on AI agents wrong ~70% of time: Carnegie Mellon study 2 months ago:
It’s not that bad, the output isn’t random. Time to time, it can produce novel stuffs like new equations for engineering. Also, verification does not take that much effort. At least according to my colleagues, it is great. Also works well for coding well-known stuffs, as well!
- Comment on AI agents wrong ~70% of time: Carnegie Mellon study 2 months ago:
Truth is bitter, and I hate it.
- Comment on AI agents wrong ~70% of time: Carnegie Mellon study 2 months ago:
Wdym, I have seen researchers using it to aid their research significantly. You just need to verify some stuff it says.
- Comment on Introducing reitti: a selfhosted alternative to Google Timeline 2 months ago:
I am slightly bothered by how the logo is quite off-center, is it intentional?
- Comment on 🐇 🐇 🐇 2 months ago:
Is programming skills that important in days of LLM where companies are replacing juniors with AI?
- Comment on Definitions 3 months ago:
Let me introduce you to the Non-Euclidean surfaces to bend your concept of straight lines
- Comment on SUNS OUT GUNS OUT 3 months ago:
I am sure there was a typo, it’s Gödel’s incompleteness theorem which proves that consistent systems are incomplete.
Consistency means likely what you expect: it’s that you cannot reach contradiction from very axioms.
The result is insane in my opinion, it means any sensible math system with basic arithmetic has a proposition that you cannot prove. AND you cannot also prove that the system is contradiction-free.
It is completionist’s worst nightmare.
- Comment on Don't do Caffeine and Complex Analysis, kids 3 months ago:
But complex analysis is surprisingly tame, at least any differentiable functions are locally infinite polynomials. Real analysis, on the other hand… shudders
- Comment on Thats fair 3 months ago:
Same, I hate not being able to socialize.
- Comment on Android’s next big feature turns your phone into a desktop 4 months ago:
And I thought the year of linux desktop was coming…
- Comment on MicroOS: Rootless podman? 4 months ago:
While this would not answer your question, but according to podman maintainers, rootful podman with
userns=auto
enjoys nearly as much security benefits as rootless. (As always, there are nuances to this)Check out github.com/containers/podman/discussions/13728
Maybe you could consider running rootful podman, especially if the OS is immutable.
- Comment on The fact that even 3D games are old now blows my mind on a regular basis. 4 months ago:
Honestly, I believe technical progress has grinded to a halt. Moore’s law was broken with regards to hardware. I cannot think of novel tech after smartphones. Now, it feels like everything new is a wealth hoarding scheme by corporate greed.
- Comment on Looking for Creative Uses for Jellyfin Streaming Clients running Debian at Friends' Houses 4 months ago:
Sometimes I wish I were like OP, being creatively greedy to snitch lots of money. Then I realize, that requires money and influence to work out… Life.