Proprietary Trading & Web3 Research
All quantitative models, risk engines, and software infrastructure are engineered and maintained strictly in-house.
(We started making alpha-neutralized versions of some of the components our internals use publicly available to demonstrate the actuality of claimed expertise and know-how, trade secrets redacted before publishing! All MIT licensed!)
A corrected implementation of correctness so that a correct predicate is understood naturally and also universally.
The algebra by definition is naturally and therefore intuitively is spec adhering with the default bias as is. Also formal lambda calculus is the logic thats defined to be the natural default.
This repo implements a feature complete and totally correct to spec runtime of lambda calculus in pure haskell.
This repo implements a feature complete and totally correct to spec runtime of lambda calculus in pure haskell.
The algebra by definition is naturally and therefore intuitively is spec adhering with the default bias as is. Also formal lambda calculus is the logic thats defined to be the natural default.
A corrected implementation of correctness so that a correct predicate is understood naturally and also universally.
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…