Stories by EvgeniyZh

Dependent Type Systems as Macros [pdf]

Miegakure Update End of 2019

Adventures in Dependently Typed Accounting

Groq Hardware Now Available on Nimbix Cloud

AI-2000 Most Influential Scholars – AMiner

My Top Deep RL Papers of 2019

A Masters Project

Universal Wait-Free Memory Reclamation

Linearity and Erasure in Idris 2 – Edwin Brady

Top quantum computing experiments of 2019 – The Startup – Medium

Condensed concepts: What was the greatest discovery of the past decade?

Researchers Exploit Quirk of Human Vision for Redirected Walking in VR (2018)

Nips vs. NeurIPS: Guest Post by Steven Pinker

Training Neural Networks in Record Time with the Hyperplane-16

OpenAI releases paper about its DoTA bot

How RL Works

COBOLday 2020 __ Welcome

Forget Homomorphic Encryption, Here Comes Functional Encryption

ML Contests

Eric Jang: Differentiabe Path Tracing on the GPU/TPU

25
26
27
28
29
30
31
32
33
34