[mu]

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) )

nasin lon

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)

tan seme

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

"it's so fucking over" yeah dude it's 11pm it's the end of the day it's time for you to go to bed. and tomorrow you'll be so fucking back because you'll be awake. go tuck yourself in dude you'll be ok

more pictures! added a harness to attach them to my backpack as a keychain thingy

the plush is done!!!!! (:

does not stand up on its own, so had to use glasses as support lol

I can’t take it anymore, seriously

fun fact: the word "prosthetic" comes from the greek word πρόσθεση (prosthesi[1]), meaning addition

fun fact: the auto- prefix (e.g. automobile, autodefenestration, etc.), means "self" in English. But in Greek (at least, Modern Greek), "αυτό" just means "it" (3rd person neuter singular pronoun) and is pronounced "afto"

fun fact: "diaeresis" (those two dots on ä ë ï ö ü (NOT TO BE CONFUSED WITH GERMAN'S UMLAUT. VERY DIFFERENT THINGS), example: naïve) comes from the Greek word διαίρεση (dieresi[1][2]), meaning "division"

fun fact: there is a word in Spanish for "pulling an all-nighter", "trasnochar". It comes from "trans" (happy pride month), meaning "across", and "noche", meaning "night". Because you're staying awake across the entire night

fun fac-

ok so! leaving a fryer (non air fryer, im talking bout that oil shit) on for like 5 hours can irritate your eyes!

someone forgot to turn it off and when i went down to get water, my eyes starting hurting like hell (like having them closed would hurt SO MUCH that i would start tearing up). we found out it was left on at like 12:30am, a few FIVE hours after dinner.

always remember to turn off your fryers after using them.

if this situation occurs:

open your windows

get some eye protection

turn off the fryer

k have a nice day

(i just remembered you csn color text and 🙂)

my older sister: "hey can you help me install linux on a usb for purposes"

me in my mind: "you fool. i am already five steps ahead of you. The USB is already here. I've already done it."

new annoying quiz pitch: Kirby Song Title or Yuri Fiction Title

o ala e soweli! ❌❌❌❌❌❌❌