Commit 635de55b authored by Dario Pinto's avatar Dario Pinto
Browse files

finish adding all fr articles, map updated, some css fixed

parent a871e03c
......@@ -38,15 +38,6 @@ p img {
text-align: center;
}
.toplinks2 {
float: left;
}
.toplinks3 {
float: left;
margin-left: 140px;
}
h1, h2 {
font-family: "Fontin-Bold"; /*Seems a little bit too 'boudiné' : not beautiful on smartphones and tabs*/
}
......@@ -59,6 +50,18 @@ h1, h2 {
border-radius: 12px;
}
.blockquote-footer::before {
content: "";
}
.blockquote-footer {
margin-top: -1rem;
margin-bottom: 1rem;
font-size: .875em;
color: #6c757d;
text-align: center;
}
.featurette-divider {
margin: 5rem 0;
}
......@@ -217,6 +220,7 @@ img.feed {
.card-title {
text-align: center;
font-family: "Fontin";
margin-top: 10px;
}
.h3, h3 {
......
title=Release d’opam 2.0.5
authors=Raja Boujbel,Louis Gesbert
date=2019-07-23
category=Tooling
tags=opam,fr
Nous sommes fiers d’annoncer la release (mineure) d’ [opam 2.0.5](https://github.com/ocaml/opam/releases/tag/2.0.5). Cette nouvelle version contient des mises à jours de build et correctifs.
> [Plus d’information](/2019/07/11/opam-2-0-5-release/)
title=Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library
authors=Thomas Blanc
date=2019-09-13
category=OCaml
tags=ocaml,documentation,cheat-sheets,fr
Les mémentos (cheat-sheets) OCaml lang et OCaml stdlib partagés par OCamlPro en 2011 ont été mis à jour pour OCaml 4.08.
- [Le langage OCaml](https://ocamlpro.github.io/ocaml-cheat-sheets/ocaml-lang.pdf)
- - [OCaml Standard Library](https://ocamlpro.github.io/ocaml-cheat-sheets/ocaml-stdlib.pdf)
Si vous souhaitez contribuer des améliorations: [sources sur GitHub](https://github.com/OCamlPro/ocaml-cheat-sheets).
En savoir plus : [Updated Cheat Sheets: OCaml Language and OCaml Standard Library](/2019/09/13/updated-cheat-sheets-ocaml-language-and-ocaml-standard-library/)
title=Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
authors=OCamlPro
date=2019-09-25
category=Trainings
tags=documentation,report,training,fr,formation
![](/blog/assets/img/trainings_2019.png)
OCamlPro lance un cycle de formations régulières à OCaml, en français, dans ses locaux parisiens (métro Alésia). La première session aura lieu début novembre 2019, avec 2 formations:
- Formation débutant : [passer à OCaml](/fr/formation-passer-a-ocaml/) (5-6 novembre)
- Formation expert : [approfondir sa maîtrise du langage](/fr/formation-expert-ocaml/) (7-8 novembre).
La formation expert sera l’occasion pour des programmeurs OCaml ayant
déjà une certaine expérience de mieux comprendre les possibilités
avancées du typage (objets, GADTs), de découvrir en détail le
fonctionnement du GC et d’écrire du code optimisable par le compilateur.
Ces formations sont aussi une occasion de venir discuter avec les
lead développeurs et contributeurs d’OPAM et Flambda chez OCamlPro.
> Des formations en anglais peuvent aussi être organisées sur demande à contact@ocamlpro.com
title=OCamlPro’s compiler team work update
authors=Vincent Laviron
date=2019-08-30
category=OCaml
tags=flambda2,compiler
![](/blog/assets/img/picture_cpu_compiler.jpeg)
Nous sommes heureux de présenter certains travaux en cours sur le compilateur OCaml, travaux menés en étroite collaboration avec notre partenaire et client Janestreet.
Un travail conséquent a été fait pour aboutir à un nouveau framework d’optimisation du compilateur, appelé Flambda2, dont nous espérons qu’il corrigera certains défauts apparus dans Flambda. En parallèle, l’équipe a mené à bien certaines améliorations immédiates sur Flambda, ainsi que des modifications du compilateur qui seront utiles pour Flambda2.
Voir (en anglais) : [OCamlPro’s compiler team work update](/2019/08/30/ocamlpros-compiler-team-work-update/)
title=2019 chez OCamlPro
authors=OCamlPro
date=2020-02-04
category=OCamlPro
tags=compiler,cheat sheet,OCamlPro,opam,Rust,Try-OCaml,OCaml,Alt-Ergo,blockchains,Flambda2,fr
![2019 at OCamlPro](assets/img/logo_ocp_2019.png)
OCamlPro a pour ambition d’aider les industriels dans leur adoption du langage OCaml et des méthodes formelles. L’entreprise est passée d’1 à 21 personnes et est restée fidèle à cet objectif. L’année 2019 chez OCamlPro a été très animée, et le nombre de réalisations impressionnant,
d’abord dans le monde OCaml (flambda2 & optimisations du compilateur, opam 2, notre interface Rust pour memprof, des outils comme
tryOCaml, ocp-indent, et le soutien à la OCaml Software Foundation), et dans le monde des méthodes formelles (nouvelles versions de notre
solveur SMT Alt-Ergo, lancement du Club des utilisateurs Alt-Ergo,lancement du langage Love, etc.)
[Lire la suite (en anglais)](/2020/02/04/2019-at-ocamlpro/)
title=Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit
authors=Thomas Blanc
date=2020-03-23
category=OCaml
tags=best fit,fr,gc,ocaml
![An in-depth Look at OCaml’s new "Best-fit" Garbage Collector Strategy](assets/img/logo_round_ocaml_search.png)](/blog/2020_03_23_in_depth_look_at_best_fit_gc)
Le GC d’OCaml oeuvre discrètement à l’efficacité de vos allocations mémoire. Tel un héros de l’ombre, il reste méconnu de la plupart des
hackers OCaml. Avec l’arrivée d’OCaml 4.10, il s’enrichit d’une nouvelle stratégie apparue dans le [changelog](https://ocaml.org/releases/4.10.0.html#Changes), signée de Damien Doligez.
Dans cet article nous commençons à explorer la nouvelle stratégie baptisée *best-fit *du nouveau Glaneur de Cellules dans OCaml 4.10.
> En savoir plus : [article en anglais](/2020/03/23/ocaml-new-best-fit-garbage-collector/).
......@@ -69,7 +69,7 @@ let old_to_new =
; ("/fr/author/acoquer/", "/blog/authors/albin_coquereau")
; ("/fr/author/adrien/", "/blog/authors/adrien_champion")
; ("/fr/author/aurore/", "/blog/authors/aurore_dromby")
; ("/fr/author/cagdas/", "/blog/authors/cagdas_bozman")
; ("/2fr/author/cagdas/", "/blog/authors/cagdas_bozman")
; ("/fr/author/louis/", "/blog/authors/louis_gesbert")
; ("/fr/author/thomas/", "/blog/authors/thomas_blanc")
; ("/fr/author/ocamlpro/", "/blog/authors/ocamlpro")
......@@ -223,6 +223,8 @@ let old_to_new =
, "/blog/2018_07_26_opam_2.0.0_rc4_final_is_out" )
; ( "/2018/09/19/opam-2-0-0-release-and-repository-upgrade/"
, "/blog/2018_09_19_opam_2.0.0_release_and_repository_upgrade" )
; ( "/fr/2018/11/01/release-de-opam-2-0-0-et-mise-a-jour-du-depot/"
, "/blog/2018_09_19_opam_2.0.0_release_and_repository_upgrade" )
; ( "/2018/10/17/ocamlpros-tzscan-grant-proposal-accepted-by-the-tezos-foundation-joint-press-release/"
, "/blog/2018_10_17_ocamlpros_tzscan_grant_proposal_accepted_by_the_tezos_foundation_joint_press_release"
)
......@@ -274,19 +276,27 @@ let old_to_new =
; ( "/fr/2019/07/10/resultats-de-la-smt-comp-2019-pour-alt-ergo/"
, "/blog/2019_07_10_fr_résultats_de_la_smt_comp_2019_pour_alt_ergo")
; ("/2019/07/11/opam-2-0-5-release/", "/blog/2019_07_11_opam_2.0.5_release")
; ("/fr/2019/07/23/release-opam-2-0-5/", "/blog/2019_07_23_fr_release_dopam_2.0.5.md")
; ( "/2019/08/30/ocamlpros-compiler-team-work-update/"
, "/blog/2019_08_30_ocamlpros_compiler_team_work_update" )
; ("/fr/2019/08/30/travaux-en-cours-sur-le-compilateur-ocaml/"
, "/blog/2019_09_30_fr_travaux_sur_le_compilateur_ocaml_dernieres_nouvelles")
; ( "/2019/09/13/updated-cheat-sheets-ocaml-language-and-ocaml-standard-library/"
, "/blog/2019_09_13_updated_cheat_sheets_language_stdlib_2" )
; ( "/fr/2019/09/13/mise-a-jour-des-cheat-sheets-ocaml-language-et-ocaml-standard-library/"
, "/blog/2019_09_13_fr_mise_a_jour_des_cheat_sheets_ocaml_language_et_ocaml_standard_library")
; ( "/2019/09/20/a-look-back-on-ocaml/"
, "/blog/2019_09_20_look_back_ocaml_since_2011" )
; ( "/2019/09/25/ocaml-expert-and-beginner-training-by-ocamlpro-in-french-nov-5-6-7-8/"
, "/blog/2019_09_25_ocaml_expert_and_beginner_training_by_ocamlpro_in_french_nov_5_6_7_8"
)
; ( "/fr/2019/09/25/formations-ocaml-par-ocamlpro-5-6-et-7-8-novembre-2019/"
, "/blog/2019_09_25_fr_formations_ocaml_par_ocamlpro_5_6_et_7_8_novembre_2019")
; ( "/2020/01/10/opam-2-0-cheatsheet/"
, "/blog/2020_01_10_opam_2.0_cheat_sheet" )
; ( "/2020/01/16/opam-2-0-6-release/", "/blog/2020_01_16_opam_2.0.6_release")
; ( "/2020/02/04/2019-at-ocamlpro/", "/blog/2020_02_04_2019_at_ocamlpro")
; ( "/fr/2020/02/04/2019-chez-ocamlpro/", "/blog/2020_02_04_fr_2019_chez_ocamlpro")
; ( "/2020/03/03/alt-ergo-userss-club-annual-meeting/"
, "/blog/2020_03_03_reunion_annuelle_du_club_des_utilisateurs_dalt_ergo"
)
......@@ -294,12 +304,16 @@ let old_to_new =
, "/blog/2020_03_16_new_version_of_try_ocaml_in_beta" )
; ( "/2020/03/23/ocaml-new-best-fit-garbage-collector/"
, "/blog/2020_03_23_in_depth_look_at_best_fit_gc" )
; ( "/fr/2020/03/23/ocaml-4-10-best-fit-garbage-collector/"
, "2020_03_23_fr_le_nouveau_gc_docaml_4.10_premier_apercu_de_la_strategie_best_fit")
; ("/2020/04/21/opam-2-0-7-release/", "/blog/2020_04_21_opam_2.0.7_release")
; ( "/2020/04/21/opam-2-1-0-alpha-is-here/"
, "/blog/2020_04_21_opam_2.1.0_alpha_is_here" )
; ( "/fr/2020/04/21/sortie-de-opam-2-1-0-alpha/"
, "/blog/2020_04_21_opam_2.1.0_alpha_is_here" )
; ( "/2020/05/19/ocaml-solidity-parser-with-menhir/"
, "/blog/2020_05_19_ocaml_solidity_parser_with_menhir" )
; ( "/fr/2020/06/01/tutoriel-format/", "/blog/2020_06_01_tutoriel_format")
; ( "/fr/2020/06/01/tutoriel-format/", "/blog/2020_06_01_fr_tutoriel_format")
; ( "/2020/06/05/interview-sylvain-conchon-joins-ocamlpro/"
, "/blog/2020_06_05_interview_sylvain_conchon_joins_ocamlpro" )
; ( "/fr/2020/06/05/interview-sylvain-conchon-rejoint-ocamlpro/"
......@@ -317,6 +331,7 @@ let old_to_new =
; ( "/2021/01/22/release-of-alt-ergo-2-4-0/"
, "/blog/2021_01_22_release_of_alt_ergo_2_4_0" )
; ( "/2021/02/02/2020-at-ocamlpro/", "/blog/2021_02_02_2020_at_ocamlpro")
; ( "/fr/2021/02/02/2020-chez-ocamlpro/", "/blog/2021_02_02_2020_at_ocamlpro")
; ( "/2021/02/09/opam-2-0-8-release/", "/blog/2021_02_08_opam_2.0.8_release")
; ( "/2021/03/29/new-try-alt-ergo/", "/blog/2021_03_29_new_try_alt_ergo")
; ( "/2021/04/29/alt-ergo-users-club-annual-meeting-2021/"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment