Journal Découvrir MetaOCaml dans son navigateur

Posté par  . Licence CC By‑SA.
Étiquettes :
19
12
nov.
2016
Ce journal a été promu en dépêche : Découvrir MetaOCaml dans son navigateur.

OCaml est un langage de programmation généraliste, fonctionnel et statiquement typé.

MetaOCaml est une extension, un dialecte non-standard du langage qui a une longue histoire. Dérivée de MetaML il y a environ 15 ans, c'est toujours resté un prototype de recherche, avec une base d'utilisateur petite mais active au fil des années—au contraire de la plupart des prototypes de recherche qui meurent de mort naturelle assez vite. Le "Meta" dans le nom fait référence à la méta-programmation, l'écriture de programmes (…)

Journal BtrPlace: un algorithme de placement de machines virtuelles pour IaaS

Posté par  . Licence CC By‑SA.
Étiquettes :
12
8
juil.
2016

BtrPlace est un algorithme de placement de machines virtuelles pour infrastructure IaaS développé par l'équipe de recherche Scale (I3S, Université Nice Sophia Antipolis). Il est distribué sous LGPL depuis 2013 et sa version 1.0 aura été publiée le 6 juillet 2016.

L'utilisateur interagit avec BtrPlace suivant une approche déclarative. Il décrit l'état courant de l'infrastructure et des contraintes de placement qu'il souhaite satisfaire (affinités, allocation des ressources, états, …). BtrPlace calcul alors, s'il existe, un plan de reconfigurations permettant de (…)

Forum Linux.debian/ubuntu ~~Thunar~~ Nautilus et la recherche - Jessie

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
2
28
juin
2016

Bonsoir Forum,

Utilisateur quotidien de Gnome, il y a, à nouveau, quelque chose qui m'agace au quotidien. Je dois devenir perfectionniste…
Lorsque j'utilise Thunar, j'ai pour habitude de taper les premières lettres du fichier/répertoire que je veux atteindre pour arriver directement sur le fichier/répertoire en question.
Depuis ma mise à jour sur Jessie, au lieu de naviguer dans le répertoire courant, appuyer sur une lettre o un chiffre lance directement une recherche dans tous les sous-répertoires. Et c'est lent, beaucoup (…)

Journal Malfunction: réutiliser la représentation intermédiaire du compilateur OCaml

Posté par  . Licence CC By‑SA.
Étiquettes :
24
24
juin
2016

Stephen Dolan (github, vielle page perso) est un étudiant en thèse d'informatique à Cambridge, UK, et il a de nombreux talents et des centres d'intérêt variés au sein de la discipline. D'un côté il a un goût pour l'élégance mathématique assez visible dans ses travaux (en particulier son travail de thèse très intéressant sur le sous-typage, avec une forte inspiration algébrique), de l'autre c'est aussi un hacker qui s'intéresse à l'implémentation, et a par exemple fait une (…)

Forum général.cherche-logiciel Moteur de recherche avec interface web

Posté par  . Licence CC By‑SA.
Étiquettes :
3
16
avr.
2016

Bonjour,
j'ai un petit blog en local, je note pas mal de choses, et l'idée c'est de pouvoir récupérer et retrouver des anciennes infos/article assez facilement. Je me suis basé sur un blog en mode texte (qui n'utilise aucune base de donnée), et donc met tout nouveau post dans un répertoire, et à chaque fois dans un fichier.

