
𓈵
Reversible computing, and a puzzle
If you’ve seen my other posts, you probably already know that I am a sucker for good visual notations. Some of my favorites include circuitry for lambda calculus and Feynman diagrams.
So when I heard about a graphical...

𓅰
My Deconstruct talk: Programming Languages as Notations
Last April, I attended
GaryConfWATCONDeconstruct 2017, got to listen to some excellent speakers, and enjoyed the opportunity to give a talk of my own: Programming Languages as Notations. Here are the slides.When I...

𓍝
A circuitlike notation for lambda calculus
Lately, I’ve been playing around with inventing a visual writing system for lambda calculus.
Lambda calculus (λcalculus) is a sort of protofunctionalprogramming, originally invented by Alonzo Church while he was trying to solve the same problem that led...

𓀨
Schrödinger's deploys no more: how we update translations
Crossposted from the Khan Academy engineering blog: I posted about one of the problems that I worked on during my internship. Link here.

𓊯
Modeling Molecules with Recurrent Neural Networks
I enjoyed reading Andrej Karpathy’s The Unreasonable Effectiveness of Recurrent Neural Networks lately – it’s got some fascinating examples and some good explanations. I’ve been playing around with the charrnn code from that post, and I want to...

𓏟
Transliterating Tengwar
175#8j1T7F1Eb% 1b$y6E
Tengwar is a writing system invented by J.R.R. Tolkien for use by the elves of MiddleEarth. Lately, I’ve learned how to write...

𓆙
Onelined Python
Oneliner is a “compiler” that converts any Python file into a single line of code with the same functionality. Really, just one line! No newlines or semicolons allowed!
Take a look at the interactive demo to learn more...

𓀨
Quantum Mechanic
Play around with simulations of quantum circuits!
QuantumMechanic [currently down] simulates and displays quantum circuits using QuTiP, and outputs the behaviour of the resulting nqubit circuit as a 2^{n}by2^{n} unitary matrix. (Naturally, this means you’re not allowed to...

𓏟
A linguistics problem
I want to share this problem that I wrote, which was included in the 2014 North American Computational Linguistics Olympiad; it involves the Lontara writing system.

𓍝
Mathematical Insights in Computing (Junction 2014)
Problemsolving meets philosophy as we explore mindblowing ideas from the theoretical study of complex systems: computers, minds, and beyond.
The website for the course that I taught in Junction 2014 is here: it contains links to many of my...

𓅞
Lecturing at USABO
Here’s a link to some of the resources I created for students at this year’s USA Biology Olympiad training camp.
I first put up this page so that I could direct all of the students to one place...

𓁀
Fun with Time Travel: implementing retroactive data structures
For my final project in 6.851: Advanced Data Structures, I implemented algorithms for retroactive data structures using Python.
Retroactive data structures are data structures in which operations and queries are allowed to be made in the past,...

𓆤
Things Mimicking Other Things
Things Mimicking Other Things is an interactive exploration of animals, camoflage, and mimicry.
It uses Vivagraph.js to draw an interactive, draggable graph. Although the page is static, it is updated from basic data using a Python script whenever...

𓊝
Visual Traceroute: mapping packets
Traceroute is a tool for visually tracing packets through the Internet, from MIT’s servers to any website.
It uses
traceroute
to fetch IP addresses, maps those IP addresses to coordinates using ipinfo.io, and plots those coordinates with... 
𓊲
Carbonate: randomlygenerated practice problems for organic chemistry
Carbonate [currently down] creates interactive organic chemistry practice problems, both simple onestep quizzes or complicated multistep synthesis problems. It is intended as a tool to help organic chemistry students study.
The website uses the Django web framework to connect...
subscribe via RSS