Viewing profile — michaelmure

I wish there was a LLM tool to explore a topic recursively, as a tree or a mindmap. You would start with some high level concept (say "cryptography") then dig further and further t…

That's an interesting take! Not quite easy to do with a CLI tool with dozens of commands though. Maybe it would be some kind of always on server the LLM can operate on ... but then…

I'm asking this because as I wrote a new CLI tool I picked json as the recommended output format for LLMs. I noticed though that they easily get lost and generally consume a lot of…

For CLI tools, humans like visually organized text possibly with colors or TUIs. Machines likes tabs-separated tabular data, or json and similar. What's the equivalent for LLMs for…

One nice upside of having a single way to encode a value is fuzzing: when you work on an encoder/decoder, you can use a fuzzer and do round-trip comparison until you find crashes o…

https://github.com/git-bug/git-bug if that's your thing.

Any recommandation for a quality non-toy rust codebase to study?

> On CRDTs: I assume tools like git-bug adopted CRDTs primarily to avoid merge conflicts, but "last-writer-wins" via timestamps is risky FYI, git-bug doesn't use timestamps to figu…

Assuming that by "table" you mean another "document type" ... pretty easily. There is a reusable CRDT like datastructure that you can use to define your own thing. You do that by d…

> Stuff like git-bug exists, but then you still need participation from other people. The plan is to 1) finish the webUI and 2) accept external auth (e.g. github OAuth). Once done,…

Location: France Remote: Yes (have been 100% remote for 6+ years) Willing to relocate: No Technologies: Go, networking, protocols, identity, cryptography, local-first, CRDTs, devop…

With some motivation you could port git-bug to another VCS without too much problem. You would need to implement those interfaces [1]. The one you care about especially is RepoData…

Right now, yes, but the idea is to augment the webUI with external auth (e.g. Github OAuth and others) to make it a public portal where anyone can create issues and so on. In that …

So for example, git-bug already has a PR to add support for a project board: https://github.com/git-bug/git-bug/pull/843 The same way, one could add support for code review (aka PR…

In theory it could happen but it's unlikely in practice, for multiple reasons: - git-bug use a form of logical clock (not wall clock) that order an action in relation to other acti…

Yes, this really meant to be some sort of framework for storing entities in git, handle the conflicts, and let you buld easily your own tool (or add more features to git-bug). See …

Golang does that natively ;-)

The interesting thing to me is the stark difference between this and golang's approach. With golang, you can run fuzzing as simply as you run tests, which means that it's trivial t…

Not a file storage but https://github.com/git-bug/git-bug push and sync with any git remote. There is a generic data structure you can use to build your conflict-free type.

A practical example of a op-based Merkle-DAG CRDT is (I believe) git-bug[1]. Some doc here[2]. I originally wrote something akin to an op-based CRDT and enforcing a purely linear s…

I always wondered: is there actual study about this? There is people arguing both ways with relatively good arguments, but what about quantifiable realities? As the author of GPL-l…

As a sort of spiritual successor to git-appraise, I've been working on git-bug[1] which support issues and will at some point support kanban and code review. There is a few notable…

... of course. Mirror there: https://gitlab.com/MichaelMure/git-bug