If you see me delete something it's because im posting about the project on linkedin and i dont want irl ppl to find my accounts since im in the closet haha

Wrote a json parser from scratch utilizing nom (rust library)😗

They should invent a visual math editor application that is open source, can run offline, and exports to LaTeX

Im currently learning Haskell so i can solidify my understanding further and dip my foot into functional programming

And then finally im gonna start diving deeper into automated theorem proving 😈😈😈😈😈

crazy how not too long ago I probably couldnt understand what I wrote here (it's super simple obv)

I recommend "how to prove it" by daniel j velleman
And "infinate descent into pure mathematics" by clive newstead

After i read the chapters i needed they changed my pov and i understand math better😌

10 pages of lambda calculus feels like 10 years omg (not complaining but DAMN)

Tackle ARC Prize using Latent Program Network (LPN) without using LLM? for those out-of-distribution reasoning tasks!

Latent Program Network (LPN), a new architecture for inductive program synthesis that builds in test-time adaption by learning a latent space that can be used for search.

I hate when im researching something niche and the only code available for it is written by coked up google scientists

I would not be a good criminal because if the detective was being nice to me id immediately fold and tell him everything while sobbing my eyes out

Hey cutie do you wanna build a memory augmented neural network together

Seeking a Tolman-Eichenbaum machine implementation (that i can understand and work with easily)
made me wish i had majored in lesbian dance theory instead😭

I think this writer from 2001 may have accidentally discovered the modern long-short term memory for recurrent neural networks algorithm without realising it

I shall report back when i get to the neural networks part of the book (i saw a diagram), still in the biology section rn

The hippocampus is the clitoris of the brain

syncing my encrypted obsidian vault over a local network was surprisingly easy

It took me more time to download the needed software than actually doing it haha

Finally have some time to read some good computational neurology textbooks/papers

Im unbelievably stressing myself out for no reason

Im gunning super hard for a 96/100 semester average

When i could get a 75% semester average and i would still graduate with honors lmao

I still think the latent space is the greatest discovery/invention of mankind this century, we have barely begun to tap its potential or exploit entropy fully yet

I feel like studying computational neurology is making EVERYTHING make sense

How the hell has this field been buried this deep omg