CEO/Founder of SImulacra Research Inc.
Repositories
TakeOver/matrix-subspace-trivial-quadratic-kernels
Lean 4 formalization of trivial quadratic kernels forcing invertibility over algebraically closed and real closed fields
TakeOver/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
TakeOver/Gradient-Boosting-Performs-Gaussian-Process-Inference
ICLR 2023
TakeOver/catboost
A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports computation on CPU and GPU.
TakeOver/denoising-diffusion-pytorch
Implementation of Denoising Diffusion Probabilistic Model in Pytorch
TakeOver/node
Neural Oblivious Decision Ensembles for Deep Learning on Tabular Data
TakeOver/v97
Proceedings of ICML 2019
TakeOver/dl-info-theory
TakeOver/bring
TakeOver/dotfiles
TakeOver/TestNewsAggregator
TakeOver/Kaggle-Ensemble-Guide
Code for the Kaggle Ensembling Guide Article on MLWave
TakeOver/yet-another-useless-scripting-language-with-javascript-like-syntax-and-non-optimized-virtual-machine
yet another useless lang
TakeOver/yet-another-try-to-make-useless-programming-language
maybe functional with strong static type system and possibly with dynamic compilation.
TakeOver/Z
attempt to implement homoiconic language with non-lisp syntax - FAILED :)
TakeOver/shell
Homework, 2nd course, first module
TakeOver/New_awesome_useless_programming_lang_with_static_type_system
Wow @ Much functional @ Such useless
TakeOver/useless-neuronets
My ugly code. Attempts to understand neuroinformatics.
TakeOver/Xiangqi
Chinese Chess. Homework 1 course of MSU CMC. 2013-2014.
TakeOver/useless-lisp
useless-lisp