Matthew StephensonDan Boneh’s studentsRecently I organized an event related to cryptography and had dinner with some of dabo@cs.stanford.edu’s students; a gathering of some of…Aug 25
Donald PinckneyCoding Serverless Functions in IdrisServerless computing platforms such as AWS Lambda and Google Cloud Functions have recently become a hot trend for writing backend code…Mar 26, 2019
Adam BrohlFormally Verified Monads in IdrisOne of the main appeals of programming in Haskell is the ability to express algorithms with Monads, which allow the programmer to abstract…Apr 27Apr 27
C. L. BeardinOpenSourceScribesIdris Programming LanguagePurely Functional ProgrammingNov 11, 2023Nov 11, 2023
Matthew StephensonDan Boneh’s studentsRecently I organized an event related to cryptography and had dinner with some of dabo@cs.stanford.edu’s students; a gathering of some of…Aug 25
Donald PinckneyCoding Serverless Functions in IdrisServerless computing platforms such as AWS Lambda and Google Cloud Functions have recently become a hot trend for writing backend code…Mar 26, 2019
Adam BrohlFormally Verified Monads in IdrisOne of the main appeals of programming in Haskell is the ability to express algorithms with Monads, which allow the programmer to abstract…Apr 27
Marco PeroneinStateboxProgramming Languages as CategoriesIn our previous posts we saw how to work with categories and functors in Idris, providing definitions that encode all the required…Apr 29, 2019
Jannah Firdaus Mediapro Art & StoryIslamic Folklore The Biography of Prophet Idris AS English EditionAllah SWT (God) says in The Holy Qur’an:Aug 13, 2023
Marco PeroneinStateboxFun with functorsIn our last post we provided some examples of categories which show how, with our newly defined concept of category, we can generalize a…Mar 21, 2019