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
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
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
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
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
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
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é
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
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
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 ?
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
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 général.petites-annonces Emploi dans en lien avec le logiciel libre
Hallo,
Connaissez vous des projets équivalent à http://fr.lolix.org
pour des pays de langues allemande, espagnole, italienne ou autre.
ps j'ai testé http://es.lolix.org ou http://it.lolix.org mais c'est dommage les adresses sont introuvables.
Forum Astuces.divers petit script pour rechercher un historique de transaction email
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
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 (…)