Posts tagged "virgil":

Virgil today

Using a tool called Virgil that I describe in the posts "Making it easy to write a 9P server" and "Virgil foundations" I had LLMs write a wide range of 9P servers.

Virgil foundations

Virgil is a tool that interactively guides you through building a 9P server. It does this by starting with the simplest of tests and builds from there. When a test fails, it stops and describes what happened and explains what is needed to pass the test.

Making it easy to write a 9P server

I want to make it as easy to write a server for the 9P network file protocol as it is to write an HTTP server using frameworks like Flask or Express.