Journal autocsv2sql : un utilitaire pour convertir ses CSV sans se poser de question, "écris" en OCaml

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
10
13
mar.
2024

Cher Journal,

J'ai probablement mal cherché dans les tréfonds de l'internet, mais je rêvais depuis longtemps d'un bête utilitaire en CLI pour me convertir un CSV en SQL sans me poser de question, ie. je lui donne le fichier et il se débrouille avec les types de données, l'ordre de création de table.

C'est maintenant chose faite avec autocsv2sql, un utilitaire que j'ai "écris" en OCaml, et qui fait globalement bien le taf pour la 20aine de CSV que (…)

Journal Le début de la fin pour Intel ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
81
31
août
2020

Apple a récemment officiellement annoncé ce qui se tramait depuis longtemps : les Macbook vont passer sur architecture ARM. Vous allez me dire que vous vous en fichez, puisqu'Apple cédéméchan çapucépalibre.
Mais des signaux plus ou moins faibles indiquent ça et là qu'Intel est mal barré.
Exposé des faits

1. Apple lâche Intel, mais on le savait

Les rumeurs sur le lâchage d'Intel par Apple bruissait depuis longtemps. Qui plus est, l'utilisation de plus en plus fréquente de leur propres (…)

Journal #LaDictatureQuiVient Wi-Fi interdit, Tor bloqué, backdoors… les nouvelles idées au gouvernement

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
18
26
juil.
2016

Dans un article publié par Numerama, il nous est dévoilé comment va se terminer dans la honte l'expérience démocratique française.

Au menu :

  • Interdiction des wifi ouvert
  • Interdiction de TOR et consorts
  • Obligation des fournisseurs de VOIP de fournir les clé pour qu'on puisse nous écouter

Nous rentrons en post-démocratie, comme Todd l'avait annoncé dans son livre "Après la démocratie".
Ami écolo, anarchiste, alternatif, ta vie va devenir un cauchemar…

Le piège se met peu à peu en place (…)

Journal Le Code Civil sur Github

Posté par  (site web personnel) . Licence CC By‑SA.
52
31
mar.
2015

Une initiative personnelle est à l'origine du dépôt du Code Civil sur Github.

L'auteur a bien fait les choses, puisque chaque loi est l'objet d'un commit, 275 en tout.
Les plus vieux commits datent de Napoléon, auteur du Code.

Une belle initiative, qui, dans la continuité des ateliers constituants, permettraient à des groupes de travailler sur une amélioration fictive du Code, par des groupes de citoyens.

Il serait intéressant de faire de même sur notre Constitution (bien (…)

Journal Journal Bookmark #2

32
15
déc.
2014

Journal Journal Bookmark #1

Posté par  (site web personnel) . Licence CC By‑SA.
15
13
sept.
2014

Dimensions, une extension Chrome permettant de mesurer, en pixels, tous les éléments d'une page web.

Un expérience testant les limites de la commandes cp : que ce passe t-il lorsqu'on copie 432 millions de fichiers totalisant 39 To ?

Morte, une expérience pour faire une sorte de templating (comme ceux de C++) automatique : il regarde ce qui est calculable en fonction des informations dont il dispose dans le code et précompile

Algomation, un site pour visualiser des (…)

Intercooler.js

Posté par  (site web personnel) . Édité par Benoît Sibaud. Modéré par ZeroHeure. Licence CC By‑SA.
Étiquettes :
20
5
juil.
2014
JavaScript

Intercooler.js est une énième, mais nouvelle bibliothèque JavaScript pour les sites web orientés client lourd.

Elle propose un mécanisme déclaratif assez intéressant : le comportement de l'interface est codé dans les attributs de balises HTML standard.
Elle simplifie la vie du développeur en évitant de devoir intégrer des évènements sur des sélecteurs JQuery (ou ses concurrents) : celui-ci a le choix de provoquer un appel AJAX ou un appel interne sur une fonction javascript, de manière déclarative dans le code HTML.

Intercooler est basé sur le concept de Partial View Controller. Dans cette approche, le serveur renvoi des fragments de HTML à intégrer dans l'interface.

Journal Faut-il arrêter l'Euro ?

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
7
27
mai
2013

Cette opinion iconoclaste est très dérangeante pour la plus part d'entre nous, européens convaincus. C'est pourtant une option qui se dessine dans d'autres milieux que ceux des souverainistes et autres nationalistes, dont la motivation principale est l'attache au concept de nation.

L'euro, installé depuis 11 ans, est devenu, d'après certains, un veau d'or à sauver. C'est à dire qu'une monnaie censé être un outil pour les hommes est devenu un symbole auquel on sacrifie le bien être des populations.

(…)

Journal Quelques projets intéressants en OCaml

Posté par  (site web personnel) . Licence CC By‑SA.
32
28
fév.
2013

Ocaml est souvent enseigné aux étudiant par un prof chiant qui nous impose une soupe théorique qu'on est pas forcément prêt à avaler (plus tard, on comprend son intérêt, mais plus tard).
C'est pourtant un langage puissant et généraliste, tout à fait adapté à faire des logiciels de la vraie vie. Et non, il n'y a pas que ML Donkey.

Je recense donc dans ce journal bookmark quelques projets sympa en OCaml, très divers, mais utiles.
Je précise que je (…)

Journal Cartographie de la métadynamique

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes : aucune
3
20
fév.
2013

Sommaire

Les sciences humaines sont un domaine en définitive assez difficile à qualifier scientifiquement.
Pour les scientifiques que nous sommes, beaucoup de constructions des sciences humaines et sociales tiennent sur du vide.
A leur décharge, même en le maitrisant, les chercheurs n'ont pas le confort de travailler dans un domaine ou l'axiomatique et les règles de raisonnements peuvent être clairement formalisées, voire testées par une machine.
Tout (…)

Pourquoi les développeurs n'utilisent pas plus de machines à état ?

Posté par  (site web personnel) . Édité par baud123, rootix et NeoX. Modéré par rootix. Licence CC By‑SA.
Étiquettes :
63
1
fév.
2013
Technologie

Les langages de programmations, de quelques paradigmes qu'ils soient (bien qu'un peu moins pour le paradigme logique), sont basés sur le concept de liste d'instructions exécutées à la suite par la machine. La machine exécutant ce code est une machine à état, mais le programme n'est pas formellement pensé comme tel.

