coherent_domain
@coherent_domain@infosec.pub
- Comment on multiplication alignment chart 57 minutes ago:
I feel yields different result than 5 ∪ 7 in the classical set theoretical encoding… I believe 5 ∪ 7 = 7 in the standard encoding of set theory. Because ∪ is the join operation in the natural number lattice (every total order give a lattice structure), yet the lattice structure in ideals of natural number ring is different: the join is LCM and the meet is GCD.
I guess my objection is that the ∪ and ∩ in the set theoretical encoding is rather trivial: the lattice structure in a total order is not terribly informative. Yet the standard encoding of natrual number in category theory (the category generated by one arrow on one object) is slightly more interesting, as composition encodes addition, which is arguably the most interesting opration on natrual numbers.
That being said arguing about encoding of natrual number is not the most informative discussion. but I feel set theory in general is very low level, yet people usually think in more algebraic and high level way, which aligns more closely with category theory.
- Comment on Fun Otter Fact 6 hours ago:
I mean, you know why you need all these security to go into a Fab? To hide the fact that all of our chips are secretly built by otters, who are all in a cult managed by the deep state and Joe Biden.
- Comment on multiplication alignment chart 6 hours ago:
Counter point, no lawful theory shell let 5 ∪ 7 type check.
- Comment on multiplication alignment chart 2 days ago:
If function composition is chaotic, then set intersection is certainly not lawful.
- Comment on Amazing 2 weeks ago:
It is the first time in human history for christmas to fall on Dec 25, AD 2025. It will never happen again.
- Comment on Valves first title with a 3 in it 4 weeks ago:
Left 3 Dead
- Comment on [deleted] 5 weeks ago:
I googled her name. She seems to believe that the medicine proscribed killed her husband, and they should be using horse dewormer instead.
- Comment on Creative and Inspiring building design 3 months ago:
(no Twist), Lick, and Dunk.
- Comment on Finally found where they store all the excess 3 months ago:
#NoNutNovemberGoneWild
- Comment on Bruh 3 months ago:
Years of training, finally becoming useful.
- Comment on Hi Larry! 3 months ago:
This as excited as a cat can get.
- Comment on Hi Larry! 3 months ago:
It feels very strange to me that any serious citation counter would index ResearchGate, which AFAIK don’t have any check before publishing a preprint. It is basically a more reputable xivra.
But then again citation count, or “impact factor”, are in general quite bad to determine the quality of one’s research, and often can be easily manipulated, simply by producing more mediocre papers.
- Comment on [deleted] 4 months ago:
Gay Oedipus
- Comment on Every time 4 months ago:
I mean every natural disaster is also the fault of the rest of America.
- Comment on See where your tax dollars go 5 months ago:
Feeding fat cats at Kyiv is better than feeding fat pigs at DC.
- Comment on Seeking for funding 5 months ago:
Only when addition have a inverse operation.
- Comment on Basically 5 months ago:
Being submitted by a couple of dead white male is true alpha male behavior.
- Comment on How to check whether a particular url is safe or not ? 6 months ago:
In general only click on a link if you trust the domain. A URL usually looks like this: first.second.third…
And be very careful, only the second and the thrid word between dots count.
For example: suspicious.google.com is in general fine, since the second and third word is google.com . However, lemmy.legit-lemmy.world is unsafe, because the second and thrid word are legit-lemmy.world, but not lemmy.world.
There are ways to smuggle unsafe asset under legit URL, usually by uploading them on google drive, github etc. The good rule of thumb is to never run anything on your computer unless you are absolutely sure it comes from trusted source, like official website.
- Comment on Seriously Jesus, who was doing that for that to be added 😭 7 months ago:
One of my colleague like to have roasted potato with vegan mayo. So he is having potatoes cooked in oil together with potatos emulsified with oil.
- Comment on AI generated issue 7 months ago:
My conspricy is that they have a hard time figuring out the logical relation between sentenses, hence do not generate good transitions between sentences.
I think bullet point is manually tuned up by the developers instead of inheritly in the model, because we don’t tend to see them that much in human communications.
- Comment on The therapy I can afford 7 months ago:
I wouldn’t give my most vulnerable moment to a company that is more than happy to exploit it.
- Comment on [deleted] 10 months ago:
We all work for evil corporate overlords.
- Comment on Don't forget where we came from and what shaped us as a species. The Jungle. 10 months ago:
Yes, but most people in the west don’t have the option to eat meat that are not from the meat industry.
That is exactly why vegan is attractive in the west.
- Comment on How are you actually doing today? 10 months ago:
I am great, it is the lunar new year and I am celebrating it with my family.
I made vegan fried rice for them. Most asian haven’t had vegan fried rice, because most of hem involves lard and egg. They loved the vegan fried rice so much that my cousin asked my aunt to recreate it tonight.
- Comment on Welcome back! 10 months ago:
LOL, the one of the largest tech monopoly in the world actually trying to play “the little guy” narrative. And just like with Trump, many people will actually believe it.
- Comment on It's Anon's birthday 10 months ago:
I am east asian, and I never had big birthday parties when I was a kid. Parents would give us a bit of money, I would have like four friends to hang out at a mall, watch a movie, and grab some dinner.
But there are kids who have big parties, but I feel like they are just cos-playing middle age asian male gatherings, large table, lazy susan, bunch of “friends” who don’t even talk that much, and toast here and there. Pretty ridiculous things to do for 10-15 years old.
My birthday has since went downhill, my parents are busy and I am busy, in high school I barely had cakes for birthday. But now I made sure to have a little cake for every birthday, so it is all good :)
- Comment on [deleted] 10 months ago:
I am not sure, I don’t have a lot of male Chinese friend, so I don’t have any data in that department.
However, to be completely frank, I sometimes feel that now Chinese female are subject to much higher social expectation, which are likely to be reflect on social media, thus amplifying their anxiety.
But I certainly have plenty of female friends that doesn’t use rednote, and they are doing fine. (except one on twiter, and she also doesn’t seem to do that well 🤣
- Comment on [deleted] 10 months ago:
I am sincerely glad your daughter is having fun, but I have several female friend who are trapped in the toxic spiral of rednote and cannot quit.
From what I read on the Chinese internet, they have a tendency to serve wholesome content to people at first, then switch to toxic content to encourage consumption. As many westerners don’t know, rednote is a shopping-guide app, and they make money from it.
I hope they don’t do it to non-Chinese people and I really hope people like your daughter can continue to have fun wherever they are.
- Comment on downloaded rednote and this a frequent emote in the comments 10 months ago:
Thanks! good catch, fixed.
- Comment on downloaded rednote and this a frequent emote in the comments 10 months ago:
IMO 离谱 is closer to “excentric”, “corky”, and “unusual” than “outragous”. 离谱 is certainly not a good word, but it is mellow enough that you can use it to joke about your friend, unlike “outrages”.