Montesquieu: Considerations on the Causes of The Greatness of the Romans and Their Decline
1,899 karma · joined December 15, 2010
Suffer from any kinds of code-injection attacks
Return invalid HTML
Contain dead intra-application links
Have mismatches between HTML forms and the fields expected by their handlers
Include client-side code that makes incorrect assumptions about the "AJAX"-style services that the remote web server provides
Attempt invalid SQL queries
Use improper marshaling or unmarshaling in communication with SQL databases or between browsers and web servers"
https://stackoverflow.com/questions/4065001/are-there-any-pr...
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians."
The making of HoTT book http://vimeo.com/68761218
The results [...] conflict [...] with widespread assumptions about Jewish identity. Jews have traditionally considered that the mother determines the ethnic identity of her children. If being Jewish is defined as genetically descending from the Israelites through the maternal line, then many Ashkenazi Jews fail the test, according to this data."
Original: http://www.nature.com/ncomms/2013/131008/ncomms3543/full/nco...
Do you plan an API for that?