Submissions by alokrai

Deep Learning for Symbolic Mathematics

Micro: A modern and intuitive terminal-based text editor

AbstractAlgebra: Computer algebra package for Julia language

Open Source Python Game Agent Framework

MassCode: A free and open source code snippets manager for developers

An ultra-simplified example of a modern compiler written in JavaScript

PyTorch3D: An open-source library for 3D deep learning

Harry Potter and the Methods of Rationality

When Dinosaurs Roamed Antarctica

Workers’ Comp Benefits: How Much Is a Limb Worth?

Chinese Scientists Try to Cure One Man's HIV with Crispr

Verifpal – new software for verifying the security of cryptographic protocols

Biohackers are pirating a cheap version of a million-dollar gene therapy

Gene-edited cattle have a major screwup in their DNA

Physicists Find a Way to See the ‘Grin’ of Quantum Gravity

Artificial Intelligence: Foundations of Computational Agents, 2nd Edition

We Can’t Waste a Drop.’ India Is Running Out of Water

Trump Eyes a New Real-Estate Purchase: Greenland

Post-Startup Life: Reflecting on My First 18 Months Living in Denver

Computation Structures

The Structure and Interpretation of the Computer Science Curriculum [pdf]

Owl – OCaml Scientific Computing

Caltech Mourns the Passing of Murray Gell-Mann (1929–2019)

Learn You Some Erlang for Great Good

The Essence of ML Type Inference [pdf]