gozala

vimeo.com/1168468796?f...

Radicle Protocol Guide Sovereign code infrastructure.

@radicle.xyz has it and all of the reviews and issues are stored as git objects radicle.xyz/guides/proto...

Giving this job to LLM agent is still on my todo list

Can someone I know add blake3 to the S3 supported checksum algorithms please. I’d take non AWS blessed support by R2 also. Thanks

Problem isn’t a technology, but an asymmetry of power distribution that this technology is amplifying. Silicone valley had being looking to disrupt & this technology is like no other, unfolding it in front of our eye. Those that benefit are ones on top with no regard to those being disrupted

Was not aware of github.com/fido-allianc... this is really cool demo of it in action

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

The Acorn Theorem Prover Perfectly rigorous mathematics, as simple as possible.

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.

I do miss work culture in Netherlands where I was actively deterred from staying in office after hours or doing any work outside. I was always told to invest this time into social life. Was young and stupid to appreciate back then

Found myself trying to manifest algebraic effects in rust through docs.rs/genawaiter/l...

Yet still can’t articulate clearly why this is justifiably better than dependency injection at construction

Interesting perspective which I have not considered up until reading this

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

Labelled arguments - The Gleam Language Tour An interactive introduction and reference to the Gleam programming language.

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...

Language that I’ve being designing (& will likely never make) had an idea of unifying variants & records, great to see that it can be so nice tour.gleam.run/data-types/r...

If headers did not exist, it would be necessary to invent them I’ve been studying the history of the internet, and reading through internet RFCs to better understand the series of design decisions that lead up to our open-ended and evolvable internet.

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

14_ Your Data, Your Rules & the Way to Share Them YouTube video by Local-First Conf

@cdata.earth and I did a bit of improv presenting Dialog DB. Hope you enjoy it

www.youtube.com/watch?app=de...

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

The Acorn Theorem Prover Perfectly rigorous mathematics, as simple as possible.

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

Project 11 - Blog - hello yellowpages Quantum computing is closer than most people think. Bitcoin isn’t ready. Today, we're releasing a practical fallback: yellowpages. yellowpages is a cryptographic registry designed to help Bitcoin hold...

There are some interesting migration paths explored here oriented mostly around crypto assets, but approach is applicable more broadly IMO blog.projecteleven.com/posts/hello-...

Lately I've being exposed to the notion that Quantum computing is going to break all of that and it's going to happen a lot sooner than most realize. There are some post quantum algorithms, but they come with difficult tradeoffs