cm0002@mander.xyz to Programming@programming.dev · 4 days agoCan gzip be a language model?nathan.rsexternal-linkmessage-square15fedilinkarrow-up189arrow-down12
arrow-up187arrow-down1external-linkCan gzip be a language model?nathan.rscm0002@mander.xyz to Programming@programming.dev · 4 days agomessage-square15fedilink
minus-squareultimate_worrier@lemmy.dbzer0.comlinkfedilinkarrow-up10·4 days agohttps://en.wikipedia.org/wiki/Curry–Howard_correspondence
https://en.wikipedia.org/wiki/Curry–Howard_correspondence