log☇︎
3000+ entries in 0.083s
copumpkin: in a character class it is
copumpkin: replace all nonalphanumeric with empty
copumpkin: :(
copumpkin: oh
copumpkin: why do you need /i?
copumpkin: hmm okay
copumpkin: usagi: so you have a function makealpha that removes all alpha?
copumpkin: lol
copumpkin: $r?
copumpkin: lol
copumpkin: HTM!
copumpkin: so you need to build most things from scratch
copumpkin: because these languages give you very few primitives
copumpkin: I'd need to build concurrency models first
copumpkin: and I'm not going to try
copumpkin: STM is hard
copumpkin: the exchange one
copumpkin: I was tempted to, and started working on it :)
copumpkin: plastered all over my github
copumpkin: I have thousands of lines of code of agda
copumpkin: https://github.com/copumpkin/categories/tree/master/Categories
copumpkin: Diablo-D3: I do this shit in my free time
copumpkin: Diablo-D3: seriously?
copumpkin: twelf
copumpkin: let's see
copumpkin: agda, coq, idris, epigram,
copumpkin: Diablo-D3: and I do
copumpkin: granted, much simpler code than an STM impl :)
copumpkin: I prove code all the time
copumpkin: moo
copumpkin: peanuts!
copumpkin: pfft
copumpkin: mircea_popescu: it's more like 350k now
copumpkin: I feel bad
copumpkin: there's so much wrong with that page
copumpkin: http://haskell-web.blogspot.com.es/2012/07/from-monads-to-monoids-in-small.html
copumpkin: I appreciate people trying to learn and people trying to teach
copumpkin: from the first sentence
copumpkin: when people take an obscure math concept, read for about two minutes, and then write a long blog post explaining it, completely wrong
copumpkin: you know what I love?
copumpkin: I never watched it in english or japanese
copumpkin: that sounds more badass
copumpkin: lol
copumpkin: more people should use it
copumpkin: I quite like that quant stack exchange though
copumpkin: that dude
copumpkin: https://www.youtube.com/watch?v=cEqhXdFyrzQ
copumpkin: he was called milord in the italian dubbed version
copumpkin: usagi: isn't there that dude in a top hat? is he your financial mentor?
copumpkin: usagi: aha, now we know your financial qualifications!
copumpkin: my time is worth $0 :(
copumpkin: (I'm not kidding, it's like the dude in south park)
copumpkin: for about 20 hours
copumpkin: and you can hear skiena say "mmkay" every two words
copumpkin: http://www.cs.sunysb.edu/~skiena/691/ is the one, and it has lecture notes, slides, and videos!
copumpkin: if people like this kind of stuff
copumpkin: there's also skiena's comp finance course
copumpkin: Lyspooner: it's a pissing contest, really
copumpkin: it's one of those free online courses
copumpkin: so it sounds fairly legit
copumpkin: and it's a prof from UW
copumpkin: usagi: it's just a general site for running online courses, but the course is starting today
copumpkin: https://class.coursera.org/compfinance-2012-001
copumpkin: speaking of finance and math
copumpkin: oh that
copumpkin: digg :)
copumpkin: /r/reddit.com ?
copumpkin: mircea_popescu: /r/jailbait?
copumpkin: flip dat coin
copumpkin: lol
copumpkin: http://quant.stackexchange.com/
copumpkin: child porn?
copumpkin: I wish I could list porn on my resume
copumpkin: everyone on the internet is a pornstar
copumpkin: dragostea din tei
copumpkin: bitcoins are like totally awesome dude
copumpkin: yeah
copumpkin: nefario: more importantly, banishment doesn't work because you can create a new identity
copumpkin: stand by meeeee
copumpkin: mircea_popescu: ooh
copumpkin: I hear glenn beck murdered a hooker
copumpkin: this isn't a rhetorical question
copumpkin: usagi: I'm curious, how old are you?
copumpkin: lol
copumpkin: that's the best
copumpkin: mircea_popescu: what kind of porn did you do, anyway? gay for pay/
copumpkin: as fas as I remember
copumpkin: usagi: EskimoBob disapproves of mircea_popescu's involvement in porn
copumpkin: lol
copumpkin: or greek, I guess :P
copumpkin: mircea_popescu: it means stench in english too
copumpkin: whee
copumpkin: 兎
copumpkin: sorry, forgot :)
copumpkin: 日本
copumpkin: whoa, where you from usagi?
copumpkin: nah, every way but one
copumpkin: I am so awesome
copumpkin: I don't just think it
copumpkin: oh, but I KNOW I know finance