Journal LLVM se fait de vieux os ? La recherche pour rester jeune.

Posté par  . Licence CC By‑SA.
Étiquettes :
51
20
déc.
2016

Il y a une discussion intéressante sur la liste de développement de LLVM ce mois-ci, partie du constat que les temps de compilation de LLVM augmentent au fil du temps—avec l'évolution du code. En particulier j'ai trouvé ce message de Daniel Berlin très intéressant: il parle du rapport entre les compilateurs industriels et la recherche en compilation, et de l'effet que ça peut avoir sur la maintenabilité du code. Traduction à la rache (le début est la citation d'un autre (…)

Forum général.hors-sujets [Recherche de stage] Développeur, à l'étranger, 2-3 mois

Posté par  . Licence CC By‑SA.
Étiquettes :
1
22
nov.
2016

Bonjour à tous.

Actuellement en 2ème année d'école d'ingénieur aux Mines de Nantes, je dois effectuer un stage "international" d'une durée de 2 à 3 mois à partir de Juin 2017. Bien évidemment et vous l'aurez compris, si je poste ici, c'est que je souhaiterais l'effectuer le plus possible dans le libre. Bon, si vous avez des contacts hors de ce champ, je suis preneur quand même :)

Ce stage doit s'effectuer dans ma spécialité, c'est à dire dans le (…)

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.
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.
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.
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 (…)

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 (…)

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 Une nouvelle manière de publier des articles scientifiques ... HTML, métadonnées et linkeddata

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.
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
- (…)

Forum Astuces.divers petit script pour rechercher un historique de transaction email

Posté par  . Licence CC By‑SA.
8
25
sept.
2014

principalement en utilisant le log postfix au format par defaut au jour de publication de ce script

#!/bin/sh
#
# small script that search mail address within from or to
# and show the whole transaction log by email ID

case $# in
        3)
        count=0
        sens=$1
        motif=$2
        file=$3
        case $sens in
                from)
                        search='from=<'$motif
                ;;
                to)
                        search='to=<'$motif
                ;;
        esac
        for i in $(grep 
(…)

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

Posté par  (site web personnel) . Licence CC By‑SA.
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 (…)