baseless_discourse
@baseless_discourse@mander.xyz
- Comment on Zero to hero 6 days ago:
BTW, 0 is typically considered a scalar. As in mathematics scalar is typically defined as a field, which would require a additive identity, namely 0.
- Comment on Zero to hero 6 days ago:
Oh, array indexing, sure.
- Comment on PSA: Don't eat cicadas if you're allergic to shellfish... or at all 1 week ago:
What if I am allergic to cicadas?
- Comment on Zero to hero 1 week ago:
I don’t personally know much programming language that provides natural number type in their prelude or standard library.
In fact, I can only think of proof assistants, like Lean, Coq, and Agda. Obviously the designer of these languages know a reasonable amount of mathematics to make the correct choice.
(I wouldn’t expect the same from IEEE or W3C, LOL
- Comment on Oxygen 1 week ago:
Yeah, that is the “government” tells you!
- Comment on Oxygen 1 week ago:
Jeez, imagine coding in rust, that can’t be good for you.
- Comment on Zero to hero 1 week ago:
On the contrary - to be countabley infinite is generally assumed to mean there exists a 1-1 correspondence with N.
Isn’t this what I just said? I think, this is exactly what “unique up-to bijection” means.
Anyways, I mean either starting from 1 or 0, they can be used to count in the exactly same way.
- Comment on Hardcore 1 week ago:
And it is actually published by OP (in the image), finally, a meme that is not a repost.
- Comment on Zero to hero 1 week ago:
countable infinite set are unique up-to bijection, you can count by rational numbers if you want, it doesn’t matter.
- Comment on Zero to hero 1 week ago:
I think if you ask any mathematician (or academic that uses math professionally, for that matter), 0 is a natural number.
There is nothing natural about not having an additive identity in your semiring.
- Comment on Zero to hero 1 week ago:
Oh no, are we calling positive integer “whole numbers” now? There are proposals to change bad naming in mathematics, but I hope this is not one of them.
On the other hand, changing integer to whole number makes perfect sense.
- Comment on I mean have they seen our stipends 2 weeks ago:
Unfortunately this is still the case in all the university I know, especially in fine arts and humanity, many of the positions are even unfunded.
Many students need to rent out the living room or live in a single bedroom in a house, with shared kitchen and bathroom.
I think many students literally cannot afford a studio or 1B with their salary, because the rent is higher than their salary.
- Comment on Explain yourselves, comp sci. 2 weeks ago:
Set is just objects in the category of Set.
- Comment on shrimp is bugs 3 weeks ago:
If a new berry was invented, computer scientists will probably call them “βerries”, next one “ϐerries”
- Comment on This is a Test 5 weeks ago:
*shoot the victim in the head
FTFY
- Comment on Enshittification Continues: Discord to begin showing advertisements on it's free platform 1 month ago:
Can you list some security/performance/feature comparison between matrix and discord? I don’t have the need for these class of product, but I am trying to get the hype behind discord.
- Comment on Enshittification Continues: Discord to begin showing advertisements on it's free platform 1 month ago:
why activity pub? I don’t think it is designed to do group chats.
- Comment on degree in bamf 1 month ago:
Depends on the size of the meeting and the availability of time.
For an hour-long lecture/seminar with less than 20 people, probably raising your question directly is fine.
For a 25 mins talk at a conference with 200 people, you will probably need to save your question to the end.
But it is always safer just to ask beforehand.
- Comment on [deleted] 1 month ago:
*add it to the end of
- Comment on They lied to us 1 month ago:
General Tso, who is also not a general BTW, died in 1885, yet General Tso’s Chicken is invented around 1970. They are almost 100 years apart.
- Comment on They lied to us 1 month ago:
pepperoni means little peppers in italian, I believe the closest italian pizza is Pizza alla diavola.
- Comment on It's ok, we sigma now. 2 months ago:
Yes, Xitter is also my platform of choice to consume non-dumb-ass content…
- Comment on Expertise 2 months ago:
Yeap, that sounds like my reviewers :(
- Comment on STEM 2 months ago:
I would say a important part of my job is to find the appropriate mathematical language to model computer programs, I would say using efficient language not only helps us discover more structures and connections between different kinds of program, but also leads to efficient and simplistic real-world implementations.
I would argue picking the right mathematical language is absolutely essential whether you are interested in theory or practicality.
- Comment on The Worst Devices of CES 2024! By iFixIt 3 months ago:
Good call: article link ifixit.com/…/the-worst-in-show-2024-losers-are-in
- Submitted 3 months ago to technology@beehaw.org | 16 comments
- Comment on Anon notices what they've taken from us 3 months ago:
People who are attaching phones to their personal values are losers. they are fighting towards a selfish and superficial goal.
People who seek to improve consumer electronics to preserve consumer right and the environment is not. They are fighting for all of us.
- Comment on Anon notices what they've taken from us 3 months ago:
plastic dont break, is cheap to replace, don’t get hot or cold in extreme weather, don’t interfere with wireless charging, have much more grip.
I don’t understand why anyone would prefer metal/glass phone besides for the reason “look at me, ma, my phone is pretty”.
- Comment on Anon notices what they've taken from us 3 months ago:
Most phone nowadays still has buttons and a USB-C port, and it is water proof. Having ports and water proof is not only not mutually exclusive, it is so easy that most manufactures can do it.
- Comment on I'm 99% sure it's not real 3 months ago:
Engine go NEER!!! Buhr!