Miles Rout milesrout
milesrout
/ gist:d05d83d8567942d99756
Created
December 15, 2015 04:52
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
| set([u'magicschoolbuscrash', u'RationalMayhem', u'Vimda', u'mcilrain', u'ljcrabs', u'gringer', u'toomanybeersies', u'SirChristoffee', u'wesley_wyndam_pryce', u'rifter5000', u'Portadiam', u'smellyegg', u'DirectImageLinkerBot', u'IWantUsToMerge', u'sobri909', u'back-stabbath', u'naturalethic', u'presidentchimp', u'KhyronVorrac', u'holloway', u'yacob_uk', u'Throwaway_Kiwi', u'some_arab', u'bbqroast', u'WasterDave', u'hexasquid', u'SCombinator']) |
milesrout
/ gist:99a28cfa0ecdea6a8f8e
Last active
May 29, 2016 05:21
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
| #include <iostream> | |
| #include <type_traits> | |
| using namespace std; | |
| #define ALVIN_SASSERT_IS_SAME(actual, expected) static_assert(std::is_same<actual, expected>::value, "Expected " #expected ", got " #actual "."); | |
| struct Type {}; | |
| struct Function { | |
| template <typename T> |
milesrout
/ gist:077ad027711b5eb1e35a
Created
December 17, 2015 22:26
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
| /////////////////////////////////////////////////////// | |
| // f - function | |
| // (f x) - (partially) apply the argument x to f | |
| // ((f x) y) - apply the arguments x and y to f | |
| // f - function | |
| // f::of<x> - (partially) apply the argument x to f | |
| // f::of<x>::of<y> - apply the arguments x and y to f |
milesrout
/ gist:10049e77d191b807621c
Created
December 19, 2015 12:01
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
| for (int i = 1; i <= 12; i++) | |
| for (int j = 1; j <= 12; j++) | |
| std::cout << setw(4) << i*j; | |
| std::cout << std::endl; |
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
| size_t len = strlen((char*)str) + 1; | |
| utf8char *buf = new utf8char[len]; |
milesrout
/ gist:354603a8c2643a7f4c1a
Created
December 26, 2015 10:15
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
| template< class T > struct is_pointer_helper : std::false_type {}; | |
| template< class T > struct is_pointer_helper<T*> : std::true_type {}; | |
| template< class T > struct is_pointer : is_pointer_helper<typename std::remove_cv<T>::type> {}; |
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
| miles@laptop:~/Projects/tableaux $ rustc test.rs && ./test | |
| T | |
| F | |
| ~(T) | |
| ~(F) | |
| (T) ^ (T) | |
| (T) v (T) | |
| (T) -> (T) | |
| ((T) v (T)) ^ (T) | |
| True |
milesrout
/ gist:e63beb7dff68766d147f
Last active
September 7, 2016 11:17
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
| #[macro_use] | |
| mod macros { | |
| #[macro_export] | |
| macro_rules! prop { | |
| (($($t:tt)*)) => (prop!($($t)*)); | |
| (T) => (Proposition::True); | |
| (F) => (Proposition::False); | |
| (!$e:tt) => (Proposition::Not(box prop!($e))); | |
| ($e:tt ^ $f:tt) => (Proposition::And(box prop!($e), box prop!($f))); | |
| ($e:tt v $f:tt) => (Proposition::Or(box prop!($e), box prop!($f))); |
milesrout
/ version.cpp
Last active
May 29, 2016 05:22
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
| bool operator<(const Version& other) { | |
| if (major < other.major) | |
| return true; | |
| if (minor < other.minor) | |
| return true; | |
| if (revision < other.revision) | |
| return true; | |
| if (build < other.build) | |
| return true; | |
| return false; |
milesrout
/ gist:8ac9d0424c4db12204c4
Created
January 4, 2016 06:55
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
| Procedural Task/Quest Generation | |
| 1. Generate world | |
| 2. Populate world | |
| 3. Generate tasks | |
| Generate World | |
| 1. Elevation | |
| - Perlin noise? |