Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Administered by:

Server stats:

9K
active users

mastodon.world: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Public *
Maho Pacheco 🦝🍻

Do you want to help testing @badgefed and provision your local test instance?

Easy

docker pull ghcr.io/tryvocalcat/badgefed:latest &&
docker run -v `pwd`/data:/app/data \
-p 8080:8080 \
-e SQLITE_DB_FILENAME=/app/data/badges.db \
-e AdminAuthentication__AdminUsers__0__Id=your-mastodon-username \
-e AdminAuthentication__AdminUsers__0__Type=Mastodon \
-e MastodonConfig__ClientId=your-mastodon-client-id \
-e MastodonConfig__ClientSecret=your-mastodon-client-secret \
-e MastodonConfig__Server=your-mastodon-server \
ghcr.io/tryvocalcat/badgefed

And then open a browser and go to http://localhost:8080 or http://localhost:8080/admin

#docker#badgefed#openbadges
Public
Miguel Afonso Caetano

"As of today, Amp, our agentic coding tool, is available to everyone. The waitlist is gone — go, go and sign up and use it!

For the past 10 weeks, Amp has been the main tool with which I develop software and — putting yet another exclamation mark behind the fact that the tools we use end up changing us — it has fundamentally changed how I develop software.

So I thought I’d use the occasion to write up how I personally use Amp.
(...)
Write SQL

Having an agent that connects to your database is very, very close to the joy you feel when it takes screenshots and iterates on UI components.

Here’s how to do it.

First, tell the agent to use psql (or any other CLI utility) or the tools provided by the postgres MCP server (or any other MCP server for your database) to connect to your DB.

Then, ask it things like this:

Update my user account (email starts with thorsten) to have unlimited invites
Or:

Return me a list of users with the most number of threads, sorted by number of threads
The agent will then do everything it can to return you that list: figure out the schema of the database, try this query, try that query.

Look, here I wanted to change my local development database. It didn’t know what the schema is, so it tried to figure that out first, which it did — by running four commands in parallel:

ampcode.com/how-i-use-amp

ampcode.comAmp is now available. Here's how I use it.Amp is now available. Here is how I use it.
#AI#GenerativeAI#AIAGents
Public
Miguel Afonso Caetano

"I presented a three hour workshop at PyCon US yesterday titled Building software on top of Large Language Models. The goal of the workshop was to give participants everything they needed to get started writing code that makes use of LLMs.

Most of the workshop was interactive: I created a detailed handout with six different exercises, then worked through them with the participants. You can access the handout here—it should be comprehensive enough that you can follow along even without having been present in the room.

Here’s the table of contents for the handout:

- Setup—getting LLM and related tools installed and configured for accessing the OpenAI API
- Prompting with LLM—basic prompting in the terminal, including accessing logs of past prompts and responses
- Prompting from Python—how to use LLM’s Python API to run prompts against different models from Python code
- Building a text to SQL tool—the first building exercise: prototype a text to SQL tool with the LLM command-line app, then turn that into Python code.
- Structured data extraction—possibly the most economically valuable application of LLMs today
- Semantic search and RAG—working with embeddings, building a semantic search engine
- Tool usage—the most important technique for building interesting applications on top of LLMs. My LLM tool gained tool usage in an alpha release just the night before the workshop!

Some sections of the workshop involved me talking and showing slides. I’ve gathered those together into an annotated presentation below.

The workshop was not recorded, but hopefully these materials can provide a useful substitute. If you’d like me to present a private version of this workshop for your own team please get in touch!"

simonwillison.net/2025/May/15/

Simon Willison’s WeblogBuilding software on top of Large Language ModelsI presented a three hour workshop at PyCon US yesterday titled Building software on top of Large Language Models. The goal of the workshop was to give participants everything they …
#AI#GenerativeAI#LLMs
Public
nickproud

For the tech founders of a startup, choosing a technology to run with can be difficult. My approach is to try to use the stack that has a good balance between features (for your use case) and accessibility; by that I mean, your skillset. If you're thinking of using C# - here's an interesting account of a startup's journey adopting the language from the beginning.

#dotnet #csharp #startup #tech #softwaredevelopment

devblogs.microsoft.com/dotnet/

.NET Blog · Why we built our startup in C# - .NET BlogTracebit built their B2B SaaS security product using C#.
ExploreLive feeds
About
404Not Found