Nerd dictation is a simple to use and powerful voice-to-text utility that you can use to just type or you can script its output. In my experience it works quite well, although I don't really use it for dictation.
I don't think gnome has speech dictation support. That's too bad though because speech recognition in Linux is actually very good when using Faster Whisper library: https://github.com/guillaumekln/faster-whisper
Maybe that is interesting for you? https://github.com/abb128/LiveCaptions (Found it from here) https://m.youtube.com/watch?v=r09Hm2zd2lY
Here is an alternative Piped link(s): https://piped.video/watch?v=r09Hm2zd2lY
Piped is a privacy-respecting open-source alternative frontend to YouTube.
I'm open-source, check me out at GitHub.
I remember this fella from FUTO coding something, here is the interview, maybe it is in a nice state now? https://www.youtube.com/watch?v=r09Hm2zd2lY
Here is an alternative Piped link(s): https://piped.video/watch?v=r09Hm2zd2lY
Piped is a privacy-respecting open-source alternative frontend to YouTube.
I'm open-source, check me out at GitHub.
Been using talonvoice.com with some good success. Has a command mode for coding/navigating and a dictation mode.
From Wikipedia, the free encyclopedia
Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).
Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.
Community icon by Alpár-Etele Méder, licensed under CC BY 3.0