Modus Ponens on Battle of the Bits

45100

omg you have some very cool music

60433

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

63467

happy burfday !!!

63471

Happy Botbday weeee~

63499

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

63503

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

64053

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

64070

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/

66463

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"

66486

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?

66756

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

66772

I genuinely wish I knew what you were talking about

66779

Whoops I forgot I posted here

We use p → q for conditionals.

72648

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.

72650

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.

78590

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

78601

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

78602

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

107727

Bappy Hirthday, Modus Ponens

107992

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

108000

it's okay

112511

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

134463

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 !

134534

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

136613

11 ! happy burfday

136645

happy burfday, yes

136687

happy belated 11th!

141217

56

152514

O:

152867

U:

167461

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

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

167494

Thanks Man.targa

167495

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

167496

Omg this rules!!

179546

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

183715

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?"

183730

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.

183852

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

188374

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