Skip to content

Instantly share code, notes, and snippets.

View jeantil's full-sized avatar
✔️

Jean Helou jeantil

✔️
View GitHub Profile
@jeantil
jeantil / openpgp.md
Last active November 7, 2022 21:38
keyoxide proof and verification

This is an OpenPGP proof that connects my OpenPGP key to this Github account. For details check out https://keyoxide.org/guides/openpgp-proofs

[Verifying my OpenPGP key: openpgp4fpr:CCD2779377C35AF94D66D27A9B47CB45459CCAC1]

@jeantil
jeantil / tf.log
Last active January 6, 2021 16:50
tf trace for baremetal creation at scaleway
> terraform apply
2021/01/06 17:49:40 [INFO] Terraform version: 0.14.3
2021/01/06 17:49:40 [INFO] Go runtime version: go1.15.2
2021/01/06 17:49:40 [INFO] CLI args: []string{"/usr/bin/terraform", "apply"}
2021/01/06 17:49:40 [DEBUG] Attempting to open CLI config file: /home/jean/.terraformrc
2021/01/06 17:49:40 [DEBUG] File doesn't exist, but doesn't need to. Ignoring.
2021/01/06 17:49:40 [DEBUG] ignoring non-existing provider search directory terraform.d/plugins
2021/01/06 17:49:40 [DEBUG] ignoring non-existing provider search directory /home/jean/.terraform.d/plugins
2021/01/06 17:49:40 [DEBUG] ignoring non-existing provider search directory /home/jean/.local/share/terraform/plugins
2021/01/06 17:49:40 [DEBUG] ignoring non-existing provider search directory /usr/share/ubuntu/terraform/plugins
foo
@jeantil
jeantil / eclipse.template
Created February 7, 2019 08:36
eclipse code template for immutable java messages (akka)
akkam
${is:importStatic(com.google.common.base.Preconditions.checkNotNull)}
public static final class ${messageName}{
private final ${type} ${name:newName(type)};
${cursor}
${messageName}(${type} ${name}){
checkNotNull(${name}, "${name} cannot be null");
this.${name}=${name};
}
public ${type} get${name}(){
@jeantil
jeantil / genesis_public_key
Created February 21, 2018 15:03
genesis_public_key
04f468a898d8fb19e1ac76cb454d019182d41957b6f44e7d2b76df8e197ea46d3b21238aa60035d7535c5efcbfb04fe3660c5ee2845c09ed7740680b22a6b24f97
@jeantil
jeantil / gist:530412fc7bf18199b0d03728fb563726
Last active March 7, 2018 13:38
Sujets Scala User Groups
Des sujets "scala basics" orientés syntaxe pour les débutants ( mais apportant des détails qui peuvent toujours intéresser les programmeurs expérimentés ) :
- Il était une fois un objet ( object oriented scala ) ✅ (livecoding)
- Pattern matching ✅ (livecoding)
- Il était une fois une fonction ( bases de programmation fonctionnelle) ✅ (livecoding)
- Gérer les erreurs en scala standard ✅ (livecoding)
- Les collections de la librairie standard ( et leurs petits défauts ) ✅ (livecoding)
Des sujets intermédiaires pour lesquels il vaudra mieux être familier avec la syntaxe :
- La monade et l'ingénieur 🔜
@jeantil
jeantil / algorithm.sql
Last active May 26, 2020 20:37
Code source d’Admission post-bac
--
-- le code ci-dessous a a été fortement amélioré par un effor collaboratif sur
-- https://github.com/jeantil/admission_post_bac
-- Pull requests, issues et contributions wiki sont les bienvenues.
-- Une partie du code a été rétro analysé a partir de diverses sources cf https://github.com/jeantil/admission_post_bac/wiki
--
FUNCTION gen class alea V1 relatif grp(
o_g_ea_cod_ins IN VARCHAR2,
o_g_ti_cod IN NUMBER,
@jeantil
jeantil / .gitconfig
Last active September 22, 2016 11:34
git changelog
[alias]
current-tag= describe --abbrev=0 --tags
previous-tag= "!sh -c 'git describe --abbrev=0 --tags $(git current-tag)^'"
changelog = "!sh -c 'git --no-pager lg --first-parent $(git previous-tag)..$(git current-tag)'"
@jeantil
jeantil / Administratif.md
Created August 30, 2016 13:26
Objectifs video CPE 2 septembre
  • Devis salles pour formation (lundi et mardi)
  • Mise à disposition de réseau filaire dans les salles (a minima grand amphi) pour l'enregistrement et le streaming
@jeantil
jeantil / scala.txt
Created August 24, 2016 13:22
getting started with scala
Infos générales et saines lectures
- les 4 articles Strategic Scala Style du blog de lee haoyi
http://www.lihaoyi.com/post/StrategicScalaStylePrincipleofLeastPower.html
http://www.lihaoyi.com/post/StrategicScalaStyleConcisenessNames.html
http://www.lihaoyi.com/post/StrategicScalaStylePracticalTypeSafety.html
http://www.lihaoyi.com/post/StrategicScalaStyleDesigningDatatypes.html
Et la track de Daniel westheide
http://danielwestheide.com/scala/neophytes.html
Pour te familiariser avec le langage lui même tu peux pratiquer avec les workshops