Les machines à état semblent pourtant un bon outil pour la programmation des logiciels que nous avons l'habitude de développer : facile à dessiner sur papier, permettant un découpage clair du fonctionnement de l'application.
Sans compter qu'une machine à état se patche plus facilement qu'un code classique où l'effet spaghetti peut vite impliquer des effets indésirables.
Les designers de Qt l'ont bien compris en permettant de définir des machines à état pour décrire le comportement du contrôleur.

C'est pourquoi certains se sont demandés si la programmation en machine à état ne devrait pas être plus pratiquée et aimée des programmeurs. C'est, par exemple, ce que se demande Willem van Bergen, carrément enthousiaste.
Celui-ci pense que c'est le stockage de l'historique qui est essentiel.

Plus circonspect, Alan Skorkin étudie la problématique de reprise de code, afin de comparer les approches, pour conclure que si les machines à états ne sont pas la panacée, elles sont très intéressantes si on conçoit le code avec.

Un très intéressant débat est né de cette polémique sur Hacker News.

Conférence sur Coq à la Cantine - Nantes le 27/11/2012

Posté par  (site web personnel) . Édité par Benoît Sibaud. Modéré par rootix.
Étiquettes : aucune
7
22
nov.
2012
Communauté

NantesFP organise le mardi 27 novembre 2012 à 19h30 une conférence sur le logiciel assistant de preuve Coq.

La présentation aura lieu à la Cantine, impasse Juton à Nantes et abordera pour cette première partie le cadre mathématique de Coq.
Cette présentation, gracieusement proposée et réalisée par Maxime Folschette, sera la première d'une série couvrant les principaux aspects de Coq et de son langage Gallina.

Les prochaines séances s'orienteront petit à petit vers un mode plus « travaux pratiques » afin que chaque participant puisse s'approprier l'outil.

Le nombre de places étant limité, une inscription est nécessaire.

Journal The Future of Functional Programming Languages

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
27
18
oct.
2012

Juste un journal bookmark pour signaler cette très intéressante discussion entre un groupe de personnes qu’il est assez unique de voir ensemble : Xavier Leroy (OCaml), David MacQueen (un des concepteur de ML), Martin Odersky (Scala), Simon Peyton‐Jones(Haskell) et Don Syme (F#).

La discussion est intitulée « The Future of Functional Programming Languages ». Y sont abordés les succès et insuccès de l’approche fonctionnelle, comment elle infuse ailleurs, quelles sont les perspectives, etc.

Cela se passe ici, et c’est disponible en divers formats.

Journal PHP, A Fractal Of Bad Design

Posté par  (site web personnel) .
Étiquettes : aucune
0
12
sept.
2012

Oui journal, nous ne sommes pas vendredi, mais un bon troll, fais toujours du bien en cette rentrée trépidante.

Le sujet du troll est comme le titre l'indique, PHP.

Si ce "langage" n'avait pas tant de succès, on appellerait mon appeau à troll "tirer sur une ambulance", mais voilà, avec 6% et une position de 6ème langage le plus utilisé dans le monde, PHP sévit encore.

PHP, a fractal of bad design est un magnifique texte, tout de colère (…)