frwrfwrfeefwf

anteontemdiscuss

you understand. It's also endlessly funny to me it requires anonymous accounts to speak the truth about programming languages.

frwrfwrfeefwf

anteontemdiscuss

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 so that you can have both the performance and expressiveness.

frwrfwrfeefwf

anteontemdiscuss

>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 rest of the code + able to call into it and build off it.

A type system is paired with a language, not a global property. You can have language L1 with typesystem T1 compile into (L2,T2), etc. These typesystems can be domain specific and arbitrary as well.

After reading your posts I recommend you go ahead and learn common lisp macros, it will be more informative than more discussion.

frwrfwrfeefwf

há 3 diasdiscuss

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 like rust would be a huge project but it doesn't get easier than macros, see Coalton, and they compose with one another. When you run into the same requirements in another language you are simply stuck source pre-processing. There is no stuck in lisp.

frwrfwrfeefwf

há 3 diasdiscuss

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 DSL -> Lisp, not lower it into machine code. The DSL's compose perfectly as well, lower one to another or combination of them + lisp.

frwrfwrfeefwf

há 3 diasdiscuss

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 collections of procedures and objects which is far more cognitive load. If you need to judge multiple levels of abstraction while using the DSL then the DSL is the wrong fit for the problem. There is no 'evaluative indirection' because a macro is a _compiler_ and the underlying code can be extremely alien to the DSL semantics.

Any argument against macros must be levelled against compilers in general, as _they are the same thing_. Rust is compiler as a safety mechanism, not different from macros as a safety mechanism.

frwrfwrfeefwf

há 3 diasdiscuss

cute but you don't get lisp yet.

frwrfwrfeefwf

há 3 diasdiscuss

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.

frwrfwrfeefwf

há 3 diasdiscuss

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.

frwrfwrfeefwf

há 3 diasdiscuss

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.

frwrfwrfeefwf

há 3 diasdiscuss

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 reach the 'lisp enlightenment', so the decades of beating this drum falls on deaf ears. AI is here now so it's time to let it all go.

frwrfwrfeefwf

há 4 diasdiscuss

to put it politely it's demographic changes

frwrfwrfeefwf

há 23 diasdiscuss

hallucinations are often good ideas for things that should exist, missing functions or libraries

frwrfwrfeefwf

há 24 diasdiscuss

this is very interesting, could you talk about your setup or is there a writeup somewhere?

frwrfwrfeefwf

há 25 diasdiscuss

people don't get this

frwrfwrfeefwf

mês passadodiscuss

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

frwrfwrfeefwf

mês passadodiscuss

the ai writes the software, i don't

frwrfwrfeefwf

mês passadodiscuss

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 -- Rob Burbea
  Dependent Origination and Emptiness -- Leah Brasington

Mystic/Orthodox Christianity:

  The Ascetical Homilies of Saint Isaac the Syrian -- St Isaac around 700AD  (one of the best Christian mystics (IMO the best))
  The Complete Mystical Works Of Meister Eckhart -- Dominicon preacher around 1300AD
  The Philokalia -- various authors but St Maximos and Kallistos Angelikoudos are great
  The Mirror of Simple Souls -- Porette around 1300AD as well

Gnostic / Neo-Platonists:

  The Gospel Of Thomas -- The Apocryphal Gospels
  Plato's allegory of the cave (you'll get what he really meant after you have the awakening)
  The Enneads -- Plotinus

If you keep searching you'll discover more over time, they come from different regions, cultures and centuries but all tell the same story. They say Sufi's have some good ones too but I stick to Christian works now days.

frwrfwrfeefwf

mês passadodiscuss

they'll embed it in the weights so it can't be jailbroken

frwrfwrfeefwf

mês passadodiscuss

these little dsl's convey so much

comments