Profile_bird

Hey there! copumpkin is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What are you doing? Join today to start receiving copumpkin's tweets.

Already using Twitter
from your phone? Click here.

copumpkin

  1. Yay, http://neosmart.net/YouTube5/. Flash plugin uses 100% of my CPU, and crashes safari a lot. This uses 33% and doesn't overheat my MBA :)about 3 hours ago from Tweetie
  2. You're an island of reality in an ocean of diarrhea?about 19 hours ago from Tweetie
  3. @chronicdevteam nope, it's bullshit :) not like we have a quota or somethingabout 19 hours ago from Tweetie in reply to chronicdevteam
  4. This is the (still very ugly) proof: http://bit.ly/2CVK3Mabout 23 hours ago from Tweetie
  5. I just proved that there are infinite natural numbers!about 24 hours ago from Tweetie
  6. Cleaned up my code from yesterday, added proofs for multiplication. New and improved with mutually recursive proofs! http://bit.ly/41cjIM :)10:07 AM Nov 6th from Tweetie
  7. @tjosephcarter now try encoding succinctly that in terms of Peano numbers6:12 AM Nov 6th from Tweetie in reply to tjosephcarter
  8. @p0sixninja not in the mood for chess right now :) I haven't played since high school, actually!10:37 PM Nov 5th from Tweetie in reply to p0sixninja
  9. @chendo nope, maybe this weekend7:10 PM Nov 5th from Tweetie in reply to chendo
  10. And the missing part with a very ugly proof: odd+odd=even: http://bit.ly/31XFX46:24 PM Nov 5th from Tweetie
  11. Is it a program? is it a proof? It's agda! http://bit.ly/3hK9YZ contains proof that even+even=even and odd+even=odd!6:17 PM Nov 5th from Tweetie
  12. @dxoigmn that's why it's hard!4:57 PM Nov 5th from Tweetie in reply to dxoigmn
  13. @allegedlysteve depends how much you assume :)4:53 PM Nov 5th from Tweetie in reply to allegedlysteve
  14. @iHacker I'll paste my source code in a bit4:46 PM Nov 5th from Tweetie in reply to iHacker
  15. @cpich3g working on it! :)4:16 PM Nov 5th from Tweetie in reply to cpich3g
  16. YAY! I just proved that the addition of two even natural numbers is always even!2:43 PM Nov 5th from Tweetie
  17. At @Dropbox they are fan of #Haskell and #XMonad : http://bit.ly/1sJMaD (via @alpheccar)11:04 AM Nov 5th from Tweetie
  18. Mind is blown by reducing my clever "type of subtypes" to basic operations on dependent sums.12:06 AM Nov 5th from Tweetie
  19. @angiexpangie no, just curious whether it would pass. Maine passed their own version of Prop 8 yesterday though.7:10 AM Nov 4th from Tweetie in reply to angiexpangie
  20. @tjosephcarter no it hasn't: http://bit.ly/4gEQ0B Religious marriage is a relatively recent invention.6:57 AM Nov 4th from Tweetie in reply to tjosephcarter
  • Name Daniel Peebles
  • Location Hanover, NH
  • Bio Computer scientist / wannabe mathematician who enjoys Haskell, machine learning, and security
161 Following 4,802 Followers 177 Listed
tilt factor Joshua Brody Michou math prof FunctorSalad alpheccar Dave Menendez Paul Delhanty tanzeem Roman Leshchinskiy Eyal Lotem Debra Liu johnbender Strathclyde AFP Ari Brown Patrick H Edward Z. Yang Amit Chakrabarti Josh Liu Jeremy Merritt Tom Cormen mwotton bushing Alex Mason Ilfak Guilfanov BigBoss Marc Vaillant chronic dev team Edwin Brady Conor McBride Raymond Pasco Dustin Howett Geethmala Sridaran Stefan Holdermans J Robot creachadair