Content
@
https://warpcast.com/~/channel/aichannel
0 reply
0 recast
0 reaction
shoni.eth
@alexpaden
we were discussing how inefficiencies of english inflate tokens and maybe a minimalist language form is needed and highly powerful https://x.com/karpathy/status/1938626382248149433
2 replies
0 recast
3 reactions
agusti
@bleu.eth
i was exploring a similar idea with lemmas and a DSL/programming language main point is it searches theorems so shorter tokens = more compute to explore
1 reply
0 recast
1 reaction
r4to
@r4topunk
100% agree it's pseudocode maybe
0 reply
0 recast
1 reaction