discussion site-recommendation superuser askubuntu linux asked May 15 '12 at 20:44

game-of-thrones a-song-of-ice-and-fire asked Jul 7 '13 at 11:17

java memory memory-management stack asked Mar 7 '13 at 21:32

code-golf math asked Sep 6 '12 at 16:31

dominion dominion-seaside dominion-dark-ages asked May 4 '14 at 22:04

multithreading haskell parallel-processing overhead moores-law asked May 26 '14 at 21:07

types set coq boolean-expression first-order-logic asked Jun 22 '13 at 18:29

c++ stl coding-style set asked Dec 17 '13 at 6:31

haskell parallel-processing short-circuiting asked Jun 14 '14 at 19:54

np-hardness sat upper-bounds asked Dec 19 '13 at 23:55