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
Effective URL: https://beta.vero.site/
Submission: On February 29 via api from US — Scanned from NL
Form analysis
0 forms found in the DOMText 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