Skip to content
View nibrivia's full-sized avatar

Organizations

@mit-cml @6004x

Block or report nibrivia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nibrivia/README.md

Hi there 👋

I am currently working at Column Tax.

Recurse Center

I recently finished a batch at the Recurse Center where I worked on:

  • Oak: a weirdly-typed programming language that breaks the fourth wall: what does it mean to have first-class types? first-class expressions? what even is evaluation, really? (writeup incoming!)
  • CO2 bot which checks the CO2 levels in the Recurse Center and messages out to the appropriate Zulip stream (Zulip stream ~== Slack channel)
  • stRs, a quickly hacked together live desktop background (and web app) that shows the relative position of the Earth, stars, and planets
  • Occasional, sporadic blogging
  • (re)learning a bunch of stacks I've used, but never taken the time to deeply understand (ahem, CSS)
  • doing a bunch of miscellaneous projects on public transit, baseball, electricity markets, and more...

Previously

I was a Senior Software Engineer at Brilliant.org where I made interactive web tools to teach learners STEM. I also made the tools to make interactives (Elm), the tools to make the tools (Vue, Django, Python, Typescript, CSS), the tools to make those tools (Python, bash, AWS, Heroku, GitHub Actions), as well as the training to go along.

Before I was at MIT, ostensibly doing grad school, but mostly teaching computer systems as a faculty-level instructor.

I once wrote a (very) fast packet-level datacenter network simulator in Rust. If you're interested in it, or want to know more of how it works, contact me!

I also spent a year as a data analyst at iCivics, a non-profit dedicated to teaching civics to millions of students every year. They're an awesome group of people putting together excellent materials, go check them out!

Pinned Loading

  1. rustasim rustasim Public

    High-performance packet-level distributed datacenter network simulator

    Rust 2

  2. rotorsim rotorsim Public

    RotorNet simulator

    Python

  3. helpq helpq Public

    R package for interacting with the 6.004 queue

    R

  4. luminifu luminifu Public

    A functional RBG display manager

    Haskell

  5. puzzle puzzle Public

    Solving a simple puzzle, written entirely on phone :p

    Python

  6. mwra-data mwra-data Public

    Boston covid-19 wastewater data from https://www.mwra.com/biobot/biobotdata.htm

    R 2 1