This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| \documentclass{article}[12pt] | |
| \usepackage{mathptmx} | |
| \usepackage{newtxmath} | |
| \begin{document} | |
| {\fontsize{128}{60}\selectfont $\uplambda$} | |
| \end{document} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| http://sugarandslugs.wordpress.com/2011/01/09/false-dichotomies/ | |
| http://takesupspace.wordpress.com/2010/02/05/combatting-combatting-ignorance-part-1-whose-ignorancewhos-ignorant/ | |
| http://takesupspace.wordpress.com/2010/02/06/combatting-combatting-ignorance-part-2-how-could-you-have-known-%E2%80%93you-already-did/ | |
| http://takesupspace.wordpress.com/2010/02/24/combatting-combatting-ignorance-part-3-of-4-cis-denial-self-knowledge-and-sexist-epistemology/ | |
| http://quinnae.com/2011/01/27/raiders-of-the-lost-etiology/ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Invited Talk | |
| Don’t Make the Wrong Mistakes: | |
| Programming as Debugging | |
| Paul Graham | |
| pg@paulgraham.com | |
| Abstract | |
| Sometimes it’s worth doing things badly in order to do them fast. When is this the right plan? Are | |
| some kinds of mistakes worse than others? Could the right infrastructure make trial and error | |
| programming more effective? How will it play out in the future? | |
| Bio |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| "We learn to tolerate, like a low flame on the fire or like a low fever in the body, a 'reasonable temperature-level of admitted cynicism.' We learn to feel that it is not intolerable to 'be' self-compromised if one is open and amusing in discussion of that matter; or, again, that cynicism, charmingly admitted-to and interestingly described, in some sense cancels itself out. It is not corrupt to 'be' corrupt so long as a person is perceptive and articulate concerning his corruption. At this point, as we know, the word itself becomes a distant and quite bearable designation, one scarcely having to do with our own being any longer, but a label identified rather with some interesting character of our late-at-night imagination. | |
| Few people end up totally cold and icelike and removed from their own feelings of self-accusation, but it is a type we strive for and it is a model to which we often gruesomely aspire. It is this, that we should strive with all our hearts to find such desert regions, that appears to me most |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| We strongly encourage submissions from people in communities that are | |
| underrepresented in functional programming, including but not limited | |
| to women; people of color; people in gender, sexual and romantic | |
| minorities; people with disabilities; people residing in Asia, Africa, | |
| or Latin America; and people who have never presented at a conference | |
| before. We recognize that inclusion is an important part of our mission | |
| to promote functional programming. So that CUFP can be a safe | |
| environment in which participants openly exchange ideas, we abide by | |
| the SIGPLAN Conference Anti-Harassment Policy | |
| ( http://www.sigplan.org/Resources/Policies/Anti-harassment ). |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ ghc-pkg list containers | |
| WARNING: there are broken packages. Run 'ghc-pkg check' for more details. | |
| /usr/local/Cellar/ghc/7.6.3/lib/ghc-7.6.3/package.conf.d: | |
| {containers-0.5.0.0} | |
| /Users/tchevalier/.ghc/x86_64-darwin-7.6.3/package.conf.d: | |
| containers-0.5.4.0 | |
| $ sudo ghc-pkg unregister --package-db=/usr/local/Cellar/ghc/7.6.3/lib/ghc-7.6.3/package.conf.d containers |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Hello Geekfeminism, | |
| I would like to write a guest-post about some plausible dynamics of the near future of men and women in the work place vis a vis technology. On the one hand a lot of the tech world still seems to be dominated by fairly young white males (of which I am one myself), on the other hand women are outnumbering men now in college enrollment and completion and middle management rolls. So are we headed for a time where in many (or even most) workplaces a woman is probably the boss, but a man is probably the IT person who reports to her? Is there an argument (and I ponder this with tremendous reservation) that this would actually be a pretty logical arrangement? Can men learn to accept that this may increasingly be the arrangement in their professional lives? | |
| I am an aspiring Sci Fi author and blogger, examples of my writing can be found at my website: jordanthomassmith.com |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| I don't know where to start with a single good article, but look at: | |
| http://geekfeminism.wikia.com/wiki/Geek_Feminism_Wiki | |
| http://geekfeminism.org/ (check the tags for specifically math-related ones) | |
| http://ashedryden.com/ -- she has a "101-level reader" post at http://ashedryden.com/blog/the-101level-reader-books-to-help-you-better-understand-your-biases-and-the-lived-experiences | |
| http://kronda.com/tech-needs-more-empathy |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| December 10 through January 4: Defining the data structure, implementing essential functionalities such as comparability/ordering, cloning/copying, a useful to_str() method. The extended length of this time period is intended to allow me to become more familiar with the data structure and constraints of the language as well as account for downtime surrounding the holidays. If possible, I will try to make enough progress to advance to the next stage early--this schedule is a conservative estimate. | |
| January 5 through January 18: Defining insertions and refactoring (splitting) of the B-tree. | |
| January 19 through February 1: Defining deletions and refactoring (merging) of the B-tree. | |
| February 2 through February 8: Benchmarking and establishing the efficiency of the new B-tree. | |
| February 9 through February 22: More benchmarking, and now comparing the capabilities of the B-tree against the older treemap library, taking notes on what works better or worse in each case. | |
| February 23 through March 1: Implementing changes |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| It is our objective to provide a work environment free from elements that would deter employees from performing their best work. All concerns may be expressed through our open door policy. Management at [REDACTED] maintains this open door policy to discuss any issues you may have. Feel free to express yourself about work related or personal matters. We welcome your input. | |
| If you feel you have been discriminated against in any way you are encouraged to express concern through this open door policy. |