Part of the SD Times 100 2026 series. See the full SD Times 100 2026 list for every category and honoree. Software testing ...
Multiple threat actors are abusing the GitHub API to discover organizations’ repositories and members via ghost accounts.
A U.S. company has launched the first system to test hypersonic vehicle materials against real weather before flight at ...
Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for Lean 4 verification. Lean 4 is a proof-assistant and programming environment for machine-checkable proofs, and proof engineering ...
API Copilot - An AI assistant specifically tailored for backend API development. Applitools - A visual AI testing platform that compares UI screenshots across environments, using AI to detect ...
A curated list of AI-powered coding tools: editors, agents, code completion, review assistants, testing, and more. For developers, teams, and tech enthusiasts looking to leverage AI in software ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results