metaketa

I hope they do https://moneymaker.games next. Would be amusing, since the model behind it is literally the fractional reserve banking principles.

This. Generating a frontend with guarantees can almost not be done with any other language. If you use the graphql module with code generation it's an absolute game changer. Every time I have Claude generate a moderately complex frontend in react I regret it sooner or later due to state issues and inconsistent behaviour. Not with elm. Everything that makes it difficult makes it perfect for ai.

This is great! Never knew this AAC is a thing.

I happen to make an interactive pen platform (like TipToi but with an editor that allows one to design and publish their own books with logic, scripting, genai support), much like the author explained at the end; and the AAC is actually a perfect use case. You get everything the author described, but screen free!

this is a VERY good writeup of all problems in the stack chronologically that must have cost you time. Thank you for this!

I think it's more similar to the idea of IPFS than Tailscale. It's excellent for example for decentralized networks where there is missing trust; file sharing, bittorrent, blockchain networks etc, where you don't want to manage the complexity of dropping IP addresses at the application layer. I initially found it for parture.org for example.

TerminusDb

This is awesome and I've needed it often. Could it hypothetically support filtered undo? For example in a collaborative app where not all edits are owned by the user.

This is fixed by using anoto paper and a supporting pen!

We are doing something related; taking the TipToi tech and getting it with our own pen to turn paper into interfaces that can control remote systems. See Https://papiro.press (the pages are still being redesigned, but we needed some placeholders to be able to talk to Chinese factories)

Though it's somewhat clear from the use of tiles with the icon colours and the choice of border colours and all, I quite like it. I would have expected the colour theme from the navbar to be repeated because that's a more non standard palette. I would do that, maybe use a different tile layout (use a tile shape resembling a pool tile? Or even a rectangle signifying a typical pool shape) and create some vector icons for them using the navbar colour scheme.

Tiptoi

I was thinking the same. This would have actually been awesome

I am in somewhat of the same boat for https://parture.org. Have a quite large CRDT system with unique ID's that is also type-safe, does not rely on serde_json::Value juggling, every CRDT is structurally valid and it knows what CRDT's cannot be applied to a Rust struct based on some business logic. I am wondering whether such checks (type-safety, business logic) can be worked into the CRDT application process. Automerge seems mostly meant for text editing, but they do have Autosurgeon though it hasn't been updated in a while

This is our goal with https://parture.org!

Crystal; compiled Ruby!

better adjust your description that mentions biblio.com

wait, is it biblio.com or bibliou.com? they seem to be different sites

I wrote a business plan once for a similar concept. I wanted to model it after Antolin, but generally available and for adults. People would be answering LLM-generated questions to build up reputation (tracked on Colony?) that would give them access to "guilds" or "clubs" of likeminded people with a similar reputation/"skill" level for social purposes. Inspired by a partner that wanted to flaunt Harry Potter knowledge, but having no quantifiable and socially-valuable metric to do so.

Love the webdesign, but check typos: "Exprole"

This is fascinating! Couldn't really find the kernel code but would love to know more about the applicability. I'm curious since seeing the Unikraft release that promised millisecond container boot times

I am impressed with LiveKit; using it to stream AI agents

Radicle, LiveKit, https://iroh.computer/

HVM using interaction nets as alternative to Turing computation deserves a mention. Google: HigherOrderCompany

Very cool concept! Will it be possible to make "boxes" with labels/titles so different frames can be grouped? And will zooming of the canvas be supported?

The website has indeed not been redeployed since then, but the Rust stack currently has the following and is still under development every day:

- decentralized server node for hosting scores

- sheet music rendering in browser using WASM with Rust port of VexFlow

- multiplayer live score editing using custom Rust CRDT impl

- search through node's data based on facets like duration, instruments, difficulty, tuning, etc (Meilisearch)

- MIDI playing through soundfonts and RustySynth

- parsing/importing of Guitar Pro files using Rust-port of pyguitarpro

- AI assistant for editing scores using LiveKit, ElevenLabs etc

- support for creating different sheet music editor sites using the WASM core for the frontend

And more to come.

Owner of https://parture.org here; we should work together. Nice work!

I think what people are missing here is that his mathematics is describing a dynamic in observed interactions between magnetism and electricity that have something to do with vortex and toroidial fields. To understand the context one would have to study the life of Walter Russel first and understand how he was able to predict the existence of then-unknown elements. Also check out videos on "vortex mathematics" on YouTube. I'll admit here that this kind of delineation is vague by Terrence and could be better stated. I doubt his mathematics is supposed to generally replace "accounting" math.

Elm and ReScript. Joys to work with, correvctnes guarantees

They should partner with Fly.io as PaaS/deployment partner!

Where do we buy stock in the company? Sounds too good to be true.