程序员使用的交友软件主要有以下几种：
牵手
牵手是一款技术在线且走心的恋爱软件，用户基本是985/211名校毕业，颜值高学历好的都来了。该软件有严格的机制审核和照片认证，确保用户真实性，是一个相对较为纯净的交友平台。
Forrest
Forrest是为开发人员和设计师提供的一个新兴社区，可以分享代码、截图和链接，启发灵感。这个社区以邀请方式注册，用户可以在这里获得专业的代码建议，并与其他开发者交流。
GitHub
GitHub是全球最大的代码托管平台之一，在开源社区和编程界非常受欢迎。虽然它主要是一个代码托管工具，但许多编程爱好者在GitHub上建立群组，进行代码评审、讨论和合作。
Stack Overflow
Stack Overflow是一个面向程序员的问答网站，用户可以在这里提问、回答问题，并与其他开发者交流。虽然它不是一个专门的交友软件，但它是程序员获取帮助和建立联系的重要平台。
Slack
Slack是一款广泛使用的团队协作工具，可以用于编程团队的即时通讯、项目管理和文件分享。它提供了丰富的集成功能，可以与其他开发工具（如GitHub、Jira等）进行无缝集成，方便开发者之间的合作和信息交流。
Microsoft Teams
Microsoft Teams是微软推出的一款企业级沟通和协作工具，提供了类似于Slack的即时通讯、文件共享、项目管理等功能。它与其他微软产品（如Office 365、Azure等）有良好的集成性，适用于开发者在微软生态系统中的工作。
Discord
Discord是一款专注于游戏社交的应用程序，在游戏开发领域具有一定的影响力。它提供了语音、视频和文字通讯的功能，方便编程团队进行实时的交流和协作。许多编程社区在Discord上建立了自己的服务器，用户可以加入这些服务器与其他编程爱好者交流学习。
Telegram
Telegram是一款功能强大的即时通讯软件，支持文本、语音和视频聊天。它提供了许多编程相关的群组和频道，可以获取编程资源、学习经验和解决问题。
WhatsApp是一款广泛使用的手机聊天应用程序，支持文本、语音和视频聊天。虽然它主要用于个人通讯，但也有一些编程相关的群组和频道，用户可以加入这些群组与其他编程爱好者交流和学习。
QQ 和 微信
一些程序员也会使用QQ和微信等即时通讯软件，通过建立程序员群组来讨论技术、生活和爱情。
这些软件各有特点，程序员可以根据自己的需求和习惯选择合适的工具进行交流和建立联系。