IRC channel logs
2023-02-18.log
back to list of logs
<dthompson>wingo's blog is a treasure trove of great compiler stuff <EWEW>it is, I have to peel myself away. I'm already too many articles deep. <jfred>LATEL certainly looks like a practical language ;P <pinoaffe>jfred: yup, I'm working on translating (part of) Wittgenstein's Tractatus Logico-Philosophicus into Latel :) <cwebber>seconding dthompson. I once linked a friend to wingolog.org and they accused me of "wingorolling" them two hours of them rabbitholing them later <cwebber>wingo: you've achieved *roll status and you may not have known <cwebber>being wingorolled is directly one of the key elements responsible for Spritely happening <EWEW>For me the next most recent re-entry into all of these inter-related problems was stumbling upon http://prize.hutter1.net/ and spending too much time on it. All of a sudden I find myself buried in a pile of philosophy of language books. <EWEW>which of course gets even more complicated when multiple parties/entities are involved in "interpretation"