yellowflash
Joined 10 years ago
Karma
86
Submissions
39
Member since
Mar 10
Joined 10 years ago
Every abstraction is leaky, its not like I have 1 in every 100 tickets I work on needs understanding of the existence of filesystem buffers, it's in the back of my mind, it's always there. I didn't read linux kernel source, but I know it's existence. LLM output doesn't have that.
They all seem very hacky and not really reasoning. I wanted to see if there are alternative fundamental ways to think about reasoning as end by itself.
Currently co-founder/CTO at Quantman (algorithmic trading).
Interests: type systems, algorithmic information theory, category theory, the mathematical foundations of ML.