![]() The Catsters stand in front of a blackboard in their videos, but I would like to try pencil and paper with our departmental document camera. Screencasts are ok for computer-sciency themes, such as Coq and programming, but for real math, I will have to make videos of handwriting. ![]() For example, other people can combine screencasts from various sources and create their own tracks. Version 3.2.0: Support for future versions of macOS. There are occasional updates, but overall, the product seems stable and mature. Screenium Screenium is a screen capture utility that allows users to create live movies of a Mac’s display, capturing the desktop, applications, mouse movements, and voiceover audio in high-quality, real-time screencasts. Price is fine and the software works intuitively. Good basic feature set: full screen, dedicated screen section or follow cursor. There are non-traditional ways of organizing tutorials into playlists. It was fairly cheap and did what it is supposed to do: capture movie to show what you do on screen. There is less global planning than in teaching a course, but some planning is still needed. A few unique features of the software that we really appreciated: Screenium 3 offers the ability to include multiple language selection for voiceovers and a t ext-to-speech feature for doing. There must be a central message, but often I find it convenient to explain “on the side” various details which do not easily fit anywhere. It takes less time to start over than to try to edit out mistakes afterwards. A screen cast must be short. The “pause” button is my friend when the phone rings or I need to think for a moment what to say next. It can capture all types of videos: live streams, gaming, webinars. Or, you can send them via MAC message app or email. It still takes me two or three takes before I am happy with a screencast, but all in all the process is becoming more streamlined with each next tutorial. Video content can be published right on YouTube, Facebook, Vimeo, and Flickr. I guess it does not show Keystrokes like ScreenFlow. In a screencast the viewer can see how I make mistakes and, more importantly, how I discover and fix them. Screenium allows you to overlay the camera image on the screen capture. In fact, I think it is important not to make tutorials perfect. Preparation of a screencast takes less time than preparation of equivalent written notes or slides, as long as one is not obsessed with making everything perfect. Screenium on my Mac, which is just one of many available options. I find it very, very difficult to listen to my own voice. I hope to have many more lectures soon, but I am starting to feel out of my depth, so if anyone wants to help they are welcome! Feedback is welcome (and easy to provide on Youtube). You should turn on the high quality HD stream when you watch these. A first proof with Coq (Frobenius rule).Obtaining and installing the Coq proof assistant.You can find the first few tutorials on Youtube in my “ Coq tutorials” playlist. Inspired by the Catsters, I decided to prepare the material in the form of screencasts. ![]() Next week I am going to a meeting where I am supposed to give a tutorial on the Coq proof assistant. Video tutorials for the Coq proof assistant
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |