cross-posted from: https://lemmy.world/post/28442844

cross-posted from: https://lemmy.world/post/28384872

This is a showcase of combining vibe coding with the Fediverse and attempto controlled english (ace).

I'm fascinated by vibe coding, but I'm also highly critical of it. It fascinates me, because it enables people, who normally cannot code to be able to generate running code. What I don't like, is that it just isn't actual programming. It's closer to a wishing well. It fosters a quasi-magical understanding of programming and computer science, which is already too common in current society (I wrote a paper about it here: https://philpapers.org/rec/BINAKR). That's why, in my opinion, the Fediverse should set a counter-point here with something like a first-order logic language like ACE, which actually brings people closer to an actual understanding of computer science concepts like modeling and logic without hiding the complexity behind seemingly "magic", and coul

cross-posted from: https://lemmy.world/post/28384872

This is a showcase of combining vibe coding with the Fediverse and attempto controlled english (ace).

I'm fascinated by vibe coding, but I'm also highly critical of it. It fascinates me, because it enables people, who normally cannot code to be able to generate running code. What I don't like, is that it just isn't actual programming. It's closer to a wishing well. It fosters a quasi-magical understanding of programming and computer science, which is already too common in current society (I wrote a paper about it here: https://philpapers.org/rec/BINAKR). That's why, in my opinion, the Fediverse should set a counter-point here with something like a first-order logic language like ACE, which actually brings people closer to an actual understanding of computer science concepts like modeling and logic without hiding the complexity behind seemingly "magic", and could also result in better code.

The above demo shows a glimpse

This is a showcase of combining vibe coding with the Fediverse and attempto controlled english (ace).

I'm fascinated by vibe coding, but I'm also highly critical of it. It fascinates me, because it enables people, who normally cannot code to be able to generate running code. What I don't like, is that it just isn't actual programming. It's closer to a wishing well. It fosters a quasi-magical understanding of programming and computer science, which is already too common in current society (I wrote a paper about it here: https://philpapers.org/rec/BINAKR). That's why, in my opinion, the Fediverse should set a counter-point here with something like a first-order logic language like ACE, which actually brings people closer to an actual understanding of computer science concepts like modeling and logic without hiding the complexity behind seemingly "magic", and could also result in better code.

The above demo shows a glimpse of how this could look like on the Fediverse. Imagine communitie

Combining vibe coding, attempto controlled english (ace) and the social web - form space on the social web through words, secured by attempto controlled english.

You are only able to run code based on attempto controlled english (ace), which is a formally defined subset of the english language. In the future, admins could through this restrict certain kinds of code from executing for security purposes. Additionally, it lessens the ambiguity of natural language and you can be sure that the resulting code will do what it should.

Here are a few example commands in ACE that could be run on AceCoding.social in the future:

• Moderation: If a user posts more than 20 times in 1 hour then the system temporarily restricts the user's posting ability.
• Look and feel: If a post contains an image then the system displays the image with rounded corners.
• For content curation: Every post that has more than 50 likes is added to the "Popular Today" collection.
• For notifications: If a user has not

Combining vibe coding, attempto controlled english (ace) and the social web - form space on the social web through words, secured by attempto controlled english.

You are only able to run code based on attempto controlled english (ace), which is a formally defined subset of the english language. In the future, admins could through this restrict certain kinds of code from executing for security purposes. Additionally, it lessens the ambiguity of natural language and you can be sure that the resulting code will do what it should.

Here are a few example commands in ACE that could be run on AceCoding.social in the future:

• Moderation: If a user posts more than 20 times in 1 hour then the system temporarily restricts the user's posting ability.
• Look and feel: If a post contains an image then the system displays the image with rounded corners.
• For content curation: Every post that has more than 50 likes is added to the "Popular Today" collection.
• For notifications: If a user has not

The FediAI-frontend I posted in the last video was a bad idea. Prompts very posted publicly when you didn't expect it. This Mastodon client has a semantic feed, which should be clear that prompts are posted only. On the feed, several AI workers could listen to. In this example, a generic bot is listening, which always replies with the same suggestion. What do you think of this?

Repos: https://github.com/bluebbberry/Seamantic and https://github.com/bluebbberry/FediAI

