Facebook HipHop PHP

$ ./hphp test.php
hphp: /tmp/hiphop-php/src/compiler/analysis/variable_table.cpp:814: void HPHP::VariableTable::checkSystemGVOrder(HPHP::SymbolSet&, unsigned int): Assertion `false' failed.


Right. Let's just comment the assert(false) line out and recompile it!


$ make
[  1%] Built target timelib
[  1%] Built target afdt
[  1%] Built target sqlite3
[  2%] Built target xhp
[ 13%] Built target mbfl
[ 75%] Built target hphp_runtime_static
Scanning dependencies of target hphp_analysis
[ 75%] Building CXX object src/compiler/CMakeFiles/hphp_analysis.dir/analysis/variable_table.cpp.o
Linking CXX static library ../../../bin/libhphp_analysis.a
[ 88%] Built target hphp_analysis
Linking CXX executable hphp
Building hphpi
Core dumped: Segmentation fault
hphp failed
make[2]: *** [src/hphp/hphp] Error 255
make[1]: *** [src/hphp/CMakeFiles/hphp.dir/all] Error 2
make: *** [all] Error 2


... Conclusion: Both Facebook and PHP are bullshit

NO EXCEPTIONS

you might also want to grep -inr cmake ..

A set Y is at least as big as a set X if there is an injective (one-to-one) mapping from the elements of X to the elements of Y. A one-to-one mapping identifies each element of the set X with a unique element of the set Y. This is most easily understood by an example; suppose we have the sets X = {1,2,3} and Y = {a,b,c,d}, then using this notion of size we would observe that there is a mapping:

    1 → a

    2 → b

    3 → c

For example, the set of integers is countably infinite, while the infinite set of real numbers is uncountable.

Cosmologists have long sought to discover whether infinity exists in our physical universe: Are there an infinite number of stars? Does the universe have infinite volume? Does space "go on forever"? This is an open question of cosmology. Note that the question of being infinite is logically separate from the question of having boundaries.

The systems of New Foundations NFU (allowing urelements) and NF (lacking them) are not based on a cumulative hierarchy. NF and NFU include a "set of everything," relative to which every set has a complement. In these systems urelements matter, because NF, but not NFU, produces sets for which the axiom of choice does not hold.

Morse–Kelley set theory admits proper classes as basic objects, like NBG, but also allows quantification over all proper classes in its set existence axioms. This causes MK to be strictly stronger than both NBG and ZF.

(̷̶̡͙̬̝͖͕͓̱͇̦͈̪̰̜̝̗̮ͦͬ͌̆͑́っͩͨ̇̽̑͐̂ͩ̔̓̇̆҉̷̳̭͙͇̝̺̪̝͢͝λ̧̨̬̼̞̥̲̤̺̯͙̬͍̱̥̺̊́̊ͮ͡♡͙̗̦̦̜͖͖̠̻͎͚̾͌̂̀̍̆̎̈̔ͧ̎͒͊͟͢͟Д̂ͦ̉͒ͥ̅̓ͬ͝҉̴̤͖͍͉͜͟♡̝̯̣̲͈͇̒̀̅͑ͬ̔̃͢͢͡)̊̽ͤ͑̊̌̏̈́ͮͧͯͬ͊̅̏ͭ͏̵̢̫̬͚̩͝っ̷̸̨̪͇͍͓̼͙̩̖̬͈̝͚̯̺̱̹͉̼̓ͬ́ͬ͋ͪ͌͂̆͋̓̔ͪ̓̎͡ᕦ̴̞̯͇̺͈͔̩͖̜̝̮̓ͩ̊̈́̆̉̑ͧͮ̑ͣ̿ͮ͊́͡(̬̪͎̰͚̜̯͇̻̥͍̮̬͕̯͖͙ͤͣ̾͛͠ͅ`̲̦̞̯͎̻̰̉̏ͦ̉̾̍̅̾̑͊̑͗ͬͩͪ̚͟ಠ̒̊͌͋̇̽̋̽̉ͥ̔̑ͭ͘͟͝҉̰̮͍͍͈̼͍̙̤͍͕̤̱͎͍͕̲̞̪ω̈́͆ͨ̔̐ͬ̒ͦͥ̽̆͑͑ͨ̌͏̀҉̣͉̖̲̻̫̥̥̝̻̱ಠ̧̩̦̬̯̲̹̊ͫ͋͊́͊̅̓̆̑̂͛̀̚͜)̸̷͇̭̟̞̮͉̺̋ͥͪͨ̋̓́ͫͩ̑̚ͅᕤ͊̃ͩͪ҉̵̨̱̤̗̘̘̖̀)̛͙̙͍͎̖̪ͦ͋̆̋̒̎ͫͬͩ̈̇͆ͣͬͥͨ̑̔͘͝)͎͙̮̺͙̠̟̘̹̙̟͈͂̆̾̿̀͘͟͝)̗̗̺̠̰̖̹̙̞̃͌̎̐ͦ͑̀ͥͭ̍̉̅̽̄͌͋̃̆͡͡★̴̵̧̢͕̲͙͇̳̻̙̤̲̞̫͔͈̖̠̪̪̤̆ͤ́͗͡ͅ≦̛͈̦̟͙̰̦̞̫̖͇ͪͣͪ̽̌̆̇̃̾̋̚͜͢⁎̉̉ͫ͊̄ͩͯͫ͑̍̇͌̇̆͊͟҉̧̩͇͈͎̪̪̝͈̮͕͈̮̣̻̳̺̖͔̕*̛̳̝͙̖̲͚̣̤̮̺̼̝̱̻̣̻̟͊̑͑̎̈̀ͧ̌͒͛̑ͦ̂̆̈̿̅́̚ͅ☠̬̗̜͙̪̜̘̭̥̰̱͉͍̠̼̮͗̂͐͐͒ͯ̃̈͂ͮ̓͗̑̊ͫ̓ͣ̀̀͡⁎̸͒̏̈́̓̏͛̾͑̑͗̊̿̇ͥ͞҉̵̧͖͍̻̰͓ꂚ͍̣͉̟̯͉̰̹ͥ͗͆ͬ̿͊̆͆ͯ͋ͯ̊͆ͧ͒͌̇̾͗͘*̶̷̣͈̝̣̲̟̩̌͗̌ͧ͋͑̈̃̽̊͑̇̑ͦ̿͜͢͝ͅᵎ̴̧͍̱̯̺͙̥̥͎̞̬̩͔͉̅ͫ̅̾̂ͤ̌ͅ=̶̛̱͈͎̘̥̒ͭͯ̋͐̅̓ ͤ̏̿̊̄͒͆͂̏ͯ̈́̇̎̓ͤͬ̍ͫ͟҉̡̦̫̤͎̼͙̣̻̳̤̤͉̩̭ͅ ̸̨̫͉̥̙͔͇̞̼̳̪̬͖̣͊̆͐͐͊̎͑ͯͩ̚͝ ̨͊͋ͪͮ̈̉̏̾̈́̉̋̈̄ͣ͆̏ͫ̚͏̟̩͈͕̥̤̘̯̼͚͚͘ ̸ͩͣ̓͑͌͠҉͈̯̼͍̭̤̘͈̫̝̣̙̱̦̫ ̶̜͕̯̮ͨ̐ͫͬ̐͂͛̄̉̽̐̓̕͢ͅ ̛̹̬̤͔̫͖͇̮̗̟͕̗̼̜͚̥̫̙͒͌̀͗̄ͯ̆͛͟ ̛̍ͨ̃̀ͣ̓ͩͣ̿̔̌͊ͦ͂͢҉̨̜̺͉̙̣̼̼̥͍͚̗͍̯̪̗̱ ̷̛ͧ̈ͮͧ͘͜͏̲̘̳̫̣̪̺̯̘̘ ̴̸̶̘̦̭̞͕̲͇͎̙̩̗͍͙͉̠ͭ̇̈́ͮ̌̐̆́̉̾̾̃̔̏ͭ͗̋̚͟ ̧̡̼͉̠̜̰̞͇̜̥̠͓̦͓͎͉̝̖̹͙̏͛̽ͮ̔͂͊́ ̶̴̡̛̣̗̗̳̪̫͖̥̘̻̳̦͕͇͚͕͕͑ͣ̈́̇ͬͭ̚̚͠ͅ ̵̷̛͎͍̙̩̘͐ͥͫ͐ͦ͆̾̊̐̓́ ̢̧̇̓ͫ̇̄̋̀ͬ͊̀ͧͦ͌͌̓҉͇̱͚̠̪̖͙͓̙̀ ̶̅͗̏ͣ̽ͤͣ͏̸̻̻̲̦̟̳̟̖̯͖̯̥̣͍̙̘̦Ψ̡̩͓͉̞̲̤̼̱̤̥̪͚̥̦͚̱̣̎ͭ̍̎̾͐͠_̴̡̛̝̫̻͖͇͎̳̯̗̟̜̬̤͚̻̠̗̇̽̈́͐̂ͪ̂̌͗̋̍͋̂̈́̈̇͒̈̉͞͝(̷̷̬͈̬̮̤̠̩͈͇̠͑̊ͬ͗̾͂͛̒̄̋̃̒͠Ò̴͔̰̠̫̠̞̜̬͉͓͍̜͊̈̑̽ͩ͢͠ ̷̸̧͖͔͙̞̂̿ͮ̽͊ͫ͋‸̲̼͚̳̀͒ͤ́̑ͩͭ͛͆͌̿̕͠ ̸̶͕͎̳̻̯̥̜ͥ̄̽̊ͪ͐́̋̈ͧ̋̎ͣ͛̾͊ͫͯ̀̕͢Ớͬͣ͆ͯͧͤ̌̌ͩͫ̐ͪ̄ͨͦ͊͢҉̵̛̦͙͍͉̫̯͉̳͓̼̹̬̦̰╬̢̛͕͓̣͉͎̟̰̜̣͍͓̹̭͋͒̐̇́̓ͪ̀ͯ̉̒͌̑͒ͬͯ͊́̚̕͘)̴̖̘̹͓̯̹̯̤͎̻̝͊ͪ͊̑̀̌̈͆ͬ͗͆̚͘
̶̷̨̡̰͈̼̤̟̘͉̬̹̤̯̹̯̣̬̺̲̯ͫͯ̈͗͒͌̊̎ͬ͘(̂̃̈́͐̀̎̉́̓ͮͨ͏̸̬͕͉̭͚̜̫̪̝̮͈̺͔̬͔͓̕͝ͅっ̨̲͕̳̗͐͗ͫ͗̉̈́̐̊̒͋͠λ̨̛̟̬̹̗̲̟͉͉͈̘̲͕̼̼̃ͮͦͥ̊̈̓ͬ͑ͨͭ̓̉͟͠♡̎̀ͣ̊̓̋ͭ͑̇ͫͤ͋͊ͧͬ̈͏̢̦͖͍̲̥̖̞͇͖ͅД̗̘͉̳̭͔͖͕̣̦̱̟͔̹̝̝̠̲ͣ̇͌̒͗ͯ̔ͦͧͩ͗͜♡̶̨̪̰̫̫͇͈̭͔̠̬̦̝̲̝̱̗͊̃͐̏̀̃ͪ̌̈ͫͥ̓͌̇ͥ͐̚͢͡ͅ)̴̨̥̫̩͎̥̮͓͚̘̜̪͍ͥ̃̓̉̑ͮ͊̋̇̆̎̚͟͞ͅっ̸̛͕̫̜̥̿̽̀̚ᕦ̸̷̬̭̭̜͉̂ͤͨ̆̽ͫͥ̇ͩ͐ͫ͌̐̌͝͡(̴̛̲͖̩͖̦̲̳͚̯̰̜̟͖ͧ̒̌̀͑͛͑̎̑ͦͩͨͧ̿̆͟͞`͓̦̝̘̗̗̰̥̩͉͉̣͖̲͕̻̣̞ͫͤ͐ͦ̆͗ͨͩͬ̍̿̉́͘ಠͩ͂̈́͡͏̶̼̪̩̺̟̰͇̯̼͈̥̣̗̞̀͡ὠ̢̡̗̜͔̰̮̫̟̪͎̙̯̼̥͚̣͕ͤ̉́ͪͦ́͑́͆ͧ̃ͬ́ͪ̋́̎̚͠ಠ̸̻̦͙͍̞͖̖̠̲̘̗̥̹͓̼͛͐̇̽ͤ̏̂ͫ̊ͮ̃ͨ͐͒͟ͅ)̶͚͉͙̪̱ͣ͒̒͗̉ͨͪ͟͡͝ᕤ̴̸̡̨̗͕̥̮̯̞̤̩̞̤̦̟̜̝̃ͨͧ̊͑͋ͯͫ̿ͬ́̚̚)̙̮̮̫͚̙͙̙̌̾͊ͬͤͬ̏͐̎͛ͯ̀͢ꂚ̶̛̪̝͚̯̫̪̹̻͍̯͖̣̜̜̘͎̮̈̉ͧ̐͗ͨͥ̈́́̂̆ͯͯ̿͊͛͝*̵̍̾ͣ̏̉̉ͪ̍͛ͦ̽ͨ͠҉̺͉̝̺̲̤̟̳̺̗̞̹ᵎ̫̼̳̟̘̮̟̦͚ͪ͊͗͂͑ͬͩ̈́͛̒̿ͤ́ͥ́=̢̨̞̟̻̳͈̪̩̗̳͓͓͉̜̻̍̒ͪ͑͗̌̅͋ͩ͛̆͢͠ ̶̰̱̻̣̝ͩ́̓͋͝ͅ ̡̌ͦ̍ͫ͛ͦ́͡͡͏͓͈̲͈̰̝͇̠ ̰̻̞̪̽́̆ͭͧ͜͜ ̮͓̟̬͔̬̰̯͕̻͙̫͇̫͖͉͌ͫ̃̄ͤ̓͘͟͡ ̷̨̢̥̜̘̥̲̪̻̞̰̠̻̥̣͙͕̲̹̿ͭ̐̾̄͒͌̉͛̋͌ͥ̓̂̌ ̷̜̯̹̻̜̫̭̪̙̹͍̙͉͊ͪ̑ͪ̇ͣͫ̈͌́ ̱̫̮̮̲̯̺͆͐ͨ̐̾̂̽ͩ̒ͧ̄̂ͨ̀̕ ̴̵̵̨̗͖̤̗͔͕̯͉̤̮̻̬̩̫̘̲̹̳͌̾̋ͯ̍̿̂̀͗ͅ ͂͒̀͌͛̈́̈͊͛̽ͣ̄̄̐̿̚͞҉̹͙̮̯͉ ̶̷͙͓͓̟̰͈̫̣̱͇̝̙̤̘̟̏̅̇͗̃ͫͦ̚̚͢͡͝ ̷̡̥̘̰̘̝̃͆̆̄̅͘͝ ̶̡̨̞̺̱͖̌̒͐ͦ͘͝ ̷̛̔ͭ̏ͫͯ̓͒̈́̅ͧ̂ͧ͑ͨ̄̌͂ͤ̅҉̮̮͇͈̗͓̞̻̰͚̬͇̩͙̭̩̭͔́ ̌̓̐ͤͭ͏̴̨͉͓̰̺̟͎̞̠͎̘̤͚͡ͅΨ̷̵̷̛͓̺̙͔̯̯̮̣̫̼́ͦ̔ͥ̄̄̓͋̾̂̄ͣ͐͠_̨̛̛̞̰̖̗͓͍̭̥̮̘̱̘͕͗͒ͥͣ̀ͩͩ̽ͣ̊̄ͧ͌ͥ̆͘͟ͅ(̥̥͍̬̲̣͖̱̟̌̆̊̃̑ͥ́̎̓ͧ͋̊ͮ̆̈̚͡͝ͅỜ̱͍̭̬̼̲̝͓̯̻̬͙ͬ͒͑ͦ̈̃̀̈́̚͝ͅ ̡̢͉̦͍̙̐ͯ̃ͮͤ̈́͌ͥ͌̽ͪ͝‸̧̩̙̹̼̙̠̱̮̦͙̦͖͖̈́́͐̈ͨ̀̊͑̒̈̎̔̔ͣ͒͋̕͡ ̨̧̨͎̦͎̼͚ͤ͋͛ͥͥ͊ͦ͆͛͌͆̍͆ͮ͝ͅÓ̷̷̙͈̗̤͖͙͇͇̗̳̬͙͍̖̥̮ͥͧ͂ͬͪ̑ͩ̄̍ͧ̍ͪ̚╬̸̴̨̍ͦͭͫ̽͗̾͆͟͏̣̮̭̗̦̣̭̗̪͖̖̻̼̭̥ͅ)̴̻͇̟͇̠͛͂̀̿́̏̇ͫͨ̽̉̊̊̍͢ ̢̼̟̯̞̻͈̭̠̬̝̪̗̟̔̎̓̍ͤ̅̒̀̎ͧͩ̎̊̓ͪͩ̔̕͠͡