Modus Ponens
Level 16 Codist   
 
 
Points by Class
 
Chipist
2270
Codist
1687
Criticist
1258
Playa
753
14
309
OHCist
235
Renderist
170
Taggist
166
Pixelist
154
Mixist
17
WebDevist
14
4
1
Latist
-6
 
total 7028
 
created 2010-02-16
last here 2017-01-22
I'm a game designy guy who uses FamiTracker sometimes.
4,991 profile views
b1054.21
17 INF

 
45100
Level 25 Chipist
post #45100 :: 2014.06.21 12:53pm
  
  Modus Ponens and MrGamer liēkd this
omg you have some very cool music
 
 
60433
Level 22 Chipist
post #60433 :: 2015.10.05 5:44am
  
  Modus Ponens and MrGamer liēkd this
I'll give you 10 b00ns because your music is amazing
 
 
63467
Level 18 OHCist
post #63467 :: 2016.02.16 7:18am
  
  Modus Ponens liēkd this
happy burfday !!!
 
 
63471
Level 19 Chipist
post #63471 :: 2016.02.16 9:47am
  
  Modus Ponens liēkd this
Happy Botbday weeee~
 
 
63499
Level 27 Chipist
post #63499 :: 2016.02.16 8:23pm
  
  Modus Ponens liēkd this
hey hey woah
6 years dang! happy burfday!!! ^O^
 
 
63503
Level 16 Codist
post #63503 :: 2016.02.16 8:37pm
I've been away for awhile, but I'm super happy to be back! It fills me with heart-magic! <3
 
 
64053
Level 14 Chipist
post #64053 :: 2016.02.25 4:34pm
  
  Modus Ponens liēkd this
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
Level 14 Chipist
post #64070 :: 2016.02.25 6:07pm
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
Level 22 Grafxicist
post #66463 :: 2016.04.20 2:33am
  
  goluigi, Modus Ponens and Pegmode liēkd this
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
Level 16 Codist
post #66486 :: 2016.04.20 9:19pm
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
Level 19 Mixist
post #66756 :: 2016.04.29 8:24pm
OH NO ERIC YOU'RE GOIN STRAIGHT TO HECK FOR WHAT YOU DONE
 
 
66772
Level 16 Codist
post #66772 :: 2016.04.29 10:15pm
  
  Savestate liēkd this
I genuinely wish I knew what you were talking about
 
 
66779
Level 22 Grafxicist
post #66779 :: 2016.04.30 12:32am
  
  Modus Ponens liēkd this
Whoops I forgot I posted here

We use p → q for conditionals.
 
 
72648
Level 11 Chipist
post #72648 :: 2016.09.18 8:10pm :: edit 2016.10.07 8:53pm
  
  Modus Ponens liēkd this
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
Level 16 Codist
post #72650 :: 2016.09.18 8:16pm
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.
 
 

LOGIN or REGISTER to add your own comments!