Dimitris A. Nakos · @nakdim
22 followers · 29 posts · Server mathstodon.xyzhttps://academic.oup.com/nargab/article/4/4/lqac086/6827083?login=false
Extremely proud of the research lab I'm part of (as of recently) \[ CG^2 \] http://computational-genomics.weebly.com/
A paper on the existence of particular #genomic regions in the #yeast genome that are enriched in #gene duplicates and how this affects the properties of nearby #singletons.
For more thorough explanation on much_loved_bird_site: https://twitter.com/guilderstern/status/1498964712662474753
#computationalbiology #bioinformatics #genomics #singletons #gene #yeast #genomic
Dimitris A. Nakos · @nakdim
22 followers · 29 posts · Server mathstodon.xyzExtremely proud of the research lab I'm part of (as of recently) \[ CG^2 \] http://computational-genomics.weebly.com/! A paper on the existence of particular #genomic regions in the #yeast genome that are enriched in #gene duplicates and how this affects the properties of nearby #singletons.
For more thorough explanation on much_loved_bird_site: https://twitter.com/guilderstern/status/1498964712662474753
https://academic.oup.com/nargab/article/4/4/lqac086/6827083?login=false
#computationalbiology #bioinformatics #genomics #singletons #gene #yeast #genomic
Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org#StephanieWeirich : "#StronglyTyped #SystemF in #GHC"
"This project demonstrates my solution to this #challenge using the #Haskell #programming #language, assisted by the #singletons library. Because I had a lot of fun completing this challenge, I wrote up this solution as a #tutorial of #DependentlyTyped programming in #GHC."
https://github.com/sweirich/challenge/blob/canon/debruijn/overview.md
https://youtube.com/watch?v=GxP-ufWyj3s
https://www.youtube.com/watch?v=j2xYSxMkXeQ
#DependentlyTyped #tutorial #singletons #language #programming #haskell #challenge #ghc #SystemF #StronglyTyped #stephanieweirich