's Avatar

@betaveros

be kind; everyone you meet is fighting a hard battle. puzzler, front-end-ish programmer, part-time dragon interpretability @ anthropic (opinions are my own) he/him https://beta.vero.site/ (challenge: find my alt)

68
Followers
31
Following
9
Posts
15.11.2024
Joined
Posts Following

Latest posts by @betaveros

Preview
Galactic Puzzle Hunt 2025 Piece together what's happening in the world around you. Register now!

You are Gaia, a newly-formed nature spirit, and you’ve been tasked with guiding the planet’s life. But you feel chaos approaching—can you piece together what’s happening?

2025.galacticpuzzlehunt.com

09.06.2025 02:24 👍 13 🔁 5 💬 7 📌 1
Preview
User-created public and private Lists to curate user experience as well as help build community · Issue #1056 · bluesky-social/social-app Is your feature request related to a problem? Please describe. As Bluesky grows and especially when it goes public, many of us will likely be following more users. The more users we follow, the mor...

I've also been hoping for this for a while! Here's the GitHub issue if you want to follow along: github.com/bluesky-soci...

21.02.2025 07:48 👍 0 🔁 0 💬 0 📌 0

There's a lot of truth to this but there also still definitely are forms of social media where the paragraph is alive and well, they just take a bit more effort to find and get into

01.01.2025 01:53 👍 1 🔁 0 💬 0 📌 0
Preview
HTML for People HTML isn't only for people working in the tech field. It's for everyone. Learn how to make a website from scratch in this beginner friendly web book.

I've seen htmlforpeople.com go around, maybe useful. My default more comprehensive rec is developer.mozilla.org/en-US/docs/L... . If tutorials don't work for you, sometimes it's just use your browser's DOM inspector to see how a site you like did it. (I'm happy to answer random questions sometimes)

29.12.2024 03:58 👍 1 🔁 0 💬 0 📌 0
Preview
The (real) systematic name of titin | Infinite Ascent it’s longer than everyone else thinks

Absurd rabbit hole we went down while writing Galactic Puzzle Hunt this year: a 189,819-letter word widely claimed to be the systematic name of the protein titin, and thus the longest English word, is totally wrong. @cjquines.com went super in depth so I don't have to: blog.cjquines.com/post/titin

16.12.2024 05:48 👍 6 🔁 2 💬 0 📌 0

👋

14.12.2024 04:24 👍 1 🔁 0 💬 1 📌 0

(1) Not really, I'm pretty tuned out of the leaderboard in general; I just don't think I'd get as much out of it as other ways I could be doing AoC or other things I could be doing now. (I have successfully continued solving the puzzles up to today in J)
(2) No promises but I'll consider it!

05.12.2024 08:56 👍 2 🔁 0 💬 1 📌 0
Screenshot of J window demonstrating different parses of "a b c". Transcript:
   a =: 3
   b =: %:    NB. square root or nth root
   c =: 64
   a b c      NB. third root of 64
4
   a =: <:    NB. decrement or less-than-or-equal-to
   a b c      NB. decrement of square root of 64
7
   c =: >:    NB. increment
   a b c      NB. a fork...
a b c
   (a b c) 3  NB. (decrement of 3)th root of (increment of 3)
2
   b =: /     NB. "insert" (reduce)
   c =: 100 200
   a b c      NB. 100 less-than-or-equal-to 200
1

Screenshot of J window demonstrating different parses of "a b c". Transcript: a =: 3 b =: %: NB. square root or nth root c =: 64 a b c NB. third root of 64 4 a =: <: NB. decrement or less-than-or-equal-to a b c NB. decrement of square root of 64 7 c =: >: NB. increment a b c NB. a fork... a b c (a b c) 3 NB. (decrement of 3)th root of (increment of 3) 2 b =: / NB. "insert" (reduce) c =: 100 200 a b c NB. 100 less-than-or-equal-to 200 1

Top of mind right now, J sort of... doesn't have the concept of parsing code before executing it? You cannot tell what the syntax tree of an expression like "a b c" is (to the extent "syntax tree" is a meaningful concept in J) until you know what a, b, and c actually are.

03.12.2024 03:09 👍 1 🔁 0 💬 0 📌 0

I did two days of Advent of Code in J. This language is way crazier than I ever gave it credit for

02.12.2024 09:25 👍 1 🔁 0 💬 1 📌 0

Not planning to post a lot yet — I feel like I've always been a poor fit for shortform social media, more likely to put energy into my blogs again instead — but there's some chance I'll actually try to see how much of all those "how to use Twitter correctly" guides I can apply

25.11.2024 09:08 👍 2 🔁 0 💬 0 📌 0