shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

290
active users

#fsharp

1 post1 participant0 posts today

Thinking about what an AOT version of @xunit would look like. I spent some time talking to @agocke last year about it so I have some thoughts.

It almost surely end up being a completely separate code base/package. No mixing and matching, because the internal design would be very different.

Top three things I think:

- .NET 8+ only (no .NET Framework)
- C# only (no F# or VB)
- No extensibility points (you get our Fact and Theory, you get our pipeline).

1/

I think it's worth me doing a new #Introduction:

Hi! I'm Chris! I write code, I make things, and I parent.

My posts are generally about a few key areas: #Programming, #HamRadio, #TTRPG and #Parenting.

As far as programming, I mostly focus on #DotNet #CSharp professionally, with a smattering of #WebDev using #TypeScript. For my "not professional" development, I do a lot of #GameDev in #Godot (usually using C#, though not always!), and I adore #FunctionalProgramming, particularly in #FSharp, but also in many other languages! I stream software and game development on Twitch at twitch.tv/b4ux1t3. The schedule on there is not currently correct (January 2025), but should be soon.

When it comes to ham radio, I mostly focus on #DigitalModes, though I do a little bit of #POTA and #SOTA (well, I want to, anyway!). I'm a big user of #APRS and #PacketRadio. I try to be active on #YSF via the inimitable KJ7OMO@mastodon.radio's (edit: removed the mention here to prevent accidental mentions!) pride radio network, though mostly I listen. If you'd like my callsign, feel free to DM me. I do not list it publicly, but I'm not shy about handing it out in a more private setting.

Regarding TTRPG, I'm mostly a forever GM who runs #ShadowdarkRPG, #BladesInTheDark, #MorkBorg and #Mausritter, though I love most #OSR games and often mix and match rules and stuff. I don't _hate_ #DnD, #dnd5e or otherwise, it's just not the sort of thing I enjoy running. I also GM professionally on startplaying.games/gm/b4ux1t3!

Outside of that, some of my posts are about #Crochet, #BookBinding, #Woodworking, #Mathematics, #Linguistics, #TokiPona and, well, lots of other things

I have lots of links in my profile if you'd like to know more about me!

Twitchb4ux1t3 - TwitchA software developer and gamer of pretty freaking average proportions!

AltCover (code coverage for #Dotnet built in #fsharp) v8.5.842

* Use dialogs in the Avalonia Visualizer (old GTK issue w/dialogs crashing is long obsolete)
* ref structs are (not) [Obsolete] - ignore autogen'd attribute

See the release notes for details
nuget.org/packages/altcover#re

www.nuget.orgaltcover 8.5.842A cross-platform pre-instrumenting code coverage tool set for .net/.net core and Mono

#introduction

Hi there, I am Mathias Brandewinder, nice to meet you!

Work: I write F# code for a living. Particularly interested in solving problems using mathematical models (machine learning, simulation, optimization, ...). In a past life, I wanted to teach.

Play: most of my free time lately involves role-playing games. Also cooking, baking sourdough, drawing, playing the guitar rather poorly. And reading! Books are great.

#fsharp#ttrpg#math

An intro is overdue. #fsharp #QuantDev for a bank, #dad of two the rest of the time.

Doesn’t leave a lot of time for much else but interests include #retrogaming #80sHorror #running #LiveMusic (#Pavement #AfghanWhigs #BobDylan #Lemonheads in recent weeks) #photography

Also something of a geek about #tube history, #comics, #films, #bbfc, #StephenKing, …. (Probably some correlation between all these…)

Enjoying how Mastodon feels like a trip back in time 15 years (in a good way).

#introduction: I'm a software engineer and Director of Engineering at a home security company. I write software and mentor others in #rustlang and #typescript (#csharp and #fsharp previously), often dealing #authx, #kafka, and #otel. I am the creator of several open source projects, including aliri, aliri_braid, and protoc-gen-prost.

I'm also an avid Esperantist, so if you have it in your filtered languages, you'll find me also posting in #Esperanto. Ĝis!