Aller au contenu Aller au menu
  • Dépêches
  • Journaux
  • Liens
  • Forums
  • Rédaction
  • 🎙️ Projets Libres

LinuxFr.org

Se connecter

Proposer un contenu

  • Pas de compte ? S’inscrire...

Re: Clichés

Retourner au contenu associé (dépêche : Programmer des démonstrations : une modeste invitation aux assistants de preuve)

  • [^] # Re: Clichés

    Posté par jeanas (site web personnel, Mastodon) le 26 février 2025 à 15:35. En réponse à la dépêche Programmer des démonstrations : une modeste invitation aux assistants de preuve. Évalué à 4.

    Je ne suis pas développeur moi-même, pourtant je certifie que je passe énormément de temps à découvrir des bugs dans l'intranet de mon école, dans mon émulateur de terminal, dans Firefox, ... 🙂 Certes, ce n'est pas moi qui écris les tests. Mais si un modérateur passe par là, on pourrait effectivement changer ça en « tous les développeurs (voire les autres !) passent ... »

Revenir en haut de page

Derniers commentaires

  • sans serveur intermédiaire
  • Re: Macron annonce trois parcs d’attractions en Ile-de-France, financés par l’Arabie Saoudite (24/08/2026 )
  • Re: Le résultat, proposition 5 "responsible use of AI"
  • petit oubli
  • Re: Pensée systémique.
  • rien n'est stocké.
  • Re: Bizarre ?
  • Re: Bizarre ?
  • Re: Pensée systémique.
  • Re: Déjà signalé...
  • Re: Pensée systémique.
  • Antoine Le Gonidec claque la porte

Étiquettes (tags) populaires

  • intelligence_artificielle
  • grands_modèles_de_langage
  • merdification
  • hugging_face
  • réchauffement_climatique
  • linux
  • états-unis
  • canicule
  • administration_française
  • capitalisme
  • capitalisme_de_surveillance
  • cybersécurité

Sites amis

  • Agenda du Libre
  • April
  • Éditions D-BookeR
  • Éditions Diamond
  • Éditions Eyrolles
  • Éditions ENI
  • En Vente Libre
  • Framasoft
  • La Quadrature du Net
  • Lea-Linux
  • Open Source Initiative
  • Imprimerie Grafik Plus

À propos de LinuxFr.org

  • Mentions légales
  • Faire un don
  • L’équipe de LinuxFr.org
  • Informations sur le site
  • Aide / Foire aux questions
  • Suivi des suggestions et bogues
  • Wiki du site
  • Règles de modération
  • Statistiques
  • API pour le développement
  • Code source du site
  • Plan du site

AltStyle によって変換されたページ (->オリジナル) /