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.org/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.org/arena/Battle/7880/MainScreen/battle+of+the+burfdays

167496

Omg this rules!!