Message from @Logrian
Discord ID: 628871694387511296
good
im glad youre feeling better
Hello all
Morning Lampz, how do?
Thanks Attack 🙂
I’m great haven’t been chatting in here recently so I thought I’d come back
How are you?
better now thanks 🙂
Where you been?
I see you’ve been a little sick
I’ve been chatting with other servers about FE same ol same ol
Yeah, it was werid, I think its from when I fell on me head when I was 10yo ish, I fell off a playside in the back yard, ran up the slide thing an it wobbled over, so I was about 7-8ft in the air, hit the side of my head on a blunt wooden fence post.
Ouch
Kids think their invincible until they get hurt I know I use to act that way
il be playing with Coq for a while
Aye, never went to Drs or Hospital either, an now I sometimes get an issue with that side of my neck, like if ive turned my head to talk to someone, or sat funny, or slept not right angle, an it throbs, like being hit with a hammer, a lil queesyness too 😦
@Σ5 what is coq?
a proof asistant
ok
and a programming language
Your telling me? I use to think I could swing around the entire swing set if I tried hard enough
It didn’t end well
been there 🙂
there is a version of coq that impliments Hott (homotopy type theory)
called Hott-Coq
i used to love flipping out of the swing
something im also intrested in
tho i wont be using that as i dont entirely understand Hott
whats up lampz? how are you?
I’m good been researching more stuff and I’m always finding more interesting things it’s a blast
And you?
stuff such as?
Well Adam and Eve along with Cain and Abel and more Vegan hoaxes along with the born Gay hoax just a bunch of stuff really
im doing pretty good. im happy to see that
From different areas
good good
1 sec
Alright sounds interesting
It's always fun unveiling hoaxes lol
the single world theory is a complete hoax
Was Adam and Eve a hoax too?