nothing

Public Key

npub1emvccxtwxldauth3fgp39xp63a3zqczvrn6ywaskglx950t4fddq2kerdj

NIP-05 Address

subjectsphinx@mathstodon-xyz.mostr.pub

Profile Code

nprofile1qqsvakvvr9hr0k779mc55qcjnqag7c3qvpxpeaz8wcty0nz68465kkspz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qz9nhwden5te0wfjkccte9ec8y6tdv9kzumn9ws33maee

Publishing to

relay.ditto.pub

relay.primal.net

offchain.pub

Author Public Key

npub1emvccxtwxldauth3fgp39xp63a3zqczvrn6ywaskglx950t4fddq2kerdj

Show more details

Last Notes

2026-01-28 15:24:11 UTC

- reply

@nprofile…tfwq i need to get these people a whip so that they can lacerate themselves more. we need to show these people the sheer diversity of human behavior: cutting a chicks arms off while she's still alive then cutting her head off (mexican cartel) or cutting 100 guys throats like sheep and hanging them upside down while religious music plays (isis' slaughterhouse video in pakistan/somewhere_there_abouts), or watching some chick be held down and raped by 5 guys in africa, or actual modern slavery in mauritania where arabs enslave "blacks"; but of course, this is self reinforcing, because these people are "triggered" by facts that contradict their theories and need "safe spaces" from facts where they protect themselves from contradictory information, and then censor everything else through their "boundaries", and form tribes.
europeans just did well what everyone else did. enslave? check. conquer militarily? check. this moralistic language is such convenient, self serving bullshit. just because the right is full of shit doesn't mean the left is not full of shit. i suspect the core of a lot of "justice" talk is wounded vanity and envy

2026-01-21 18:39:41 UTC

- reply

ich bin ein weisheithaver lol... i am very wise. you know about what wise people they say about them? they say that "i am wise wisdom" and then they celebrate and cerebrate. indeed.

2026-01-21 10:56:13 UTC

- reply

@nprofile…g0zc yeah, it's not true, obviously, for obvious reasons, especially as a generalization -- but it's easier to project evil onto someone else and feel very clean. an aspect of not doing shadow work is this, and there are many ways to do it. well, most of human symbolic activity along dualistic (good v evil), manichean lines is this, i would assume. arch evil is nazi. arch good is anti-nazi. we are anti-nazi, they are nazi! who? all of them? yes, all of them! we're good, they're evil!!!!!!!!!!!!!!!!! RARARARARARARARA lol. OFF WITH THEIR HEADS! KILL THE APOSTATES!

2025-12-30 21:44:14 UTC

- reply

@nprofile…w8t5 artificial thinking.

2025-12-30 18:48:42 UTC

- reply

@nprofile…4x5t @nprofile…kkj3 wouldn't it just be training the ai to generate programs that we can pass to theorem provers, and then the whole work is reduced to writing theorem provers and reasoning about their correctness?
well, but even that is not necessarily true, because even though ai can write poetry, that doesn't mean humans just stop writing poetry. the point in poetry is to pick something out that's unconscious, and how that happens is by defn mysterious, and similarly for physical insights transcribed into mathematics or spatial/topological insights, or whatever...
similarly for painting, ai can do painting, but painters don't thereby stop painting.
maybe as a consequence the human is freed up to do the creative word or originating the seeds that are themselves the flashes of insight and the rest is automated away, and if even that can be automated away then some higher grade insight will be attained and so on.
is this all a threat? it seems to me to not be a threat at all, unless we program into these machines ideologies, hierarchies, domination-subordination relations, etc, etc, through overly rigid object based reasoning "system 2" thinking that axiomatically presupposes prejudices, or something like that...

2025-12-29 16:25:13 UTC

- reply

@nprofile…w8t5 i'm excited. there's a kind of knowledge transfer and automation of the teacher/student relationship that democratizes information. for instance, now adays i just need time, a few textbooks and papers, and a sufficiently well trained llm, and i can mimick any university degree path. i can just download all the articles from the most sophisticated journal, train an llm on it, and then learn that field, with the aid of relatively elementary exercises coming from textbooks or whatever is available, problem sets from universities. also, i'm pretty certain we're just scratching the surface. cybernetic self reference wherein what we do has children that self referentially, mechanically do it as well seems to be... well, inevitable. it makes no sense to fight that to me.

2025-12-22 09:55:03 UTC

- reply

@nprofile…rrqe i don't get this identity fixation. i can't wait for it to pass.
"i identify as _____, and as a consequence I think that ______."

2025-12-11 17:08:19 UTC

- reply

@nprofile…hnx6 like the belief that there's truth to be discovered in mathematics, besides the ascription of further symbols to symbols that feign meaning? hell, we can tear down the whole symbology and look with bare eyes, is that not the most empirical you can get? instead we have "nations", "leaders", and the illusion of "Truth" in symbolic manipulation, leaving everyone stuff down stream thinking they're upstream looking at facts! how do you frame that as an idea?

2025-12-10 15:36:53 UTC

- reply

@nprofile…8eua rudolf rocker's nationalism and culture was recommended to the public by both einstein and bertrand russell. it's very interesting.

2025-12-10 00:16:48 UTC

- reply

@nprofile…w8t5 wow, you're interests are what i'm interested in but know nothing about though. i'm curious about classifying topos and how adjunction cay give us syntax and semantics using geometric morphism of topos. also, about how kan extensions of endofunctors on small categories can yield the logical notion of "modality". i feel somehow this may tie into cognition itself. the reason is topology seems to be the logic of space, and mentality since ancient times has been described spatially, so that i wonder if topological generalizations don't give us a language for mentality as such. if what goes before logos is mind, then... it might give a ground for anything conceivable at all...
anyway, dunno. have a good one!

2025-12-09 19:02:46 UTC

- reply

@nprofile…w8t5 what do you think about "truth" in mathematics? i was taught years ago that godel's incompleteness theorem says "true but unproveable" but upon closer inspection it seems to just make a syntactic statement, and says nothing about truth in general. this immediately clarified the whole conclusion because i stopped thinking from semantics down to syntax, and started thinking as syntax extending upwards in this self referential process and defining semantics as really another layer of symbolic manipulation with rules; and then i think "well, but that has nothing to do with what i usually think of as truth". i used to think Logic was somehow King, and now i think it's just a very powerful way to organize symbolic activity. yeah, so the question is the first fragment of this paragraph.

2025-12-09 18:43:50 UTC

- reply

@nprofile…w8t5 is there anything unique to mathematics, or is that just action ? you can say *doing* sports, writing, singing, dancing, cooking, walking, eating, drawing, dancing, etc, is a stream of consciousness. the only difference is mathematics then requires formal verification, but that's just a logic puzzle, isn't it? i mean the part that cannot be described is much more general than just mathematics. it's what "semantics" can't get at, but tries to, and that escapes the grasp of formalization, no?