Technology ❯ Computer Science

Algorithms

Optimization Data Structures Graph Theory Optimization Techniques Computational Complexity Data Processing Optimization Algorithms Computational Efficiency Mathematics Optimization Problems

Sir Tony Hoare, Inventor of Quicksort and Pioneer of Hoare Logic, Dies at 92

Colleagues recount a career across industry, academia, Microsoft Research with lasting influence on concurrency and software correctness.

XPENG–Peking University’s FastDriveVLA Accepted at AAAI 2026, Cutting VLA Compute Nearly 7.5x

Penn and Michigan Unveil Microrobots That Compute, Sense and Swim at Sub-Millimeter Scale

Two New RAG Preprints Propose Theme-Aligned Hypergraphs and Hierarchical Agents

Researchers Introduce BoolSkeleton to Skeletonize Boolean Networks

Signal Says Its Messaging Protocol Is Now Fully Quantum-Resistant

Tsinghua Team Claims New SSSP Algorithm Breaks Dijkstra Bound

Human Programmer Edges Out OpenAI Model by 9.5% in AtCoder Finals

Meta Unveils V-JEPA2 to Power Predictive Robotics in New Environments

DeepMind Unveils AlphaEvolve, an AI That Redefines Algorithm Discovery

Researchers Develop Star-Based Navigation System for Drones in GPS-Denied Environments

Astronomical Techniques Unveil New Method to Detect AI Deepfakes

Avi Wigderson Wins 2023 Turing Award for Groundbreaking Work in Computation Theory