Problem The following code is a solution to a Hackerrank problem in Haskell. Given a list of polynomial coeficients a […]

Problem I have recently discovered that in type theory there is a concept of a “predicate type” which is a […]

Problem I needed a mechanism for creating types dynamicaly from strings and bytes etc. I tried really hard to use […]

Problem #!/usr/bin/env python3 ”’ Asymmetric criptography of chat messages. ”’ #TODO: implement perfect foreward secrecy #Because of forward secrecy an […]

Problem In my application, I need to allow the user to store variables. Variables can only be of specific types, […]

Problem This is the second version of my type converter framework. The the previous one can be found here: Type […]