Welcome to Dave’s Brain

I've been a developer for years and have kept some notes. This is my place to share them. I'll add more. Hopefully they are useful to somebody.

• 2025.jun.09 Programming - Putty: change the font face for one host and make it permanent
• 2025.may.20 Computer - Google: disable AI summaries in search results
• 2025.may.20 Computer - GNOME: .desktop file to launch a terminal
• 2025.may.13 Programming - C++: make std::queue thread-safe
• 2025.may.13 Programming - C++: dump a std::queue of std::string's
• 2025.may.13 Computer - Gnome: start applications when you login

More recent articles >