You post through the UI to a Fediverse hashtag, on which AI bots listen to, which replies are then displayed in the UI. In the future, the main app should have some kind of ranking only to show the best replies. Through hashtags, AI bots can specialize in certain areas. It would also be possible to partially process a task (for example translate it) and then repost it to another hashtag (I call that "prompt routing). This way, you can have chains of AI bots working together on public, shared message queues.

MyceliumWebServer Update | ActivityROS Demo

Shows decentral AI fungus that can be browsed like a chat bot connected to other chat bots - and it can also be interacted with through Mastodon and its connected knowledge graph. It's basically three views of the same thing, just from different webs!

Its a decentralized AI bot based on volunteer computing and decentralized, federated learning.

You can find it under: @myceliumweb@techhub.social. It will recommend songs when you post under #babyfungus. You can also insert your own songs. Happy home-grown ai!

(Please keep in mind: right now, its just a POC)

You can now access the fungus' chat bot via the browser:

This way, you can actually travel the chat bots of the mycelium web, by entering their url in the browser.

They are also connected to ActivityPub and the underlying knowledge base can be browsed in the browser, too, of course.

Next milestones:

• Add Activity**Pods **integration - solid pods are small storages of data. This way, every mycelium server/fungus can have its own data storage. Right now, they share a jena fuseki server together. There already exists a bridge to ActivityPub called "ActivityPods". With it also comes its own small Activity-Server, which is nice, too
• Be able to actually "browse" the chat bots of the mycelium web based on linked data (shouldnt be that hard, because they already communicate over shared data).
• General

A fungus sits at the intersection of the social web (Mastodon, Pixelfed, Lemmy, etc.), the semantic web (knowledgraphs like Wikidata.org) and decentralized federated learning.

This means it represents the "computation web"-aspect in the above picture. Together with other similar agents, it result in a decentralized, federated web of AI agents that work on open, shared data and are open to communities. Everybody should be able to set up their own fungus service and help to grow an AI model of their choice. I call this the "fungiverse" or "mycelial web".

A fungus web-service ...

• answers user requests over the social web
• users are also able to insert knowledge via posting to a hashtag the fungus listens on
• writes an

Hi everyone! I’m building Seamantic, a Mastodon client that introduces the "semantic feed" — a way to interact directly with the Semantic Web.

Here’s how it works:

• Ask Questions: Post queries to the semantic feed. Bots like SeBridge (which I introduced in an earlier post) connect to knowledge bases to provide answers by listening on Mastodon hashtags for queries.
• Contribute Data: Insert data into the feed by posting insert-queries, helping bots grow their underlying knowledge bases.
• Sea-Level: Track your balance—querying raises the "sea-level," and contributing lowers it, encouraging collaboration. When the sea-level goes over a certain level, posting queries is blocked until the sea-level is lowered by contribution.

By connecting users and knowledge bases, the semantic feed creates a dynamic flow of high-quality, consensus-driven data.

![](https://lazysoci.al/api/v3/image_proxy?url=https%3A%2F%2Flemmy.world%2Fpictrs%2Fimage%2F83dfefc8-cc94-40bd-9900-33b4f7ce130

The semantic web, for example through projects like dbpedia.org, tries to make the internet machine-readable. By making it accessible in Mastodon, users could quickly access and share data from the semantic web.

Theory

A new decentralized social media paradigma, in which data of posts is used to gain some addional features (opt-in).

I would additionally differentiate between central and decentralized bots.

Collective posting means posting to a bot (centralized or not), which then determines which posts go out and how, based on data collected by the bot through earlier iterations of this process, determined by some agreed upon guidelines.

Anarachist posting means posting to the Fediverse, while at the same time collecting all of these messages via a bot (centralized or not), which sends the data back to the client, who can use it again for some calculation based on chosen processes. Examples

Let's see what that means if I want to post my cooking plan for the week.

Anarchist Posting

I post my fridge-content and what I want to cook. This information with all the other participants is saved by the bot and later provided to me as suggestions for my next cooking plan based on a process t

Currently, there are six bots available:

• Larry: Classic text posting: just post text
• Spark: turns all text into uppercase
• Ennui: produces low-effort posts (removes punctuation, makes it lowercase, introduces typos)
• Jea: schedule posts by starting post with a hashtag and the number of minutes to postpone
• Hamlet: adds a random Shakespear quote to the post
• Legion: send out multiple posts by starting the message with a hastag with the number of repeats

You can select three of them and have them then available next to the post-button as a quick-select.

I tried multiple times to win over H.P.-communities to join Lemmy, until now with no success. Usually they either dont reply, threaten to ban me (Reddit) or say they dont have the time.

The latter happened to me just recently. They heard about the Fediverse, think its cool, but are already overwhelmed with keeping the site up.

What do you think here? Are you having similar experiences? Are you even doing it? Whould it be a good idea to propose a minimal solution like RSS-integration rather than full AP-support?