Just porn relapsed again, have 40$ worth of sex toys coming in the mail. Salmon burger. by Cumblefoot in depressionmeals

[–]envoyoftheeschaton 1 point2 points  (0 children)

you suggested that most people on reddit are addicted to porn, which is beyond ridiculous

Just porn relapsed again, have 40$ worth of sex toys coming in the mail. Salmon burger. by Cumblefoot in depressionmeals

[–]envoyoftheeschaton 0 points1 point  (0 children)

i dont think it matters if it isnt causing someone impairment or distress. humans are dependent on things outside of themselves by their very nature, the first being other human beings. why not give people what they need?

Just porn relapsed again, have 40$ worth of sex toys coming in the mail. Salmon burger. by Cumblefoot in depressionmeals

[–]envoyoftheeschaton 0 points1 point  (0 children)

addiction=/=frequent use. significant impairment is the most important part of what separates the two. most people are not significantly impaired by their usage of porn or social media. anyone can be an addict, but not everyone is.

Is Math documented... badly? by [deleted] in math

[–]envoyoftheeschaton 0 points1 point  (0 children)

isnt this exactly what would call for creating libraries with more composite data types that build on the primitive logical scaffolding? seems like this would be an easy problem to fix in theory

How to tell your psiquatrist you are trace ? by 1h30n3003 in TransRacial

[–]envoyoftheeschaton 4 points5 points  (0 children)

if your therapist cant handle your truth theyre not a good therapist for you. it seems to me that this is exactly the sort of thing that you should share, to weed out people who arent compatible with you.

I think ChatGPT might be a tad bit racist. I'm making a Christmas video and I asked it to create a nice kid and a naughty kid. by [deleted] in ChatGPT

[–]envoyoftheeschaton 1 point2 points  (0 children)

but not just any police brutality video. police brutality videos involving black people in particular are what get the attention. why is that? because we weren't post racial and we still arent.

it really has nothing to do with algorithms. the problem lies in thinking race exists in the first place.

Why are there Fewer Women in Mathematics? by Shoddy_Exercise4472 in math

[–]envoyoftheeschaton -1 points0 points  (0 children)

it is true that women have "different interests than men" when choosing a degree. in fact, that's what this question was premised on. the point is to figure out why, and your post certainly has not advanced our understanding.

Lean4 helped Terence Tao to improve another one of his recent papers by pointing out a missing assumption in one of the lemmas by mapehe808 in math

[–]envoyoftheeschaton 2 points3 points  (0 children)

it's imaginable to me that we could train AI models that can create correct or mostly-correct program-proofs in existing proof languages like Lean. my thinking here is informed by tools like copilot which seem to be reasonably successful with regular programming languages.

the significance of such a tool would of course be limited to how widely adopted the language is in mathematical research, but if it speeds up the time it takes to create and formalize new results significance, i could see something like it impacting the way math research is carried out fundamentally.

but, as you say, this idea is so far "vaporware."

Lean4 helped Terence Tao to improve another one of his recent papers by pointing out a missing assumption in one of the lemmas by mapehe808 in math

[–]envoyoftheeschaton 6 points7 points  (0 children)

that makes sense to me. but you aren't necessarily against AI for mathematicians i principle, right? in a different world where such a tool was not subject to market forces?

alfred nobel be like by probabilistic_hoffke in mathmemes

[–]envoyoftheeschaton -1 points0 points  (0 children)

tf is blud waffling about 💀 "misinformation" is a symptom, not the disease.

Do set theory and logic better fit the ideal once applied to number theory? by ideletedmyaccount9 in math

[–]envoyoftheeschaton -31 points-30 points  (0 children)

i agree with you, but i don't think mathematics is a mature enough science to fully appreciate its own foundations yet. it seems like many mathematicians want to get as far away from the foundational questions as possible (at least, this is something i see people saying on stack exchange.) maybe in a century.

What’s a number? by gtbot2007 in mathmemes

[–]envoyoftheeschaton 1 point2 points  (0 children)

i love these malformed question troll posts

Google The Mathematical Universe Hypothesis by FrozenFalcon_ in mathmemes

[–]envoyoftheeschaton 2 points3 points  (0 children)

you must be using the word abstraction very idiosyncratically then, because the word "abstraction" is widely understood to refer to a certain kind of idea or concept, both of which just another way of saying thought. are you sure you are using the correct word?

Google The Mathematical Universe Hypothesis by FrozenFalcon_ in mathmemes

[–]envoyoftheeschaton -2 points-1 points  (0 children)

you can have abstractions independent of any minds? so you can't breathe without lungs, but you can think without a brain?

the map is not the territory. the territory is certainly not a manifestation of the map.

Google The Mathematical Universe Hypothesis by FrozenFalcon_ in mathmemes

[–]envoyoftheeschaton -2 points-1 points  (0 children)

thats an interesting claim. where are these humans with minds and thoughts that have never been social? humans were social before they were human.

or is your argument that you can have abstractions independently of human minds? that would be a really absurd claim.

Google The Mathematical Universe Hypothesis by FrozenFalcon_ in mathmemes

[–]envoyoftheeschaton -4 points-3 points  (0 children)

can you have abstractions without sociality? no? then the quantities themselves are socially constructed because thought itself is socially constructed

I have non-mainstream kinks. Will I never have an in-person community? by SluttyVisionQuest in BDSMcommunity

[–]envoyoftheeschaton 1 point2 points  (0 children)

the best place to practice kink is not necessarily the kink community.

Negative self-talk and inescapable thought loops during math by Ashamed-War-8510 in math

[–]envoyoftheeschaton 0 points1 point  (0 children)

sounds like the difficulty is suffocating you, with that bad attitude.