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:

269
active users

#fsharp

0 posts0 participants0 posts today
Giacomo TesioWhile it has its own issues, there are several good reasons why my favourite <a href="https://snac.tesio.it?t=programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgrammingLanguage</a> <i>in the real world</i> is <a href="https://snac.tesio.it?t=c" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a>.¹<br><br>Why not <a href="https://snac.tesio.it?t=go" class="mention hashtag" rel="nofollow noopener" target="_blank">#Go</a>?<br>Because it's from <a href="https://snac.tesio.it?t=google" class="mention hashtag" rel="nofollow noopener" target="_blank">#Google</a>.<br><br>Why not <a href="https://snac.tesio.it?t=csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Csharp</a> or <a href="https://snac.tesio.it?t=fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Fsharp</a>?<br><a href="https://snac.tesio.it?t=microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microsoft</a>.<br><br>Why not <a href="https://snac.tesio.it?t=rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> or <a href="https://snac.tesio.it?t=zig" class="mention hashtag" rel="nofollow noopener" target="_blank">#Zig</a>?<br><a href="https://snac.tesio.it?t=llvm" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLVM</a> (aka <a href="https://snac.tesio.it?t=apple" class="mention hashtag" rel="nofollow noopener" target="_blank">#Apple</a> &amp; friends).<br><br>Ultimately, most of languages I avoid like the plague are controlled by <a href="https://snac.tesio.it?t=bigtech" class="mention hashtag" rel="nofollow noopener" target="_blank">#BigTech</a> one way or another.<br><br>C is simple enough to get several alternative compilers based on useful standards.² ³<br><br><br>¹ In theory I still prefer <a href="https://snac.tesio.it?t=oberon07" class="mention hashtag" rel="nofollow noopener" target="_blank">#Oberon07</a>, but when I want to code something useful I still use C instead to lower the entry barrier for other devs, because there are too many incompatible implementations of the compiler and "standard" library.<br><br>² Ok, <a href="https://snac.tesio.it?t=python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a>, <a href="https://snac.tesio.it?t=scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scheme</a> and <a href="https://snac.tesio.it?t=lua" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lua</a> have similar qualities, but for the tools I write I usually prefer binary executables with no runtime.<br><br>³ No, <a href="https://snac.tesio.it?t=c" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a>++ is <a href="https://harmful.cat-v.org/software/c++/I_did_it_for_you_all" rel="nofollow noopener" target="_blank">not an option</a>. 😉<br>
Hugh Phœnix-Hulme<p><a class="hashtag" href="https://bsky.app/search?q=%23gamedev" rel="nofollow noopener" target="_blank">#gamedev</a> <a class="hashtag" href="https://bsky.app/search?q=%23indiedev" rel="nofollow noopener" target="_blank">#indiedev</a> <a class="hashtag" href="https://bsky.app/search?q=%23dotnet" rel="nofollow noopener" target="_blank">#dotnet</a> <a class="hashtag" href="https://bsky.app/search?q=%23nuget" rel="nofollow noopener" target="_blank">#nuget</a> <a class="hashtag" href="https://bsky.app/search?q=%23csharp" rel="nofollow noopener" target="_blank">#csharp</a> <a class="hashtag" href="https://bsky.app/search?q=%23fsharp" rel="nofollow noopener" target="_blank">#fsharp</a> <a class="hashtag" href="https://bsky.app/search?q=%23visualbasic" rel="nofollow noopener" target="_blank">#visualbasic</a> <a class="hashtag" href="https://bsky.app/search?q=%23box2d" rel="nofollow noopener" target="_blank">#box2d</a> <a class="hashtag" href="https://bsky.app/search?q=%23gamephysics" rel="nofollow noopener" target="_blank">#gamephysics</a> HughPH.Box2D package now has Box2D multithreading by default, and World events for BodyMove, Contacts &amp; Sensors and with (optional) parallel event execution in the latest prerelease version :)<br><br><a href="https://www.nuget.org/packages/HughPH.Box2D/2025.5.11.226" rel="nofollow noopener" target="_blank">HughPH.Box2D 2025.5.11.226</a></p>
xUnit.net<p>We just shipped core framework v3 2.0.2 and Visual Studio adapter 3.1.0.</p><p>Check the release notes for new features and bugs fixed.</p><p>Note: The Visual Studio adapter has moved up to .NET 8 (from .NET 6).</p><p><a href="https://xunit.net/releases/v3/2.0.2" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">xunit.net/releases/v3/2.0.2</span><span class="invisible"></span></a><br><a href="https://xunit.net/releases/visualstudio/3.1.0" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">xunit.net/releases/visualstudi</span><span class="invisible">o/3.1.0</span></a></p><p><a href="https://dotnet.social/tags/DotNet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DotNet</span></a> <a href="https://dotnet.social/tags/CSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CSharp</span></a> <a href="https://dotnet.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://dotnet.social/tags/UnitTest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitTest</span></a> <a href="https://dotnet.social/tags/TDD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TDD</span></a></p>
Brad Wilson<p>Thinking about what an AOT version of <span class="h-card" translate="no"><a href="https://dotnet.social/@xunit" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>xunit</span></a></span> would look like. I spent some time talking to <span class="h-card" translate="no"><a href="https://hachyderm.io/@agocke" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>agocke</span></a></span> last year about it so I have some thoughts.</p><p>It almost surely end up being a completely separate code base/package. No mixing and matching, because the internal design would be very different.</p><p>Top three things I think:</p><p>- .NET 8+ only (no .NET Framework)<br>- C# only (no F# or VB)<br>- No extensibility points (you get our Fact and Theory, you get our pipeline).</p><p>1/</p><p><a href="https://mastodon.social/tags/DotNet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DotNet</span></a> <a href="https://mastodon.social/tags/CSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CSharp</span></a> <a href="https://mastodon.social/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://mastodon.social/tags/UnitTest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitTest</span></a></p>
arialdo<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>mcc</span></a></span> precisely my experience. <br>I find joy in <a href="https://mastodon.online/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> and <a href="https://mastodon.online/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a>, for he are languages with the good parts of <a href="https://mastodon.online/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rust</span></a> without the annoying ones.</p>
b4ux1t3 :trek_ds9_sisko:#1️⃣<p>I think it's worth me doing a new <a href="https://hachyderm.io/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Introduction</span></a>:</p><p>Hi! I'm Chris! I write code, I make things, and I parent.</p><p>My posts are generally about a few key areas: <a href="https://hachyderm.io/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a>, <a href="https://hachyderm.io/tags/HamRadio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HamRadio</span></a>, <a href="https://hachyderm.io/tags/TTRPG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TTRPG</span></a> and <a href="https://hachyderm.io/tags/Parenting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Parenting</span></a>.</p><p>As far as programming, I mostly focus on <a href="https://hachyderm.io/tags/DotNet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DotNet</span></a> <a href="https://hachyderm.io/tags/CSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CSharp</span></a> professionally, with a smattering of <a href="https://hachyderm.io/tags/WebDev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WebDev</span></a> using <a href="https://hachyderm.io/tags/TypeScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeScript</span></a>. For my "not professional" development, I do a lot of <a href="https://hachyderm.io/tags/GameDev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GameDev</span></a> in <a href="https://hachyderm.io/tags/Godot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Godot</span></a> (usually using C#, though not always!), and I adore <a href="https://hachyderm.io/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a>, particularly in <a href="https://hachyderm.io/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a>, but also in many other languages! I stream software and game development on Twitch at <a href="https://twitch.tv/b4ux1t3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">twitch.tv/b4ux1t3</span><span class="invisible"></span></a>. The schedule on there is not currently correct (January 2025), but should be soon.</p><p>When it comes to ham radio, I mostly focus on <a href="https://hachyderm.io/tags/DigitalModes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DigitalModes</span></a>, though I do a little bit of <a href="https://hachyderm.io/tags/POTA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>POTA</span></a> and <a href="https://hachyderm.io/tags/SOTA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SOTA</span></a> (well, I want to, anyway!). I'm a big user of <a href="https://hachyderm.io/tags/APRS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>APRS</span></a> and <a href="https://hachyderm.io/tags/PacketRadio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PacketRadio</span></a>. I try to be active on <a href="https://hachyderm.io/tags/YSF" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>YSF</span></a> 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.</p><p>Regarding TTRPG, I'm mostly a forever GM who runs <a href="https://hachyderm.io/tags/ShadowdarkRPG" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ShadowdarkRPG</span></a>, <a href="https://hachyderm.io/tags/BladesInTheDark" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BladesInTheDark</span></a>, <a href="https://hachyderm.io/tags/MorkBorg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MorkBorg</span></a> and <a href="https://hachyderm.io/tags/Mausritter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mausritter</span></a>, though I love most <a href="https://hachyderm.io/tags/OSR" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OSR</span></a> games and often mix and match rules and stuff. I don't _hate_ <a href="https://hachyderm.io/tags/DnD" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DnD</span></a>, <a href="https://hachyderm.io/tags/dnd5e" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dnd5e</span></a> or otherwise, it's just not the sort of thing I enjoy running. I also GM professionally on <a href="https://startplaying.games/gm/b4ux1t3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">startplaying.games/gm/b4ux1t3</span><span class="invisible"></span></a>!</p><p>Outside of that, some of my posts are about <a href="https://hachyderm.io/tags/Crochet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Crochet</span></a>, <a href="https://hachyderm.io/tags/BookBinding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BookBinding</span></a>, <a href="https://hachyderm.io/tags/Woodworking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Woodworking</span></a>, <a href="https://hachyderm.io/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a>, <a href="https://hachyderm.io/tags/Linguistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Linguistics</span></a>, <a href="https://hachyderm.io/tags/TokiPona" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TokiPona</span></a> and, well, lots of other things</p><p>I have lots of links in my profile if you'd like to know more about me!</p>
Loïc Denuzière<p>Bolero 0.24 released! Adding support for Blazor Interactive Render Modes and Streaming Rendering. <a href="https://fsbolero.io/blog/20241209-bolero-0-24-released" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">fsbolero.io/blog/20241209-bole</span><span class="invisible">ro-0-24-released</span></a> <a href="https://mastodon.tarmil.fr/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotnet</span></a> <a href="https://mastodon.tarmil.fr/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> <a href="https://mastodon.tarmil.fr/tags/blazor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blazor</span></a> <a href="https://mastodon.tarmil.fr/tags/fsbolero" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsbolero</span></a></p>
Luis<p>Hey <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a>, check this out <a href="https://github.com/lamg/numinos.xyz" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/lamg/numinos.xyz</span><span class="invisible"></span></a></p>
b4ux1t3 :trek_ds9_sisko:#1️⃣<p><span class="h-card"><a href="https://mastodon.me.uk/@airadam" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>airadam</span></a></span> eeeeexcccelent. It's spreading. <a href="https://hachyderm.io/tags/FSharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FSharp</span></a> <a href="https://hachyderm.io/tags/OneOfUs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OneOfUs</span></a></p>
Ken Bonny<p><span class="h-card"><a href="https://mastodon.social/@art3starr" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>art3starr</span></a></span> I'm using rider to program my <a href="https://mastodon.social/tags/csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>csharp</span></a> and <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> projects. I'm using vs code for scripts (including fsharp ones). When I need to write js or ts, I switch between rider, vs code and webstorm.</p>
Ken Bonny<p><span class="h-card"><a href="https://hachyderm.io/@dylanbeattie" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>dylanbeattie</span></a></span> something tells me you could automate that email. 😁</p><p>Have you tried doing it in an <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> script?</p><p>(In the past half year I've become a fan of the language.)</p>

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!