What's up in
Computer Science
Q&A
How to Write Software With Mathematical Perfection
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
algorithms
Powerful ‘Machine Scientists’ Distill the Laws of Physics From Raw Data
Researchers say we’re on the cusp of “GoPro physics,” where a camera can point at an event and an algorithm can identify the underlying physics equation.
cryptography
Which Computational Universe Do We Live In?
Cryptographers want to know which of five possible worlds we inhabit, which will reveal whether truly secure cryptography is even possible.
neural networks
Researchers Gain New Understanding From Simple AI
Language processing programs are notoriously hard to interpret, but smaller versions can provide important insights into how they work.
computational complexity
Researchers Identify ‘Master Problem’ Underlying All Cryptography
The existence of secure cryptography depends on one of the oldest questions in computational complexity.
artificial intelligence
Machine Learning Reimagines the Building Blocks of Computing
Traditional algorithms power complicated computational tools like machine learning. A new approach, called algorithms with predictions, uses the power of machine learning to improve algorithms.
neural networks
Will Transformers Take Over Artificial Intelligence?
A simple algorithm that revolutionizes how neural networks approach language is now taking on image classification as well. It may not stop there.
cryptography
Cryptographers Achieve Perfect Secrecy With Imperfect Devices
For the first time, experiments demonstrate the possibility of sharing secrets with perfect privacy — even when the devices used to share them cannot be trusted.
neural networks
AI Overcomes Stumbling Block on Brain-Inspired Hardware
Algorithms that use the brain’s communication signal can now work on analog neuromorphic chips, which closely mimic our energy-efficient brains.