mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.7K
active users

#fsharp

6 posts6 participants0 posts today

Today in "Let's keep coding"
The GUI for Migrondi is starting to take shape.
It uses the Migrondi Core functionality to create new projects as well as new migration files
For the moment it doesn't really do a lot other than show files and create a new migration but I guess I'll keep diving

using @avaloniaui for the desktop framework

GUI Project:

github.com/AngelMunoz/Migrondi

CLI Tool: github.com/AngelMunoz/Migrondi

I'm guessing GH Copilot agent mode qualifies as vibe coding (I've been away for a while)
I've been enjoying the ride so far with F# and avalonia even for something not as popular it does far better than I would have expected. it's saving me some time!
github.com/AngelMunoz/Migrondi

Contribute to AngelMunoz/MigrondiUI development by creating an account on GitHub.
GitHubComparing main...dev · AngelMunoz/MigrondiUIContribute to AngelMunoz/MigrondiUI development by creating an account on GitHub.

Why is F# so little used and why is the community so small? Actually, every time I play with F# (especially in conjunction with ionide.io/ #vscode extension for F#), I have to say that F# is a really fun programming language. In combination with FSI, Ionide and Type Inference it often feels like a dynamic language. You can use many different styles to programme with F#, but what I particularly like is that Railway

ionide.ioIonide