Mind explaining what’s going on there ? Is passkey created in CLI and imported in browser ?

I’m not sure if people are unable to or have no practical experience. I would argue that most people thought that declarative view derivation from state was crazy until it became mainstream with react.

I think we need both. LLMs are like JIT but they need clear input and instruction set to work with. That is to say we need cooperating system™️ they can inhibit which requires system language

I'm inclined to think logic programming languages provide fertile ground - you describe outcomes & constraints without telling how to get there

That is also a reason of my obsession with datalog & www.neilconway.org/docs/dedalus... extension to allow expressing distributed system behaviors

Imperfect analogy, but deterministic builds are still not an industry norm so in some sense outputs aren't completely deterministic yet predictable

This is a stretching it but in some sense hypothetical language can make LLMS into compilers produce non-deterministic code with predictable behavior

Another analogy I’ll make is how say when one write in JS they don’t think about what machine instructions VM generates or how it manages memory necessarily. I think same applies we need different language for modeling problems that LLM can take and generate instructions almost like JIT

I think acornprover.org is a good example in this direction where how LLM came to prove is not important because expectations are well defined and so are capabilities. However this is very narrow use case and I think we need something like that but more general purpose

I am also inclined to think algebraic effects are part of this equation as a way to narrow down possibility spac and definition constraints more clearly

My working hypothesis is that we need higher level language for domain modeling, one that is more like spec defining expectations and helps you just like type system help you think about all possible states and relations across component.

My theory is that files are too coarse for making cooperation without tight coordination possible & hierarchies encode access patterns making it difficult to change them or have interop with applications that wish different access. Indirection via queries and indexes could be better for this

It also has single parameter and all other parameters need to be labeled because positional arguments are harder to evolve & thinking of order is just waste of time. Like that gleam has support for labeled ones even if they don’t ditch positionals tour.gleam.run/functions/la...

What if it had built-in db ? I guess BeOS did newsletter.squishy.computer/p/if-headers... but what if it could also be replicated

Looks like it's back online

Not sure what happened, it was available yesterday. Perhaps @syncconf.bsky.social can help

According to my notes we switched
from gecko to servo. I think we had some iframe based API with special capabilities but details are escaping me

gozala.io/graphene#:~:...

Some of my notes from back then
gozala.io/graphene

Inspired by acornprover.org I’m very curious in trying to use local LLM model as way to talk to have dialog with your database