Portail de l'AF

Nouvelles

Projets du mois: Numberfields et ODLK2025

Faites un don

Shoutbox

modesti:
Aujourd'hui à 18:50:08
@Nichan: ressaie, j'en ai eu aujourd'hui (sur Linux) ;)
Nichan:
Hier à 17:48:57
Asteroid n'envoit plus rien depuis plusieurs jours  :/
modesti:
2025-06-25, 23:26:21
Prenez soin de vous et soyez prudents avec les orages. Chez moi le courant est coupé depuis ~22h (CEST).
Nichan:
2025-05-29, 11:31:25
le site de WCG est kaput  :electric:
modesti:
2025-05-28, 18:44:13
Je dirais que c'est l'effet post-Pentathlon :D Après 15 jours intenses, la pression retombe et on s'endort ;)
ousermaatre:
2025-05-28, 18:14:17
 :ouser:
JeromeC:
2025-05-28, 12:26:05
Ce forum est mort ! tout le monde roupille ! tout le monde est en vacances ?! (pas moi :) )
Nichan:
2025-05-23, 17:35:11
dommage qu'ils n'aient pas de statut de serveurs visibles, ou alors j'ai pas trouve
modesti:
2025-05-23, 15:24:38
C'est pas interdit. Il peinait déjà à fournir tout le monde pendant le Pentathlon :spamafote:
Nichan:
2025-05-23, 12:52:08
WCG est en panne de WU ?
modesti:
2025-05-18, 20:40:24
On rattaquera le mois prochain
modesti:
2025-05-18, 20:40:08
quartier libre jusqu'à la fin du mois :)
Nichan:
2025-05-18, 17:44:46
on a deja une idee du projet du mois apres le pentathlon ?
Maeda:
2025-05-17, 23:02:56
On peut stopper NFS, objectif du javelot atteint :)
Maeda:
2025-05-16, 07:46:24
Bonus 30% aujourd'hui aussi pour Einstein (Steeple-Chase) !
modesti:
2025-05-15, 23:12:01
NFS est encore tout cassé :cry:
modesti:
2025-05-14, 11:45:31
Il y a effectivement eu un bref bug (vu dans leur shoutbox). Normalement, ils ont un renouvellement automatique, mais à la suite de la suppression de quelques domaines inutiles, ça n'a pas fonctionné. Tout est rentré dans l'ordre :)
Maeda:
2025-05-14, 09:41:56
C'est moi ou le certificat de seti-germany.de a expiré ?
Nichan:
2025-05-11, 17:56:36
On a cassé NFS  :D
modesti:
2025-05-09, 09:52:51
Steeple-chase du Pentathlon sur Einstein à partir du 12 mai jusqu'à la fin
modesti:
2025-05-07, 14:21:59
Sprint du Pentathlon sur SRBase du 10 au 13 mai
modesti:
2025-05-06, 10:05:35
1er lancer de javelot sur NFS le 9 mai
modesti:
2025-05-05, 10:06:51
Le Pentathlon a démarré ! WCG/MCM jusqu'au 19 mai et Milkyway jusqu'au 10 :hyperbon: :hyperbon:
modesti:
2025-05-02, 10:07:49
Le Marathon du Penta est annoncé ! Ce sera WCG/MCM. Projet recommandé pour tous ceux qui ne veulent pas se prendre la tête avec le reste :D
Rhodan71:
2025-05-01, 13:00:03
Prochain sprint FB ce soir à 22h UTC (minuit heure de Paris)
modesti:
2025-04-20, 07:49:02
Joyeuses Pâques :ane:
Rhodan71:
2025-04-17, 21:22:06
c'est parti pour un sprint sur Einstein
modesti:
2025-04-16, 10:08:44
Prochain sprint FB à partir du 17/4 à 19h UTC, soit 21h CEST/heure de Paris/Berlin/Madrid

Recent

Mr Lamport remport le prix Turing !

Démarré par [AF>Libristes>Jip]Augure, 26 Mars 2014 à 23:59

« précédent - suivant »

0 Membres et 1 Invité sur ce sujet

[AF>Libristes>Jip]Augure

Le prix Turing, qui est l'équivalent du Nobel en informatique (comme la médaille de Feilds pour les mathématiques... 2 domaines ne possédant pas de concours Nobel). Il vient d'être attribué à une personne qui à beaucoup contribué à notre BOINC adoré !

Mr Leslie Lamport !

http://www.pcinpact.com/news/86688-le-prix-turing-revient-a-leslie-lamport-pour-ses-apports-en-calculs-distribues.htm
>>

Philippe06121966

Merci pour l'info, c'est intéressant  :jap:

JeromeC

CitationCependant, de nombreux utilisateurs utilisent sans savoir un produit dont il est l'auteur : LaTeX. Ce traitement de texte très particulier, basé sur TeX, sert notamment à préparer de très longues documentations scientifiques. Il est notamment la référence pour la rédaction de formules scientifiques, plus particulièrement mathématiques (et utilisé par le moteur de Wikipedia notamment). D'ailleurs, beaucoup ignorent que LaTeX est simplement le diminutif de Lamport TeX, en référence donc à l'auteur.

Citationzitrams Le mercredi 26 mars 2014 à 08:26:45 #2
CitationDayWalker a écrit :
Oh, c'est aussi le papa de LaTeX

C'est assez contradictoire parce que normalement avec latex on ne peut pas être papa.

:lol:
A quoi bon prendre la vie au sérieux, puisque de toute façon nous n'en sortirons pas vivants ? (Alphonse Allais)


SMF spam blocked by CleanTalk