Sri Pranav Kunda

I'm Sri Pranav, a first-year mathematics student at UC Davis. I enjoy studying the applications of mathematics in computer science. If you're an employer, here's my resume.
GitHub | LinkedIn | Email

Writing

Here are some posts that I’ve written for fun or to strengthen my knowledge. Check them out, hopefully they are useful to you.

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.


My Projects

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

Candl

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

Accent.js

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

Craytracer

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

Proximity Eyes

A prototype for a system that tracks relative positions of vehicles and pedestrians on the road using exclusively smartphone-available technology.

Feedbump

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