beta.vero.site Open in urlscan Pro
2a06:98c1:3121::3  Public Scan

Submitted URL: http://beta.vero.site/
Effective URL: https://beta.vero.site/
Submission: On February 29 via api from US — Scanned from NL

Form analysis 0 forms found in the DOM

Text Content

BETA.VERO.SITE

βετα.vero.site
obviously, a held item you can use to Mega Evolve into a betaveros.


Hi! I'm Brian. Many people know me online as betaveros.

I'm currently (winter 2023) doing interpretability research at Anthropic (check
out our newest paper, Towards Monosemancity!). Previously (2020–2022) I was
building end-to-end encryption at Zoom — see our ASIACRYPT 2022 paper, Rotatable
Zero Knowledge Sets; before that, I did a Masters of Engineering in
computational music at MIT (2020).

I also love solving and writing puzzlehunt puzzles. I ran the 2023 Galactic
Puzzle Hunt with ✈✈✈ Galactic Trendsetters ✈✈✈.

More broadly, my interests include information security, web development, UI
design, and programming language theory/design/perversity; as well as singing,
mystery visual novels, and dragons. 🐉


PERSONAL LINKS

 * About
 * Résumé (PDF)
 * Contact me
 * Blog
 * Puzzles
 * Links
 * FAQ
 * ???
 * 
 * 
 * 
 * 
 * 


PROJECTS AND CREATIONS

 * noulith, a functional-ish programming language with too much syntax sugar,
   likely best known for the fact that I topped the Advent of Code 2022
   leaderboard with it — here are my solutions
 * gph-site and Puzzlord, Django apps for running and writing puzzlehunts,
   respectively; Puzzlord was built from scratch for the 2021 Mystery Hunt
 * DP Puzzle Hunt, a puzzlehunt targeting beginners. All the puzzles are still
   solvable online, check them out!
 * and more…


BLOG HIGHLIGHTS

Some combination of popular and personal favorites:

 * Designing a Programming Language to Speedrun Advent of Code (2023)
 * Introduction to Code Golf and Golflangs (2022)
 * Interpreting Some Toy Neural Networks (2022)
 * Just Enough Elliptic Curves to Be Dangerous (2021)
 * Blogging Advice For People Exactly Like Me (2021)
 * Advent of Code: How to Leaderboard (2020)
 * C++ Rvalue References: The Unnecessarily Detailed Guide (2020)
 * Olympiads: The Infinitely Overdue Retrospective (2019)


ART

art by Trevor Fox

powered by scripts.mit.edu, Jekyll, Pure.css, and more

opinions are mine and not of any employer, past or present