Sri Pranav Kunda

I am interested in machine learning, graphics programming, and theoretical computer science. If you're an employer, please take a look at my resume.
GitHub | Email | Ko-Fi

Projects

Here are some projects I've worked on. Most of them are open sourced and can be found on my github.

Webani

A WebGL library for creating interactive 2D/3D applications and animations with TypeScript. Supports PBR and other advanced rendering techniques.

NeuralInt

A novel method of using transformers to learn the integral of sparse functional data for use in imputation and dimensionality reduction.

Candl

A tiny, pedagogical neural network library with a pytorch-like API and tensor-valued autodiff.

Craytracer

A ray tracing engine built from scratch in the Code.org JS environment, in part to demonstrate the versatility of the platform.

Accent.js

An open source JavaScript framework made in less than 10kb. Supports SPAs and state-based rendering.

Feedbump

A tool for businesses to give and receive feedback from their customers, used by ~100 businesses to collect and manage their customer feedback.


Writing

I sometimes use writing as a means of sharing interesting explanations of concepts or to simply document my own learning.

Intro Stone Duality Notes

Some proofs for the theorems in Prof. Alexander Kurz's notes introducing Stone Duality.

Understanding Neural Networks

A comprehensive article about neural networks and how they work (mathematically), complete with an implementation of neural nets in Python.

Why Taylor Series Work

A description of how Taylor series so accurately approximate functions. A proof of Taylor's theorem is presented through a set of guiding exercises.

Cauchy's Mean Value Theorem

The proof of Cauchy's mean value theorem presented through a set of guiding exercises. The post is written with calculus students in mind.

The Irrationality of Pi

A presentation of the proof that $\pi$ is irrational using techniques familiar to calculus students, with a formal introduction to rational/irrational numbers.

Decentralized Apps & Blockchain

An introduction to decentralized applications (dApps) and blockchain technology, with emphasis on the technical details of dApp platforms.


Interesting Resources

Here are some resources or software which I would recommend.

Little Man Computer

A visualization of assembly language instructions on a basic Von-Neumann Computer.

d2l.ai

An excellent resource (textbook) for learning about neural networks.

TikZiT

A GUI editor for TikZ graphs and diagrams.

Quiver

A modern commutative diagram editor with support for exporting as LaTeX, link.

Measure, Integration & Real Analysis

A free and well-written graduate analysis text written by Sheldon Axler, whose (not free) Linear Algebra textbook is also highly regarded.