TIL that Isabelle, Coq and Lean define 1/0 = 0 and it didnt cause the world to explode

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

maimai prism in north american arcades has got to be closest we’ve gotten of showing modern technology to a victorian child

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

register allocation jumpscare

thankfully the case im dealing with is very simple, i dont have to do any actual thinking (yet…)

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...

big if true!

hoping i can get back into making music once i get my current life situation sorted...

audiophiles yapping about which iem eartips sounds the best meanwhile im just here trying to stop them from falling off the drivers...

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

and here's a linearithmic* solution for advent of code day 9

*i think. im not used to eyeballing haskell performance

advent of code day 6 in uiua

the built-in array operations make the input processing much more fluid compared to my haskell solution...

uiua is such an unserious language because what do you mean this symbol soup is actually maximum subrange sum code...

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