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

2 posts2 participants0 posts today

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.
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.
Gleam can also replace Elm on the browser. Code written in Gleam is apparently 30% faster than hand-written JavaScript.

gleam.run

gleam.runGleam languageThe Gleam programming language
#Gleam#Elixir#Rust

cgtvalencia.org/no-a-les-retal 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! #CGT #Valencia #CGTValencia #FP #NORETALLADESFP

CGT València · No a les retallades a la FP | CGT ValènciaLa Secció Sindical d’Ensenyament de CCT-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…

Hay una cosa que no sé si sería denunciable ante la UE pero que no veo que nadie critique.

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).

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.

#Europa
#Madrid
#FP

Interesado en matricularte en Ciclos formativos de Formación Profesional, en Madrid?
Acaban de salir los plazos de solicitud (preinscripción).

CF Grado Superior (si tienes ya un Bachillerato o la prueba de acceso): 27 de junio al 4 de julio.

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.

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.

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.
Recuerda que, una vez te veas en la lista de admitidos, debes matricularte yendo físicamente al centro con tu documentación.

#claustroVirtual
#Madrid
#FP

What Works (and Doesn't) Selling Formal Methods

„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.”

galois.com/articles/what-works

www.galois.comWhat Works (and Doesn't) Selling Formal Methods