Skip to content

Instantly share code, notes, and snippets.

View lmazardo's full-sized avatar

lmazardo

22 followers · 5 following
  • bordeaux
View GitHub Profile
@lmazardo
lmazardo / grading.sml
Created February 22, 2013 20:46
grading in coursera programming languages
datatype note = ProgrammingAssignments of int list
| PeerAssignments of int list
| Exam of int list
| Note of note list
fun grading n =
case n of
ProgrammingAssignments pl => (case pl of
[] => 0.0
| x::xs => 0.9 * Real.fromInt(x) + grading (ProgrammingAssignments xs))
@lmazardo
lmazardo / hw7spec.rb
Created March 22, 2013 00:19
require_relative 'hw7'
# tests
describe "Homework 7" do
describe Let do
before(:each) do
@let = Let.new("A", Point.new(10.0, 10.0), Shift.new(-10.0, -10.0, Var.new("A")))
end
@lmazardo
lmazardo / workflow_git.txt
Last active November 29, 2016 10:07
brouillon de workflow git
Un bon workflow pour git serait le suivant :
- avoir tout le temps branche distante _master_ :
* personne ne travaille directement dessus
* les tests automatiques passent dessus
* correspondant au code de production
- avoir tout le temps branche distante de développement _dev_ :
* future branche _master_
* développements en cours stable
@lmazardo
lmazardo / entreprise_idéale.md
Last active December 20, 2017 18:20
quelques idées en vrac sur l'entreprise idéale
  • Remboursement intégral (100%) des livres concernant le travail
  • Congés illimités ?
  • [The Joel Test: 12 Steps to Better Code] (http://www.joelonsoftware.com/articles/fog0000000043.html) ?
  • changer radicalement la façon de voir l'entreprise aux membres de la société
    • être un lieu d'épanouissement, de bien-être
  • "3M, for example, encourages engineers to devote 15% of their company time to pursuing their “dream.”" from the-new-new-product-development-game
  • véhicule (vélo) de fonction ?
@lmazardo
lmazardo / git_diff_tool_for_excel_files.md
Last active July 28, 2016 12:37
@lmazardo
lmazardo / git_diff_tool_for_excel_files.md
Last active June 13, 2018 14:43 
  echo "diffing $*"
  $HOME/bin/excel_cmp/bin/excel_cmp "$1" "$2"
  exit 0
  • Configure [git config] (file://)
@lmazardo
lmazardo / tips_and_tricks.md
Last active October 10, 2016 08:53
ansible

ansible-doc

la documentation des modules en ligne de commande notamment :

ansible-doc --list # ou -l

ansible-lint

Linter des playbooks ansible

@lmazardo
lmazardo / git_diff_tool_for_openoffice_odf_files.md
Last active June 2, 2017 13:55

File : <repository>/.git/config or $HOME/.gitconfig

[diff "odf"]
  textconv = odt2txt
  binary = true

If setting previous configuration in $HOME/.gitconfig, just add the following

@lmazardo
lmazardo / handling_data.yml
Last active July 12, 2017 06:45
System data
# permet de collecter des logs des différents applicatifs
# filtrage possible en local
collectors:
- rsyslog
- filebeat
- fluentbit
- {light, universal} forwarder (splunk)
# permet de filter les entrées
# gestion de cache, redirections, parsing
@lmazardo
lmazardo / slack_irc_gateway.md
Last active January 11, 2018 08:39
Interconnect irc client to a slack group

On peut utiliser son client irc pour s'interconnecter avec une team slack. Pour ce faire, il faut d'abord activer la gateway coté slack.

Après cette étape, il reste à configurer son son client irssi, on obtient le mot de passe et les informations de connexion en allant sur my.slack.com/account/gateways.