#COBOL2025 : un héritage vital, une modernisation essentielle. Les systèmes COBOL restent au cœur d’infrastructures critiques. Comment relèvent-ils le défi de la #modernisation ? Les résultats du sondage : superbol.eu/blog/survey-...

🌐 Trois journées dans l’écosystème WebAssembly ! Entre le Community Group Meeting et le Wasm Research Day, des échanges riches En attendant la prochaine vidéo, découvrez la présentation de Léo : www.youtube.com/watch?v=x6V-... sur le “Cross-language bug-finding through Wasm” @scsatcmu.bsky.social

Passez au niveau supérieur🚀avec notre #Formation #Rust Avancée du 4 au 6 février 2025 en présentiel. Perfectionnez votre expertise et boostez vos projets !🔗 Inscrivez-vous ici training.ocamlpro.com/formation-ru...

🦀 Formez-vous à #Rust ! Sessions à venir : Débutant du 4-6 nov et Avancé du 9-11 déc Apprenez avec des experts, pratiquez sur des cas réels et rejoignez la communauté #Rust française. 👉 Infos & inscriptions : training.ocamlpro.com

Les résultats du sondage COBOL 2025 sont disponibles ! 💡 COBOL est un socle critique, souvent invisible, mais essentiel pour des centaines d’organisations. Découvrez le rapport complet : superbol.eu/news/survey-... #COBOL #Mainframe #ModernisationIT #SuperBOL #OCamlPro

Meetup #OUPS — lundi 13 octobre 2025 à 18h30 📍4 place Jussieu (amphi Astier, bâtiment Esclangon) 🧠 Au programme : - What's the deal with modular implicits ? — Samuel Vivien - Flambda2: Abstractions without Cost — Guillaume Bury Infos & inscription : www.meetup.com/fr-FR/ocaml-...

🚀 OCamlPro sera à #EuroRust 2025 du 9 au 11 octobre à📍Paris ! Notre collègue Arthur Carcano y représentera l’équipe pour échanger avec la communauté #Rust autour d’innovation, de performance et de fiabilité logicielle. 👉 Programme complet : ti.to/events-matte...

🦀 Formations #Rust Rejoignez notre programme de formation Rust et développez votre expertise dans l'un des langages les plus prometteurs. Sessions à venir : - Formation hashtag#Rust Avancé → 7-9 octobre - Formation hashtag#Rust Débutant → 4-6 novembre Inscriptions : training.ocamlpro.com

La conf Rust in Paris 2025 est en ligne ! Arthur explore les coulisses du panic! en Rust dans "What Happens When You Start Panicking". lnkd.in/eqwAAXgN Chez OCP, nous sommes fiers de soutenir des événements qui font avancer l’écosystème des langages fonctionnels & systèmes.

🆕 Nouveau sur le blog OCamlPro : OCaml Onboarding – Introduction à Dune Un guide pratique pour bien démarrer avec OCaml et comprendre le système de build Dune. 👉 À lire ici : ocamlpro.com/blog/2025_07...

Vos applis #COBOL sur #IBMAIX arrivent en fin de support ? Avec #GnuCOBOL & SuperBOL, OCamlPro vous aide à migrer vers Linux : - Moins de coûts - Plus de sécurité - Modernisation sans réécriture Libérez vos applis de l’obsolescence !

DERNIÈRES PLACES - Formations #Rust 🦀 Nos sessions de rentrée affichent presque complet ! Disponible : - Rust Débutant : 9-11 septembre - Rust Avancé : 7-9 octobre Au programme : apprentissage progressif, projets concrets, expertise reconnue Réservez : lnkd.in/eGhqRDR7

🌞 OCamlPro passe en mode "Au Calme Pro" Nos équipes prennent une pause bien méritée pour revenir avec encore plus d'énergie et d'innovation du 4 𝑎𝑢 15 𝑎𝑜𝑢̂𝑡 𝑖𝑛𝑐𝑙𝑢𝑠. Rendez-vous à la rentrée ! Excellent été à toutes et à tous !🏖️

📊RAPPEL : Questionnaire #COBOL 2025 Aidez-nous à dresser un état des lieux de l'écosystème #COBOL en 2025. Le questionnaire est toujours ouvert. Nous avons besoin de votre retour d'expérience. form.typeform.com/to/NSuM9Z2r Merci pour votre participation !

RENTRÉE TECH : Formations #Rust 2025 L'été, c'est le moment parfait pour planifier votre montée en compétences ! Nos prochaines sessions : Rust Débutant : 9-11 septembre Rust Avancé : 7-9 octobre Inscriptions : training.ocamlpro.com

OCamlPro x La Communauté Du COBOL The #COBOL 2025 survey is now available in English! We're interested in your COBOL experience, regardless of your role. Share your feedback: form.typeform.com/to/EZECRBTV

Notre questionnaire #COBOL 2025 est disponible en anglais ! Votre expérience COBOL nous intéresse, quel que soit votre rôle. Partagez votre retour d'expérience ici : form.typeform.com/to/EZECRBTV?...

