Bonjour à tous
Récemment, j'ai décidé de m'intéresser un peu à la théorie des types et de la démonstration. Quelques vieilles dépêches y sont pour un peu, et le sujet m'avait toujours un peu intrigué.
Après quelques recherches, j'ai trouvé et commencé l'excellent Logic Foundations.
J'en suis arrivé lentement mais sûrement au chapitre sur les propositions inductives (IndProp).
Et là j'ai un petit soucis…
Lemma le_trans : forall m n o, m <= n -> n <= oBonjour à tous
Ce matin, j'ai décidé de me faire une petite machine virtuelle sous Debian. Je lance l'install en mode console et reste assez minimaliste.
Ensuite je rajoute les outils auxquels je suis habitué, dont aptitude. Je décide aussi de tester apt, que je n'avais jamais vraiment utilisé jusque là.
Petit test simple:
apt install julia
suivi de
apt autoremove julia
Toutes les dépendances sont bien installées, puis enlevées, aucun problème.
De même avec
aptitude install julia
aptitude purge (…)
Bonjour à tous
Je me suis remis un peu au Haskell récemment, et au détour d'un article sur les Data, j'ai décidé de creuser plus en profondeur.
Jusqu'au use case 5, ça se passe assez bien, mais d'un coup en tombant sur fromConstrM, je patauge. Je ne comprends juste pas comment on fait pour naviguer dans la structure du type.
J'ai été voir dans le code source, et après en avoir appris un peu plus sur gunfold, gfoldl et (…)
Bonjour à tous
Aujourd'hui je faisais un petit peu de Haskell, histoire de découvrir quelque chose de nouveau, et je me frottais un peu aux histoires d'évaluation explicite avec les listes.
Histoire de commencer petit, je voulais faire une petite fonction qui ne me sorte pas de out of memory pour faire une somme toute bête.
Donc dans mon interpréteur GhCI (Haskell Platform) je fais:
import list.Data
let sum' liste = foldl' (+) 0 liste
:t sum'Bonjour à tous
Après avoir installé une machine virtuelle sur Debian, je me suis rendu compte d'un comportement qui me semble étrange.
En temps normal, un paquet, s'il n'est requis par aucun autre, est marqué pour désinstallation s'il est marqué comme étant Auto.
Jusque là, pas de problème.
Seulement il semblerait que tant qu'un paquet est suggéré par un autre, le fait de le marquer Auto ne provoque rien de particulier, quand bien même je n'ai pas configuré apt pour (…)
Bonjour a tous
J'ai un poste qui se connecte a internet via un proxy sur lequel je n'ai aucun contrôle. Seul point positif, le port SSH est laisse libre, donc je m'en sers joyeusement pour me connecter via VNC sur mon NAS et compagnie avec le port forwarding openssh.
J'ai une autre application, qui elle se connecte en utilisant un port qui est filtre par ce proxy. Je pensais donc faire un tunnel SSH pour lire les paquets TCP sur (…)
Bonjour a tous :)
Voila, je viens de m'acheter mon premier NAS, un Synology DS213+, que j'utilise en RAID-1 avec 2 disques de 3TB.
Lors de l'initialisation de mon volume RAID, on m'a propose un "consistency check", que j'ai refuse par manque de temps, pensant que je pourrais toujours le faire plus tard en cas de besoin.
Deux jours plus tard, et 1TB de donnees plus loin, je decide de lancer enfin le test, mais me rends compte que cela (…)
Bonjour tout le monde
Ces temps-ci, je cherche a faire un peu d'analyse de donnees sur mes contenus, et je commence a tomber sur des cas assez recurrents qui me posent probleme.
Admettons que j'ai 2 tables, une table "community" avec 2 colonnes "user_id" et "id", et une table "users" avec disons "id" et "age"
Si je veux le nombre de moins de 30 ans par communaute, pas de soucis
select community.id, count(user_id) from (…)
Bonjour tout le monde.
Juste une petite chose qui me turlupine, parce que ca me plombe mes performances de facon assez phenomenale.
Je suis sous Postgres, et je dispose de 2 tables, user et email.
User contient environ 40 millions d'entrees, et email 40000 environ (base en pleine construction, donc pas encore enorme).
J'ai envie de repertorier les utilisateurs ayant envoye ou recu des messages.
Mon ORM me genere la requete suivante (SQLAlchemy)
select user.id from user where
exists (select (…)
Bonjour tout le monde
Aujourd'hui j'ai eu a me coltiner de grosses mises a jour sur mon Arch cherie (un mois de maj en gros…). En general, je fais toute mon administration depuis les tty, aussi je me demandais si quelqu'un n'avait pas la reponse a ces questions insignifiantes.
lors d'une requete avec yaourt ou pacman-color, les resultats sont bien colores, cependant lorsque la liste des resultats est trop longue, mon reflexe est de passer par yaourt | more. Probleme, (…)
Bonsoir a tous
En temps normal, j'arrive assez bien a me debrouiller pour analyser mon traffic https.
J'utilise Wireshark, et un certificat maison qui sera repris par Firefox.
Or, il y a une application web dont j'aimerais analyser le traffic afin d'automatiser certaines manipulations, mais cette application s'avere etre une appli flash.
J'ai l'impression que flash utilise ses propres certificats pour se connecter en https, et donc on dirait que je n'ai aucun moyen de connaitre la cle privee utilisee (…)
def fonction(x):
if x>0:
return x
else:
return None
resultat = [fonction(x)+1 for x in xrange(-5,5)]