bruh a chicken nugget fell on my phone and sent a dm to a random person on Twitter and i felt so embarrassed so i deleted twitter
why the hell can chicken nuggets interact with my phone
spoilers for Persona 3 and Gates to Infinity:
The Bittercold is GTI's Erebus.
P3 cast's goal is to stop the Fall, which is the end of the world, caused by humanity's desire to die.
GTI cast's goal is to stop the Bittercold from destroying the world, the Bittercold being the manifestation of pokemon's "negative emotions" (kid-friendly desire to die)
ok so like The Voice of Life is like the world's will to live, so it makes sense that the Bittercold is the opposite.
However, instead of sealing away Nyx so Erebus can't get to it, the GTI protagonist instead destroys their Erebus.
(guess it was really a skill issue on the P3 cast's part)
Either way, both protagonists stop existing (one dies, the other literally leaves the world).
pokemon mystery dungeon gates to infinity is literally persona 3
Anybody else got that Evergiven sized writers block
Venn diagrams don’t really work past 3 circles.
wanted to see if the ai would be able to answer set theory questions. it was pretty close actually! (maybe my wording was confusing? idk)
im going to edit to add more examples btw
(i didn't have the actual => symbol ready to use so i used → instead, but it worked!)
Those two lil guys don’t look threatening. If anything they look like two curious puppies 🤔
until they bite ur head off or sum idk
idek man i got shitposts i dunno what to do with audio
im sorry
remind me to rewrite this in the latin alphabet (sitelen Lasina) tomorrow
edit:
lon pi nanpa kipisi la [ante K ala la ante P ala] la [ante P la ante K]
( discrete math theorem: (~K => ~P) => (P => K) )
proof
(wan) [ante K ala la ante P ala] la [[ante K ala la ante P] la ante K]
(1) ((~K) => (~P)) => (((~K) => P) => K)
(tu) [ante K ala la ante P] la [[ante K ala la ante P ala] la ante K]
(2) ((~K) => P) => (((~K) => (~P)) => K)
(tu wan) ante P la [ante K ala la ante P]
(3) P => ((~K) => P)
(tu tu) ante P la [[ante K ala la ante P ala] la ante K]
(4) P => (((~K) => (~P)) => K)
(luka) [ante K ala la ante P ala] la [ante P la ante K]
(5) ((~K) => (~P)) => (P => K)
why
(wan) lawa tu wan
(1) Axiom 3*
(tu) lon pi nanpa kipisi: ante P la [ante K la ante L]. ni la ante K la [ante P la ante L]
(2) discrete math theorem: ( P => (K => L) ) => ( K => (P => L))
(tu wan) lawa wan
(3) Axiom 1
(tu tu) lon pi nanpa kipisi: ante P la ante K. ante K la ante L. ni la ante P la ante L.
(4) discrete math theorem: P => K, K => L ⊢ P => L
(luka) lon pi nanpa kipisi: ante P la [ante K la ante L]. ni la ante K la [ante P la ante L]
(5) discrete math theorem: ( P => (K => L) ) => ( K => (P => L))
*so i went on Wikipedia to see if axiom numbers used in my class match up with what people usually use, and i found out that thing i was proving (i.e. contrapositive) is axiom 3 according to Wikipedia. however, in my class, axiom 3 is
"((~p)=>(~q)) => (((~p)=>q)=>p)"
so uh... yeah for the purposes of this post, ^ is axiom 3
[any pronouns] a bisexual furry who's a computer science nerd, who also happens to be into linguistics and crochet. languages: english, español, ελληνικά, and toki pona
293 posts