Le secret de #GnuCOBOL ? Il compile vers du C intermédiaire, puis utilise le compilateur C local. Résultat : ✅ Portabilité maximale ✅ Moins de bugs ✅ Accès aux outils Unix/Linux ✅ Zéro souci de migration Questionnaire COBOL France 2025 : form.typeform.com/to/NSuM9Z2r

Merci #RustParis2025 !🦀Quelle journée ! Des talks passionnants, belle énergie et échanges pointus autour de #Rust. Revivez notre intervention lnkd.in/eV3s5Y8P Merci aux équipes du Hub Cyber & Security Systematic et Systematic Paris-Region pour l'organisation parfaite et à tous les sponsors !

Jour J - #RustParis2025 ! Retrouvez le programme complet sur rustparis.fr Merci aux partenaires : 🥇OCamlPro et thalesgroup 🥈cenotelie, zettascale et techxbtogroup et à Pole_Systematic et HubOpenSource pour l'organisation.

#RustParis2025 DEMAIN ! 100% retours industriels #Rust🦀 Programme : Embarqué, #Cybersécurité, Vérification formelle, Cloud #WebAssembly, OS Merci aux sponsors : Gold OCamlPro, thalesgroup Silver : AdaCore, cenotelie, zettascaletech Inscription : rustparis.fr

OCamlPro au séminaire Dagstuhl WebAssembly (9-13 juin). Présentation d'Owi et échanges avec les leaders de l'écosystème #Wasm : Google, fastly, Siemens, Microsoft, dfinity. Une semaine d'innovation collaborative sur l'avenir des sémantiques Wasm ! 🔗 dagstuhl.de/seminars/sem...

Formations #Rust 2025 ! Prochaines sessions : Rust Débutant : 9 - 11 sept Rust Avancé : 7 - 9 octobre Sécurité mémoire + performances exceptionnelles = le combo gagnant 👉 Inscriptions : training.ocamlpro.com/formation-ru... #RustLang #Dev #Formation

Chez OCamlPro, l’équipe SuperBOL et Clever Cloud ont migré 2 applis #COBOL + #CICS (~20k lignes) vers le cloud (PC/Linux). Résultat : traitement en ligne, PostgreSQL, infra cloud-native avec #GnuCOBOL. La preuve que COBOL peut se moderniser. 📰En savoir plus : superbol.eu/blog/ocamlpr...

#Programming2025 démarre à Prague ! L’équipe OCamlPro est sur place du 2 au 6 juin.🎤 Ne ratez pas la présentation de Léo Andres sur #Owi, notre projet #Wasm ! 🔗Infos & programme : 2025.programming-conference.org 💻 Découvrir Owi : github.com/ocamlpro/owi

Des systèmes critiques en #OpenSource ? Oui, avec #GnuCOBOL Déjà en prod dans des banques… et à la Direction générale des Finances publiques. Reprenez le contrôle sur vos systèmes legacy. 📊Donnez votre avis sur l’usage de COBOL en France : lnkd.in/eH8_6UuZ

La 7ᵉ réunion du Club Alt-Ergo a eu lieu la semaine dernière ! Un moment riche d’échanges avec nos partenaires sur les usages et évolutions du solveur #AltErgo, développé chez OCamlPro depuis 2014. En savoir plus ou rejoindre le Club : alt-ergo.ocamlpro.com

Comment Rust transforme-t-il le dev logiciel industriel ? Venez en parler à #RustParis2025 le 25 juin ! OCamlPro co-organise avec thalesgroup (sponsor Gold). Talks : systèmes embarqués, #cybersécurité, #WebAssembly, vérification formelle et la certification, e cloud via #WebAssembly 🎟️ rustparis.fr

🚀Nouveau sur le blog OCamlPro : Opam 103 – Starting a new project Envie de lancer un projet #OCaml sans galérer ? On vous guide pas à pas : outils, structures, tests, .opam. L'article au complet : ocamlpro.com/blog/2025_04... #OpenSource #Rust #WebAssembly #Dev

#COBOL : maintenir, migrer… ou repenser ? Chez OCamlPro, on explore une 3ᵉ voie avec #GnuCOBOL : ✅ Garder le code ✅ Supprimer les licences ✅ S’exécuter sur PC, cloud, containers ✅ Se libérer des dépendances On mène une étude sur COBOL en 2025 : form.typeform.com/to/NSuM9Z2r#...

#COBOL, lisible… mais complexe ! OCamlPro lance SuperBOL Studio : outils #opensource pour #COBOL dans #VSCode. Coloration, complétion, diagnostics, tests… et plus ! Vos devs COBOL ont des besoins spécifiques ? On adapte SuperBOL Studio à vos cas les plus complexes.

La Communauté Du COBOL & OCamlPro lancent un questionnaire pour mieux comprendre les usages réels du #COBOL en 2025, et les défis concrets de celles et ceux qui le font vivre. Participez en quelques minutes : form.typeform.com/to/NSuM9Z2r

