This is cool, I just left an @atstore.fyi review on @standard-reader.app right inside of the Standard Reader App.
It prompted for auth again so that it could request the scopes needed to write the review, but I didn't have to leave standard reader my review instantly shows up on its store listing.
![Talk slide:
The next version of Virtuoso.
It's high-level design is described in TLA+.
Here's an email from Eric Verhulst, the head of the development team.
The [TLA+] abstraction helped a lot in coming to a much cleaner architecture ( we witnessed first-hand the brainwashing done by years of C programming). One of the results was that the code size was about 10x less than in [the previous version].](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ulg2bzgrgs7ddjjlmhtegk3v/bafkreibxet54mro26fevjwofxyjqcbycyyajxirt6cqo7uz6uqa3ssreaq)
![Code screenshot:
{
"@context": [
"https://www.w3.org/ns/did/v1",
"https://w3id.org/security/multikey/v1",
"https://w3id.org/security/suites/secp256k1-2019/v1"
],
"id": "did:plc:tqd32oyrvfdkzh62zmk3tftv",
"alsoKnownAs": [],
"verificationMethod": [
{
"id": "did:plc:tqd32oyrvfdkzh62zmk3tftv#leaf_server",
"type": "Multikey",
"controller": "did:plc:tqd32oyrvfdkzh62zmk3tftv",
"publicKeyMultibase": "zQ3shmenhzahSPKF4NRzTAnHnG8roQ8YqhBAetLpYpY4uL47G"
}
],
"service": [
{
"id": "#leaf_server",
"type": "LeafServer",
"serviceEndpoint": "https://leaf-dev.muni.town"
}
]
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ulg2bzgrgs7ddjjlmhtegk3v/bafkreigi654oggoexc7on7jmf47bzxkmio5gby2gmuy54ofl2zevbx3jxy)
![Code sample:
const spaces = new LiveQuery<{
id: string;
name?: string;
avatar?: string;
description?: string;
admins: string[];
}>(
`select json_object(
'id', format_hash(id),
'name', name,
'avatar', avatar,
'description', description,
'admins', (select json_group_array(admin_id) from space_admins where space_id = id)
) as json
from spaces
where stream = ? and hidden = 0`,
() => [
Hash.enc(backendStatus.personalStreamId),
],
(row) => JSON.parse(row.json),
);](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ulg2bzgrgs7ddjjlmhtegk3v/bafkreihjhcrvtnyqi23hovjzbrspdkrtbgqsxf6dskp5soqf55dt346idy)
![Code snippet:
<script lang="ts">
let surname = $state('smith');
let users = new LiveQuery<{ name: string; surname: string }>(
'select name, surname from users where surname like ?',
() => [surname || '%']
);
</script>
<input bind:value={surname} />
<ul>
{#each users.result?.rows || [] as user}
<li>{user.name} {user.surname}</li>
{/each}
</ul>](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ulg2bzgrgs7ddjjlmhtegk3v/bafkreiazhwsdjhv7xdjznsj72fdtjjezja5t2zbmzpxoidogajkvw45ks4)
