blue_berry

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 could also result in better code.

The above demo shows a glimpse of how this could look like on the Fediverse. Imagine communities being able to form their own spaces on the social web through language! Simply using natural language will probably not be specific enough here. We always imagine everything getting much easier, but that's just the logic of digital capitalism that tries to sell us innovation as inventing yet a more easy way to get your coke handed to you, which can only lead to more and more environmental destruction. So, what will the language interface for the future digital look like? I think it will be more something like the semi-formalic language found in technical manuals, cooking recipes and judicial texts. Something like ace, in between coding, domain specific languages, modeling and natural language. And people who are experts at this and know the old technical stuff that no one understands anymore will be the new "coders". But maybe I'm wrong.

Repo: https://github.com/bluebbberry/AceCoding.social.

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 of how this could look like on the Fediverse. Imagine communities being able to form their own spaces on the social web through language! Simply using natural language will probably not be specific enough here. We always imagine everything getting much easier, but that's just the logic of digital capitalism that tries to sell us innovation as inventing yet a more easy way to get your coke handed to you, which can only lead to more and more environmental destruction. So, what will the language interface for the future digital look like? I think it will be more something like the semi-formalic language found in technical manuals, cooking recipes and judicial texts. Something like ace, in between coding, domain specific languages, modeling and natural language. And people who are experts at this and know the old technical stuff that no one understands anymore will be the new "coders". But maybe I'm wrong.

Repo: https://github.com/bluebbberry/AceCoding.social.

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 communities being able to form their own spaces on the social web through language! Simply using natural language will probably not be specific enough here. We always imagine everything getting much easier, but that's just the logic of digital capitalism that tries to sell us innovation as inventing yet a more easy way to get your coke handed to you, which can only lead to more and more environmental destruction. So, what will the language interface for the future digital look like? I think it will be more something like the semi-formalic language found in technical manuals, cooking recipes and judicial texts. Something like ace, in between coding, domain specific languages, modeling and natural language. And people who are experts at this and know the old technical stuff that no one understands anymore will be the new "coders". But maybe I'm wrong.

Repo: https://github.com/bluebbberry/AceCoding.social.

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 logged in for 7 days then the system sends a digest of missed interactions.
• For accessibility: Every image in a post has an alt-text that is either provided by the user or generated by the system.

Repo: https://github.com/bluebbberry/AceCoding.social

(Image from Veronica Casson, https://www.freethink.com/wp-content/uploads/2023/06/terraforming-thumb.png?resize=500%2C281)

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 logged in for 7 days then the system sends a digest of missed interactions.
• For accessibility: Every image in a post has an alt-text that is either provided by the user or generated by the system.

Repo: https://github.com/bluebbberry/AceCoding.social

(Image from Veronica Casson, https://www.freethink.com/wp-content/uploads/2023/06/terraforming-thumb.png?resize=500%2C281)

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: @[email protected]. 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).
• Generalization of functionality: right now, the fungi can only recommend songs. They should be general AI agents
• Overall improvements

You can think of this whole project basically as huggingface based on WWW technology. Spoiler alert: hugging face will enshitifiy too.