Formations #Rust 2025 – Montez en compétence avec un langage sûr, rapide et moderne ! Débutant ou confirmé ? Nos experts vous accompagnent. Prochaines #sessions : Débutant → 13-15 mai, 3-5 juin, 9-11 sept, 4-6 nov Avancé → 12-14 juin, 7-9 oct, 9-11 déc 🔗 training.ocamlpro.com

#COBOL est partout, mais ses usages réels restent méconnus. La Communauté du COBOL & OCamlPro lancent une grande enquête sur COBOL en 2025 ! Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte. 📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r

C’est demain ! 🎊 Vous pouvez toujours vous inscrire ici www.meetup.com/fr-FR/ocaml-...

Dans l’Open Source, les chemins divergent, mais peuvent aussi se rejoindre. La Direction General des Finances Publiques a confié à SuperBOL d’OCamlPro la fusion de 2 branches #GnuCOBOL : stable et innovante. 500+ commits, +10 mois de travail. Plus sur GnuCOBOL superbol.eu

#OUPS Meetup – Avril 2025 La communauté #OCaml se retrouve le jeudi 24 avril à 18h30 à l’ENS Paris !📍 45 Rue d'Ulm, Paris 5 🔗 Infos & inscription : discuss.ocaml.org/t/oups-meetu... #FunctionalProgramming #OCaml

🚨OCamlPro recrute ! Rejoignez une équipe où #OCaml, #Rust et rigueur technique riment avec passion. Postes ouverts : - Chef·fe de projet Informatique & R&D - Ingénieur·e R&D OCaml Senior - Ingénieur·e R&D OCaml 📍 Paris | CDI | Temps plein 🔗 Tous les détails et candidatures ici : ocamlpro.com/jobs/

🆕 Nouvel article sur le blog ! Épisode 4 de la série #Flambda2 Snippets :"How to write a purely functional compiler" Dans les coulisses du compilateur #OCaml optimisant Flambda2, fruit de 10+ ans de R&D avec Jane Street ocamlpro.com/blog/2025_02...

📢 Formations #Rust 2025 – Inscrivez-vous ! 🔗 Réservez votre place : training.ocamlpro.com

Rust Paris est de retour ! La conférence #RustParis2025 aura lieu le 25 juin 2025. Plus de 200 participants attendus pour des discussions passionnantes ! L’appel à propositions pour les exposés est ouvert jusqu’au 6 avril. N’hésitez pas à proposer votre intervention : framaforms.org/rust-paris-2...

🚀 Le projet Decysif se réunit chez @ocamlpro.bsky.social pour avancer sur la sécurisation du langage Rust ! 🔗 decysif.fr/fr/ 💡 Sécurise votre code Rust est un enjeu ? Parlons-en ! Projet financé par @bpifrance-officiel.bsky.social & @iledefrance.bsky.social

#RustinParis 2025 ! Retrouvez Arthur Carcano le 14 mars à 09h30 pour sa conférence "What Happens When You Start Panicking". Il dévoilera les coulisses de panic! en Rust et ses dernières évolutions pour une meilleure intégration inter-langages. www.rustinparis.com/schedule #RustLang #RustLang

🚀 Maîtrisez #Rust, le langage de la sécurité et de la performance. 📅 Nos prochaines sessions : 🔹 Débutant : 4-6 mars | 15-17 mai | 3-5 juin | 9-11 sept. | 4-6 nov. 🔹 Avancé 🚀 : 8-10 avril | 12-14 juin | 7-9 oct. | 9-11 déc. 🎯 Inscrivez-vous dès maintenant ! training.ocamlpro.com

L'IRIF organise un séminaire intitulé "Preuves, programmes et systèmes". Léo Andrès présentera #Owi, un moteur d'exécution symbolique inter-langages, dédié à la recherche de bugs et à la programmation assistée par solveur, demain à 10h30.📍Salle 3052 & en ligne Lien de connexion en commentaire 👇

OCamlPro est ravi d'annoncer que Léo Andrès interviendra demain, le 11 février, à 20h00 (heure française) au Wasm Research Day 2025 sur le thème : "Cross-language bug-finding and solver-aided programming through Wasm". Une édition prometteuse pour l’écosystème Wasm ! 🔥

OCamlPro sera à📍Nantes les 6 et 7 février 2025 pour le Clever Cloud Fest ! 🎉 Au programme : keynotes, ateliers et tables rondes pour explorer les tendances tech. 👉 Programme : www.clever-cloud.com/fr/clever-cl... #OCamlPro #Innovation #TechEvents

La Formation #Rust Avancée approche à grands pas : du 4 au 6 février 2025 ! Si vous voulez approfondir vos compétences et maîtriser les concepts clés de #Rust, c’est le moment pour vous inscrire ! 🔗Lien d'inscription : training.ocamlpro.com/formation-ru...

Very interesting panel on Cyber Security regulations at Software Heritage summit www.softwareheritage.org/2024/11/19/s... @ocamlpro.bsky.social