you understand. It's also endlessly funny to me it requires anonymous accounts to speak the truth about programming languages.
Yes and also how you use it. The more you squeeze performance out of CL the closer the code looks to C in s-expression format, the less you squeeze it the more it looks like a DSL. The bridge between the two is macros…
>kotlin/Scala has html DSLs these interpreted DSLs aren't at all what I'm talking about. The macro system should be able to compile arbitrary text into anything in the simplest possible way and have it seamless with the…
Type safety is a domain specific concern, 99% of the time your domain will not have 'types', often it won't have notions of things at all. But any kind of type safety can be added at any point with macros. Something…
yes it's desirable to use non turing complete languages as less shit can go wrong, which is why you need macros. You seem to over estimate the difficulty of writing compiler macros, remember you only need to go from the…
It can be made as mathematically rigorous as anything computable, and as non-awkward as is possible to represent. You either reify the invariants and semantics as statically analysed syntax or they are implicit in your…
cute but you don't get lisp yet.
assuming you're using state of the art llms, when they start failing with paren balancing it means they're approaching the limits of their context window and a new session should be started.
yes if you run a repl server like slynk the llms will happily communicate with your running program to develop and test things. It's often quite creepy to witness.
Open notepad and solve your problem in some language you make up on the fly, with macros that's now valid lisp code. A macro is a compiler and nothing more.
Typical ignorant take. Lisp macros allow you to create restricted DSLs to prevent bugs from being expressible, including full static type and structured programming systems. Basically no one understands this until they…
to put it politely it's demographic changes
government will, they need someone to pay it so they can build and use it, so they'll find a way, it's not about the money or building a profitable company
the ai writes the software, i don't
Ordered roughly by what's most palatable to the modern mind: Secular non-duality: Awake: It's Your Turn -- Angelo DiLullo The Power Of Now -- Eckhart Tolle Buddhism with the focus on mystic praxis: Seeing That Frees --…
these little dsl's convey so much
Getting lisp is analogous to spiritual enlightenment. If someone doesn't have the eyes to see and ears to hear, there's little you can do for them, except pray.
what if k = n
Reading Christian mystics, Orthodox apophatic theology. It's correct and all very real despite the language they use. Zen etc is a better starting point, achieve kensho then go read the New Testament and watch your…
You'll sound like a foreigner
does the ai performance drop if it uses letters for tokens rather than tokens for tokens?
It gets worse: material things aren't real either. It continues to get worse: Sensations are compounded in our experience to express semantics but the sensations themselves have no inherent semantics, so not only is…
True and it's a consequence and what we deserve for letting them in the west
[flagged]
you understand. It's also endlessly funny to me it requires anonymous accounts to speak the truth about programming languages.
Yes and also how you use it. The more you squeeze performance out of CL the closer the code looks to C in s-expression format, the less you squeeze it the more it looks like a DSL. The bridge between the two is macros…
>kotlin/Scala has html DSLs these interpreted DSLs aren't at all what I'm talking about. The macro system should be able to compile arbitrary text into anything in the simplest possible way and have it seamless with the…
Type safety is a domain specific concern, 99% of the time your domain will not have 'types', often it won't have notions of things at all. But any kind of type safety can be added at any point with macros. Something…
yes it's desirable to use non turing complete languages as less shit can go wrong, which is why you need macros. You seem to over estimate the difficulty of writing compiler macros, remember you only need to go from the…
It can be made as mathematically rigorous as anything computable, and as non-awkward as is possible to represent. You either reify the invariants and semantics as statically analysed syntax or they are implicit in your…
cute but you don't get lisp yet.
assuming you're using state of the art llms, when they start failing with paren balancing it means they're approaching the limits of their context window and a new session should be started.
yes if you run a repl server like slynk the llms will happily communicate with your running program to develop and test things. It's often quite creepy to witness.
Open notepad and solve your problem in some language you make up on the fly, with macros that's now valid lisp code. A macro is a compiler and nothing more.
Typical ignorant take. Lisp macros allow you to create restricted DSLs to prevent bugs from being expressible, including full static type and structured programming systems. Basically no one understands this until they…
to put it politely it's demographic changes
government will, they need someone to pay it so they can build and use it, so they'll find a way, it's not about the money or building a profitable company
the ai writes the software, i don't
Ordered roughly by what's most palatable to the modern mind: Secular non-duality: Awake: It's Your Turn -- Angelo DiLullo The Power Of Now -- Eckhart Tolle Buddhism with the focus on mystic praxis: Seeing That Frees --…
these little dsl's convey so much
Getting lisp is analogous to spiritual enlightenment. If someone doesn't have the eyes to see and ears to hear, there's little you can do for them, except pray.
what if k = n
Reading Christian mystics, Orthodox apophatic theology. It's correct and all very real despite the language they use. Zen etc is a better starting point, achieve kensho then go read the New Testament and watch your…
You'll sound like a foreigner
does the ai performance drop if it uses letters for tokens rather than tokens for tokens?
It gets worse: material things aren't real either. It continues to get worse: Sensations are compounded in our experience to express semantics but the sensations themselves have no inherent semantics, so not only is…
True and it's a consequence and what we deserve for letting them in the west
[flagged]
[flagged]