Former DeepMind scientists raise $5 million for Hiverge, a startup developing AI to improve code.

Martino’s first steps in research were firmly rooted in psychology. As an undergraduate, she studied mindset theory and ...

Static program analysis is a cornerstone in verifying, optimising, and debugging modern software systems. By evaluating code without executing it, these techniques enable early detection of defects, ...

[Kory] has been experimenting with genetic algorithms. Normally we’d expect his experiments to deal with tuning the variables in a control system or something, but he’s doing something much cooler.