espeed 的提交内容

Julia and MIT Reveal Differentiable Programming System Bridging AI and Science

Times Tables, Mandelbrot and the Heart of Mathematics [video]

MIT Fellow Says Facebook ‘Lifted’ His Ideas for Libra Cryptocurrency

Polyscope: a C++ viewer and UI for the rapid prototyping of geometric algorithms

RealTalk (Pt. II): How We Recreated Joe Rogan’s Voice Using AI

GeoGig: A tool for geospatial data management

Google: Protecting election information from digital attacks

Mapwith.ai

Differentiable Programming for Image Processing and Deep Learning in Halide

The V Programming Language: Vain or Virtuous?

What Is the Portal? [audio]

Quantum interference enables constant-time quantum information processing

The Legion Parallel Programming System

WASM Builds of the Z3 SMT Solver

Historic Apollo 11 Moonwalk Footage (Live NASA Television Replay) [video]

Arrow of time and its reversal on the IBM quantum computer

Fixed It for You: Protocol Repair Using Lineage Graphs [pdf]

Frontier: ORNL's 2021 exascale supercomputer will run on AMD CPUs and GPUs

Starting with Semantics [video]

Synthesis and Verification for All – Emina Torlak, Clojure West [video]