This is an old revision of the document!
Here some information about what I use to make the videos for the podcast.
To record my videos I use a Panasonic HC-V707EG-K. It was one of the first to offer 50 fps at 1080p. It's not bad, but lacks a couple of things:
For the audio I have Audio-Technica ATR3350 omnidirectional condenser lavalier microphone. But when plugged in the camera it generates a lot of noise in the background. I could not figure the cause, but it prevents me to get better audio recording. And the camera built-in microphones aren't too bad.
To record the screen I use SimpleScreenRecorder. It's simple and does the job well.
The audio is recorded using a Samson C01U USB microphone.
I still did not find any suitable non-linear video-editor.
To encode the video before and after editing I use ffmpeg. It does a good job at transcoding videos.
Audacity does the job well and provides a nice noise removal function. But it does not provide a command line interface and can not be scripted.
SoX is small and fully scriptable. It's noise reduction is not very good, but the rest works well.
To make subtitles I use Aegisub. On the first pass I transcribe the video with approximate timing, only using the keyboard. I correct the timing with the mouse on the second pass.