Estrella
estrella.astrallexicon.com
Estrella
@estrella.astrallexicon.com
bio fail laugh at this user

20++ SEA they/any

fake fan of math, cs, music, anime (sometimes), games (usually rhythm but some others too)
jj might be, as the kids these days say, 'tuff'
January 15, 2026 at 6:32 PM
it somewhat works... as in its fast enough to run before the heat death of the universe... do i write a nice input frontend for it...
trying to write a solver for that stupid (/affectionate) horse game

my current algorithm handles really simple puzzles but cant scale up to the daily ones. might try a different approach i feel scales better tomorrow
January 14, 2026 at 11:18 PM
doing my first recruiter call in over a year

enormous anxieties aside, it sickens me that i live in a system where my self worth is directly tied to how well i can impress random strangers who only get 10-30 minute views of my life

but what can you do sigh. wish me luck i suppose
January 12, 2026 at 6:24 PM
there's something that irks me about using the term 'build' to describe creating software

it reduces the whole process to that of creating a commodity, that of a tech influencer bragging about skills to climb their envisioned social ladder, instead of a community member showcasing a labor of love
January 10, 2026 at 9:44 PM
I have discovered a truly marvelous contribution to the current discourse, which this margin is too narrow to contain
January 9, 2026 at 10:54 AM
trying to write a solver for that stupid (/affectionate) horse game

my current algorithm handles really simple puzzles but cant scale up to the daily ones. might try a different approach i feel scales better tomorrow
January 9, 2026 at 12:37 AM
ok now i see why they did it that way.

but i dont want their end result, so i have to think about what i want to happen….
January 6, 2026 at 11:52 PM
writing a language is hard! send help
January 5, 2026 at 12:16 AM
TIL that Isabelle, Coq and Lean define 1/0 = 0 and it didnt cause the world to explode
December 28, 2025 at 12:54 AM
insert 2147483647th complaint about golang error handling

i mean so far it's being 'c but slightly more sane' but god do i miss some niceties from functional-land
December 23, 2025 at 10:12 PM
maimai prism in north american arcades has got to be closest we’ve gotten of showing modern technology to a victorian child
December 22, 2025 at 5:08 PM
i've been making a (fairly dumb) Thing and as of a few minutes ago i got it to Work!!!!

i'll hopefully polish it up and share it hehe
December 19, 2025 at 7:30 PM
register allocation jumpscare

thankfully the case im dealing with is very simple, i dont have to do any actual thinking (yet…)
December 18, 2025 at 10:59 PM
finally finished advent of code. i still have no idea how to do day 10 part 2 without something like an ILP solver so i went ahead and threw the first julia package i could find that could solve those lol (which was my first time trying the language!)

next year i try prolog...
December 16, 2025 at 7:39 PM
big if true!

hoping i can get back into making music once i get my current life situation sorted...
December 15, 2025 at 8:29 PM
audiophiles yapping about which iem eartips sounds the best meanwhile im just here trying to stop them from falling off the drivers...
December 13, 2025 at 9:10 PM
there should be some way to separate the idea of a procedure call that is not dependent on an external environment from a closure object, which must always be invoked in some environment
December 11, 2025 at 9:52 PM
and here's a linearithmic* solution for advent of code day 9

*i think. im not used to eyeballing haskell performance
December 9, 2025 at 7:01 PM
advent of code day 6 in uiua

the built-in array operations make the input processing much more fluid compared to my haskell solution...
December 6, 2025 at 10:05 PM
uiua is such an unserious language because what do you mean this symbol soup is actually maximum subrange sum code...
December 3, 2025 at 9:50 PM
need to keep going

feel like ive stagnated with where i am recently

and being inspired by others is telling me i can grow so much more
May 7, 2025 at 9:41 PM