gozala
@gozala.io
Tinkerer on a mission to shift control from servers to users
Pinned
gozala
@gozala.io
· Sep 17
Dialog - Personal Substrate for Cooperative Computing
gozala.io
Going indie to collaborate on #dialogdb full time with @cdata.earth
The paradigm is shifting from one-size-fits-all to personalized and highly adaptive tools.This requires a shared knowledge substrate that can facilitate emergent cooperation
Dialog is an attempt to build it
gozala.io/dialog/start...
The paradigm is shifting from one-size-fits-all to personalized and highly adaptive tools.This requires a shared knowledge substrate that can facilitate emergent cooperation
Dialog is an attempt to build it
gozala.io/dialog/start...
Can someone I know add blake3 to the S3 supported checksum algorithms please. I’d take non AWS blessed support by R2 also. Thanks
January 11, 2026 at 4:54 PM
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
January 11, 2026 at 4:44 PM
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
January 9, 2026 at 3:51 PM
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 ?
January 9, 2026 at 3:45 PM
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.
January 8, 2026 at 11:38 PM
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
January 8, 2026 at 5:36 PM
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
That is also a reason of my obsession with datalog & www.neilconway.org/docs/dedalus... extension to allow expressing distributed system behaviors
www.neilconway.org
January 8, 2026 at 5:31 PM
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
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
This is a stretching it but in some sense hypothetical language can make LLMS into compilers produce non-deterministic code with predictable behavior
January 8, 2026 at 5:24 PM
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
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
January 8, 2026 at 4:09 PM
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
The Acorn Theorem Prover
Perfectly rigorous mathematics, as simple as possible.
acornprover.org
January 8, 2026 at 4:04 PM
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
January 8, 2026 at 3:59 PM
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.
January 8, 2026 at 3:56 PM
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
A Dutch worker went viral after explaining to their American boss that they have a life outside work.
January 6, 2026 at 8:05 AM
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
Yet still can’t articulate clearly why this is justifiably better than dependency injection at construction
genawaiter - Rust
This crate implements generators for Rust. Generators are a feature common across many programming language. They let you yield a sequence of values from a function. A few common use cases are:
docs.rs
December 29, 2025 at 4:57 PM
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
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
How We Lost Communication to Entertainment ploum.net/2025-12-15-c... "The main problem with reliable communication protocols? It is a mostly solved problem. Build simple websites, read RSS feeds, write emails. Use IRC and XMPP if you truly want real-time comms. Those are working and working great."
How We Lost Communication to Entertainment
How We Lost Communication to Entertainment par Ploum - Lionel Dricot.
ploum.net
December 28, 2025 at 6:55 PM
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
December 15, 2025 at 12:09 AM
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...
Labelled arguments - The Gleam Language Tour
An interactive introduction and reference to the Gleam programming language.
tour.gleam.run
December 14, 2025 at 8:42 PM
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...
December 14, 2025 at 8:35 PM
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...
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
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.
newsletter.squishy.computer
December 14, 2025 at 5:22 PM
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
December 11, 2025 at 6:35 PM
Looks like it's back online
Not sure what happened, it was available yesterday. Perhaps @syncconf.bsky.social can help
December 11, 2025 at 12:26 AM
Not sure what happened, it was available yesterday. Perhaps @syncconf.bsky.social can help
@cdata.earth and I did a bit of improv presenting Dialog DB. Hope you enjoy it
www.youtube.com/watch?app=de...
www.youtube.com/watch?app=de...
14_ Your Data, Your Rules & the Way to Share Them
YouTube video by Local-First Conf
www.youtube.com
December 9, 2025 at 9:39 PM
@cdata.earth and I did a bit of improv presenting Dialog DB. Hope you enjoy it
www.youtube.com/watch?app=de...
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#:~:...
from gecko to servo. I think we had some iframe based API with special capabilities but details are escaping me
gozala.io/graphene#:~:...
graphene
gozala.io
November 23, 2025 at 5:05 PM
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#:~:...
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
gozala.io/graphene
graphene
gozala.io
November 22, 2025 at 3:43 PM
Some of my notes from back then
gozala.io/graphene
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
The Acorn Theorem Prover
Perfectly rigorous mathematics, as simple as possible.
acornprover.org
November 18, 2025 at 7:56 PM
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