Modus Ponens on Battle of the Bits

Level 27 Chipist

raphaelgoulart

post #45100 :: 2014.06.21 12:53pm ::

MrGamer and Modus Ponens liēkd this

omg you have some very cool music

I'll give you 10 b00ns because your music is amazing

happy burfday !!!

Happy Botbday weeee~

hey hey woah
6 years dang! happy burfday!!! ^O^

I've been away for awhile, but I'm super happy to be back! It fills me with heart-magic! <3

Thanks for voting on my tune. A longer message to you can be found as a reply.

Anyway, I promised you a boon. Every BotB'r that comments of favs my tunes during competition gets one ;)

13 boons is chump change. :)

Go back and read what I wrote on "Defrost" again. I would like it very much if you also reviewed Loch NES. My WildChip Renoise tune. :D

http://battleofthebits.com/arena/Entry/Loch+NES+%5BFinal+Mk1.0%5D/20933/

Now that I'm in boolean algebra I get your name/icon

And now I can't write it down without thinking "hey that's the BotBr"

I am honored :D

What set of symbols are you using? Do you use "p ⇒ q" for "if p then q," or do you use "p ⊃ q," or some other thing?

OH NO ERIC YOU'RE GOIN STRAIGHT TO HECK FOR WHAT YOU DONE

I genuinely wish I knew what you were talking about

Whoops I forgot I posted here

We use p → q for conditionals.

Horseshoe (SL) master race

p ⊃ q
p
_____
q

Edit: holy moly just covered conditional elimination today and had my mind blown. Your name... it makes sense now. Now all you need is the ponendo bit in the middle haha.

I took a couple of classes back in university where we used the horseshoe set of symbols, but I think since then they've switched over to using arrows and stuff.

Yo! happy botb anniv. keep the tunes and games pumping!

podus monens burfday!
7 years is a long time : o

Omg it is my birfay! :U Thanks gang <3

Bappy Hirthday, Modus Ponens

Thank you, yon n00bus. Man I can't believe I missed my own BotBrfday

it's okay

ha !! yes ! that was for Torje's OoT Any% run. there's a trick in it called "get item manipulation" but the caster omitted the "get" part in my donation assuming it was a grammatical error lol. so it didnt make much sense (incentive manipulation vs get incentive manipulation)

hope ur doin well too

LOL i like how my previous comment was relating to GDQ as well. but yeah ! i was doing comms for zfg's AD SRM run with dannyb, hope you liked it !

danny was the one who explained what srm is and i was the one who explained the purpose of the lost woods srms. i wish they were able to have the names light up or something, a number of other folks weren't sure who was who

11 ! happy burfday

happy burfday, yes

happy belated 11th!

56

O:

U:

We'd Better Wish This Awesome Botbr A Happy Burfday Man.png

happy burfday to the og winner of the game jam \:D/

Thanks Man.targa

Happy burf!!

We did a thing for you and for others who burfed today: https://battleofthebits.com/arena/Battle/7880/MainScreen/battle+of+the+burfdays

Omg this rules!!

As a kid, I dreamed of going to DigiPen. What is it like working there?

Working at DigiPen is pretty great! There are high highs and challenging challenges. I work with students all the time, which is fantastic most of the time, because so many of them are so totally awesome. It's hard when they ask me really hard questions, or, even worse, when they don't ask for help and I have to watch carefully and notice when someone needs somebody to talk to them. Just the other day I had to talk a student through some of the communication challenges their team is facing and how they might overcome them, and the whole time I was thinking, "why can't they just ask me for help with their character controller or dialogue system?"

Thank you for the insight!

One of the things that has set DigiPen apart in my mind is how team-oriented the curriculum seems to be (even more so than a traditional computer science degree). Your reply drives that home.

Yeah, our team project-oriented structure is our backbone!

I'm with ktcmoop, and now I understand more about modus ponens thanks to your avatar. (your first avatar in avatar tab, to be exact)
_{_{Ngl, modus ponens, tollens, and silogism will come in reasoning test. And it's quite hard than expected}}

happy botbburf you cool soul !! :))