IRC channel logs

2023-02-18.log

back to list of logs

<EWEW>cwebber: augmenting the design doc you posted. I'm finding wingo's blog and actual implementations in https://git.savannah.gnu.org/cgit/guile.git/tree/module/language a good addition to wrap my head around his style of thinking.
<EWEW>related fun read: https://wingolog.org/archives/2020/06/03/a-baseline-compiler-for-guile
<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.
<dthompson>:)
<EWEW> https://www.gnu.org/software/guile/manual/html_node/Extending-the-Compiler.html i feel personally attacked by the first paragraph
<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
<EWEW>Let's just say it ate 8 hours of my day yesterday. I woke up today feeling like I have a hangover. I start to go through all of my browser tabs and I find myself reading through stuff like https://git.savannah.gnu.org/cgit/guile.git/tree/libguile/vm-engine.c?h=wip-tailify
<EWEW>definitely *roll status
<cwebber>being wingorolled is directly one of the key elements responsible for Spritely happening
<cwebber>that's how I learned about ocaps
<cwebber> https://wingolog.org/archives/2011/03/19/bart-and-lisa-hacker-edition
<cwebber>which linked to http://mumble.net/~jar/pubs/secureos/secureos.html
<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>"but what IS meaning?"
<EWEW>which of course gets even more complicated when multiple parties/entities are involved in "interpretation"