betaveros's site

Introduction

Hi! I'm Brian, most common online handle betaveros. I like programming and designing user interfaces, as well as puzzles.

About Me

As of summer 2020, I just finished a Masters of Engineering at MIT in computational music. Previously, I graduated from MIT (undergrad) with a double major in mathematics and computer science in 2019, and spent that summer and the one before it interning at MemSQL.

I have many other interests. Computers-wise, they include cybersecurity, functional programming, and programming language design. Math-wise, I enjoy complexity theory and combinatorics. I have also been known to sing/rap/play instruments inside or outside the shower, and graphic design is, as they say, my passion.

Personal Links

Things I've made:

bcodex: a command-line utility in Haskell (as well as tiny JS app) for flexibly converting between puzzlehunt/CTF-y “encodings”. 4861707079 cHV6emxpbmc=!
paradoc: a stack-based programming language that can be golfed or written “literately”. Let's solve a small Google Code Jam problem solution with 22 bytes: vo"Case #%: "oJ{S$p}^P
See more projects...

Tech I've been involved with:

Mavo, a tool for creating web applications using only HTML and CSS; I implemented server-side rendering.
MemSQL: I worked on MemSQL Studio, a visual interface for managing clusters. In particular, I co-created and blogged about Visual Explain, a visualizer of the operations used to perform database queries.
See more tech experience...

Groups I'm part of:

6.004, MIT's "Computation Structures": I was a lab assistant for the 2018–2019 school year and am now a teaching assistant.
SIPB, MIT's (oldest) student computing group. We run many services, like scripts.mit.edu, which is currently serving this website.
ESP, a student group that runs educational programs for middle- and high-school students. I've worked a lot on the open-source ESP website, a custom Django site we manage our programs with.
Galactic Puzzle Hunt, an annual puzzle event held by ✈✈✈ Galactic Trendsetters ✈✈✈ since 2017.
See more groups...

Puzzles I've written:

If you aren't familiar with puzzlehunt puzzles, I also wrote a fairly comprehensive Introduction to Puzzlehunts.

Unsafe (2019 GPH, with Jakob Weisblat): A text adventure.
The Answer to This Puzzle Is... (2018 GPH, with many other members of Galactic): A puzzle in a single sentence. Or is it?
Puzzle of the Day (2017 GPH): The first, easiest puzzle of the first GPH.
A Puzzle Consisting Entirely of Random Anagrams (2015 MIT Mystery Hunt): As described. Possibly my first externally published puzzle; I'm still fairly proud of it.
See more puzzles...

More about me:

I also like Vim, RSS, sushi, fish (shell), Pentatonix, Ace Attorney, and lots more things.

Through my elementary to high school years, I lived on a small East Asia island whose political status is complicated enough to get its own Wikipedia article.

In my spare time, I improve my mostly irrelevant FAQ; randomly link to TVTropes in order to enhance others' lives; insert hyperbole into literally every sentence; politely encourage people to use dashes instead of hyphens when appropriate; and fly my dragon companion.

Links of Whenever

I have a large collection of links. Here is a sample that is updated when I feel like it.

beta.vero.site