L'idée serait d'avoir un moteur de recherche qui me faciliterait pour retrouver des articles basé sur le full-text (et de continuer avec (…)

Forum Linux.débutant cherche distrib(s) désespérément

Posté par  . Licence CC By‑SA.
Étiquettes :
0
27
août
2015

Bonjour à tous.
Sous (GNU/)linux depuis 1 an, je cherche une distribution qui m'obligerait à "en apprendre plus" à la manière de crunch bang (plus maintenu…) mais en moins poussé que arch.
merci d'avance !

PS:(Si la distribs est légère et/ou en rolling release ce serait un plus non négligeable)

Journal Psychologie, science et reproductibilité

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
27
28
août
2015

Bonjour à tous !

La psychologie, j'ai souvent trouvé que c'était tiré par les cheveux, et bien il semble que c'est tout sauf de la science.

Il semblerait, en effet, qu'un groupement de 270 chercheurs se soit créé pour essayer de reproduire une centaine de « découvertes » issues d'études scientifiques.

Résultat : plus de la moitié n'ont pas pu être reproduite.

Jusque là, c'est le cours normal de la science (même si les médias oublient souvent qu'une étude unique n'est (…)

Journal Une nouvelle manière de publier des articles scientifiques ... HTML, métadonnées et linkeddata

Posté par  . Licence CC By‑SA.
Étiquettes :
12
24
mai
2015

Amis chercheurs, cette nouvelle pourrait vous intéresser.

Une nouvelle manière de rédiger et publier vos article vient d'apparaître : ça s'apelle RASH et ça a peu de rapport avec la méthode au nom similaire. C'est une sorte de sous ensemble du HTML utilisant les technos associées, ça s'annote avec des annotations sémantiques, et ça se transforme en LaTeX style LNCS : post de présentation sur la liste semantic web, et ça a déjà été utilisé dans quelques publications.

Intéressant (…)

Forum général.général [KDE] Est-ce possible de combiner plusieurs tags dans une recherche Baloo ?

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
5
9
déc.
2014

Bonjour tous,

Je suis en train d'essayer Baloo, qui a remplacé Nepomuk il y a quelques temps.

L'indexation fonctionne bien. Le stockage des tags dans les attributs étendus des fichiers me semble alléger considérablement cette dernière, comparativement à Nepomuk.

La recherche fonctionne à peu près: en faisant pointer dolphin sur tags:/, il affiche une liste des tags connus et permet en un clic d'afficher les fichiers correspondants.

J'ai 2 questions:
- Pour l'instant, je ne trouve pas comment combiner plusieurs (…)

Forum général.cherche-matériel Laptop pour petite utilisation

Posté par  . Licence CC By‑SA.
Étiquettes :
1
6
oct.
2014

Salut,
Je cherche un ordinateur portable qui soit :
- pas trop grand ( 13.3 14 pouces )
- pas trop lent ( je vise 4 Go de RAM et un i3 - je n'y connais rien en processeur mais d'après mes recherches et ce qu'on m'as conseillé c'est ce qu'il me faudrait )
- tactile, et du coup retournable ( écran rotatif sur 360° )
- bon le bépo sur un laptop j'ai un peu abandonné pour l'instant
- (…)

L'ouverture des données scientifiques : quid novi ?

Posté par  (site web personnel) . Édité par Benoît Sibaud, palm123 et patrick_g. Modéré par Pierre Jarillon. Licence CC By‑SA.
Étiquettes :
32
10
déc.
2013
Open Data

J'avais été conviée à la journée d'étude interdisciplinaire de l'ISCC intitulée « Ouverture des données massives scientifiques. Quels risques, quels bénéfices ? », le 6 décembre 2013. Un grand « merci » aux organisateurs et modérateurs de ces échanges, ce fut une journée très réussie et enrichissante. Je suis intervenue lors de la 2e table ronde qui traitait des avantages et dangers d'une telle ouverture ainsi que des nécessités en termes de politiques publiques pour que cette ouverture se fasse. Voici mes notes de préparation dont tous les points ont été abordés.

Lire la suite pour entendre parler des données scientifiques brutes, de non-reproductibilité, de timides avancées, de droit sui generis des bases de données et de licences Creative Commons v4.

Forum général.petites-annonces Cherche ingénieur gentil

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
9
9
jan.
2014

Bonjour,

Je suis étudiant en première année à l'École Centrale de Nantes, et dans le cadre d'une de nos matières au nom incompréhensible (PPP), on essaie de nous faire découvrir le monde de l'entreprise. Pour cela, nous devons rencontrer un ingénieur, ou un chercheur, et réaliser une courte entrevue, où nous parlerons de son métier, son évolution, ses contraintes, ce que l’on y apprend et ce qui le rend intéressant.

J'aimerais donc rencontrer un ingénieur ou un chercheur dans la (…)

Gestion des logs avec Logstash, ElasticSearch & Kibana

Posté par  . Édité par yannig, rogo, palm123, Benoît Sibaud, NeoX, Benoît et eMerzh. Modéré par claudex. Licence CC By‑SA.
Étiquettes :
31
29
sept.
2013
Supervision

Tout bon administrateur a un jour dû chercher une info à coup de grep, tail, awk dans les fichiers de logs des équipements qu'il gère.
Or la recherche est toujours un peu fastidieuse, avec les questions qui reviennent : "Où est-ce qu'ils sont ces logs ?", "Et c'est quoi le format déjà ?", "Tu connais le mot de passe pour se connecter sur le routeur ?".

Si on peut mettre en place une récupération des logs de façon centralisée avec des outils connus comme syslog, le trio Logstash, ElasticSearch et Kibana est un très bon candidat pour gérer et trouver efficacement des informations dans les milliers de lignes de traces que peuvent générer les divers services.

Forum général.hors-sujets Enquête universitaire sur la mobilisation contre la loi HADOPI

Posté par  . Licence CC By‑SA.
Étiquettes :
6
20
nov.
2013

Bonjour,
Tout d'abord désolé si je me trompe de forum, mais je sais que la communauté du logiciel libre a été très mobilisée sur cette question.
Vous vous souvenez d'HADOPI ? Je participe à une étude universitaire sur la mobilisation des internautes contre la loi HADOPI. Nous avons mis en ligne un questionnaire qui ne devrait vous prendre qu'une dizaine de minutes à remplir et serait très, très utile à notre recherche. Vous pouvez le trouver à cette adresse (oui c'est (…)

Forum général.général Choix de clause CC

Posté par  . Licence CC By‑SA.
Étiquettes :
3
6
nov.
2013

Bonjour,

la question que je me pose a du déjà être maintes fois débattue. Et les concepts moultes fois expliqués. J'ai un peu cherché sur ce forum. En partie par paresse et en partie parce que chaque cas diffère d'un autre, et aussi parce qu'il est toujours intéressant d'avoir des avis éclairés, je vais soumettre mon cas de conscience:

Contexte
Dans le cadre d'un projet de recherche de plusieurs laboratoires publiques travaillant ensemble sur la synthèse vocale, j'ai enregistré un (…)