mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

#fp

1 post1 participant1 post today
//devdigest<p>⚡️ F# Weekly #29, 2025 and .NET 10 Preview 6 Highlights</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4707" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4707</span><span class="invisible"></span></a></p>
//devdigest<p>⚡️ F# Weekly #28, 2025 – Beyond Zero-Allocation</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4690" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4690</span><span class="invisible"></span></a></p>
Joseph Nuthalapati :fbx:<p>Gleam is an interesting new functional programming language. It is an ML-family language with syntax very similar to Rust, but it's not a replacement. <br>If you like Rust and don't like Go (or Elixir's Ruby syntax), Gleam might be worth considering for I/O bound applications needing high concurrency. <br>Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.</p><p><a href="https://gleam.run" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">gleam.run</span><span class="invisible"></span></a></p><p><a href="https://social.masto.host/tags/Gleam" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gleam</span></a> <a href="https://social.masto.host/tags/Elixir" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Elixir</span></a> <a href="https://social.masto.host/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://social.masto.host/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://social.masto.host/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FP</span></a></p>
//devdigest<p>⚡️ F# Weekly #27, 2025: Breaking Changes Discussion</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4673" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4673</span><span class="invisible"></span></a></p>
CGT-València<p><a href="https://www.cgtvalencia.org/no-a-les-retallades-a-la-fp/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cgtvalencia.org/no-a-les-retal</span><span class="invisible">lades-a-la-fp/</span></a> La Secció Sindical d’Ensenyament de CGT-València se suma a la protesta del professorat d’FP en contra de les retallades i per la dignitat del treball docent i fa una crida per a assistir a les concentracions que tindran lloc el 4 de juliol a Castelló, Alacant i València. No a les retallades en educació!, Per una educació pública ,social i de qualitat! <a href="https://mastodon.social/tags/CGT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CGT</span></a> <a href="https://mastodon.social/tags/Valencia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Valencia</span></a> <a href="https://mastodon.social/tags/CGTValencia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CGTValencia</span></a> <a href="https://mastodon.social/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FP</span></a> <a href="https://mastodon.social/tags/NORETALLADESFP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NORETALLADESFP</span></a></p>
José Manuel (Chema) Solís<p>Programando un simulador de parque de atracciones con OpenGL y C#</p><p><a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/3d" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3d</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/cfgs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cfgs</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/opengl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>opengl</span></a></p>
//devdigest<p>⚡️ F# Weekly #26, 2025 – Sprout: BDD Testing for F#</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4656" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4656</span><span class="invisible"></span></a></p>
Microblog Castellano<p>Hay una cosa que no sé si sería denunciable ante la UE pero que no veo que nadie critique.</p><p>La FP reglada (grado medio y superior) madrileña, financiada con fondos de la UE, prioriza en su baremo de acceso (5 sobre 15 puntos) a alumnos procedentes de la misma región (que hayan completado sus estudios anteriores o estén empadronados en la misma región).</p><p>No sé cómo será en otras regiones de España, pero a mí me da la impresión de que esto entorpece la movilidad de ciudadanos entre regiones de la UE.</p><p><a href="https://neopaquita.es/tags/Europa" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Europa</span></a><br><a href="https://neopaquita.es/tags/Madrid" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Madrid</span></a><br><a href="https://neopaquita.es/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FP</span></a></p>
//devdigest<p>⚡️ Refactoring Song Recommendations with F# Combinators</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4638" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4638</span><span class="invisible"></span></a></p>
//devdigest<p>⚡️ F# Weekly #25, 2025 – 7 Reasons F# Sucks</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4637" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4637</span><span class="invisible"></span></a></p>
//devdigest<p>⚡️ F# Weekly #24, 2025 – Fidelity &amp; BAREWire</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4611" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4611</span><span class="invisible"></span></a></p>
vascorsd<p>OxCaml, Jane Street's extension of OCaml is now open-source | Lobsters</p><p><a href="https://lobste.rs/s/unsbmk/oxcaml_jane_street_s_extension_ocaml_is" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lobste.rs/s/unsbmk/oxcaml_jane</span><span class="invisible">_street_s_extension_ocaml_is</span></a></p><p><a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ml</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a></p>
//devdigest<p>⚡️ F# Weekly #23, 2025: Microsoft Build Highlights</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</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/microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microsoft</span></a></p><p><a href="https://devdigest.today/goto/4589" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4589</span><span class="invisible"></span></a></p>
Microblog Castellano<p>Interesado en matricularte en Ciclos formativos de Formación Profesional, en Madrid?<br>Acaban de salir los plazos de solicitud (preinscripción).</p><p>CF Grado Superior (si tienes ya un Bachillerato o la prueba de acceso): 27 de junio al 4 de julio.</p><p>CF Grado Medio (si tienes la ESO, la prueba de acceso, un CF de grado básico o un certificado profesional tipo C (técnico/técnico básico) ): 23 al 30 de junio.</p><p>CF Grado Básico (si tienes 15 años o más y crees que nunca te sacarás la ESO con estudios teóricos): 20 al 27 de junio.</p><p>La inscripción se hace a través del sistema raíces, enlazado en la página de Formación Profesional de la Comunidad de Madrid.<br>Recuerda que, una vez te veas en la lista de admitidos, debes matricularte yendo físicamente al centro con tu documentación.</p><p><a href="https://neopaquita.es/tags/claustroVirtual" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>claustroVirtual</span></a><br><a href="https://neopaquita.es/tags/Madrid" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Madrid</span></a><br><a href="https://neopaquita.es/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FP</span></a></p>
alios<p>What Works (and Doesn't) Selling Formal Methods</p><p>„I love formal methods—I should say that to begin with, because this article is mostly about what doesn’t work when trying to do FM projects. Over the last 20 years, formal methods have grown and grown... I made a lot of mistakes when I was scoping and running formal methods projects. I’d like other people to avoid the pitfalls I fell into, and hopefully make bigger and more interesting mistakes.”</p><p><a href="https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">galois.com/articles/what-works</span><span class="invisible">-and-doesnt-selling-formal-methods</span></a></p><p><a href="https://23.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a></p>
//devdigest<p>⚡️ F# Weekly #22, 2025 Update</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4566" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4566</span><span class="invisible"></span></a></p>
vascorsd<p>Opam 103: Bootstrapping a New OCaml Project with opam | OCamlPro</p><p><a href="https://ocamlpro.com/blog/2025_04_29_opam_103_starting_new_project/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ocamlpro.com/blog/2025_04_29_o</span><span class="invisible">pam_103_starting_new_project/</span></a></p><p><a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ml</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a></p>
//devdigest<p>⚡️ F# Weekly #21 Highlights Build 2025 and ReSharper in VS Code</p><p>🏷️ <a href="https://mastodon.social/tags/devdigest" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>devdigest</span></a> <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/net" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>net</span></a> <a href="https://mastodon.social/tags/microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microsoft</span></a> <a href="https://mastodon.social/tags/ide" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ide</span></a> <a href="https://mastodon.social/tags/vscode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>vscode</span></a> <a href="https://mastodon.social/tags/visualstudio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>visualstudio</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a> <a href="https://mastodon.social/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a></p><p><a href="https://devdigest.today/goto/4418" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">devdigest.today/goto/4418</span><span class="invisible"></span></a></p>
Milo Dide<p>Los docentes de <a href="https://masto.ai/tags/FP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FP</span></a> no somos ni <a href="https://masto.ai/tags/ETTs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ETTs</span></a>, ni <a href="https://masto.ai/tags/administrativos" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>administrativos</span></a>: ¡queremos enseñar! - ¡Firma la petición! <a href="https://chng.it/XCh5dfRfsm" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">chng.it/XCh5dfRfsm</span><span class="invisible"></span></a> a través de @change_es</p>
vascorsd<p>Gren to WebAssembly - YouTube - <a href="https://www.youtube.com/watch?v=OCpzEw4T5bA" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=OCpzEw4T5bA</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/gren" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gren</span></a> <a href="https://mastodon.social/tags/wasm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wasm</span></a> <a href="https://mastodon.social/tags/elm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>elm</span></a> <a href="https://mastodon.social/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguages</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fp</span></a></p>