3 ms·
I find it funny that there's a paper on constructive type theory and a CSS3 cheat sheet on the same list.
by tel 13y ago
I find it funny that there's a paper on constructive type theory and a CSS3 cheat sheet on the same list.
- Someone 13y agoHands up: who had heard of "docking" in the sense of http://x86.cs.duke.edu/~brd/Teaching/Bio/asmb/current/Papers/Lit4Docking/ppDockingHalperin.pdf http://x86.cs.duke.edu/~brd/Teaching/Bio/asmb/current/Papers...? For me, that didn't even come from the same ballpark. And that is after I accepted that CSS cheat sheets and type theory were in the same ballpark.
- EvaK_de 13y agoI did, but I studied bioinformatics... ;-)
- tonyarkles 13y agoYeah, that confused the crap out of me. I opened the paper and started reading the abstract, and was still confused. Took a lot of flipping through it to realize that it has something to do with molecular bonds and protein folding, maybe. :)
- nandemo 13y agoWe functional programmers have to pay the bills somehow, you know.