Tests basés sur les propriétés : pourquoi ils surpassent les tests unitaires pour les entrées complexes

2025-05-21
Tests basés sur les propriétés : pourquoi ils surpassent les tests unitaires pour les entrées complexes

Cet article débat des mérites des tests basés sur les propriétés (PBT) par rapport aux tests unitaires traditionnels. L’auteur soutient que si les tests unitaires suffisent pour les fonctions à entrée unique, l’explosion combinatoire des cas limites dans les fonctions à entrées multiples rend le PBT, avec sa génération d’entrées aléatoires, supérieur pour la découverte d’erreurs limites cachées. Cependant, le PBT présente une courbe d’apprentissage ; la maîtrise de stratégies complexes de génération d’entrées est cruciale. La plupart des exemples de PBT sont trop simplistes pour montrer leur véritable puissance dans la gestion des espaces d’entrée complexes.

Lire plus

Codeur Agentif Minimaliste en 200 Lignes de TypeScript

2025-03-25

Un codeur agentif minimaliste, mycoder-mini, construit à l'aide du LLM Claude 3 d'Anthropic, est implémenté en seulement 200 lignes de TypeScript. Il reçoit des invites de l'utilisateur, génère des commandes shell via Claude 3, les exécute et itère jusqu'à ce que la tâche soit terminée. Bien qu'il soit limité par l'exécution synchrone, l'absence d'intégration de navigateur et un ensemble d'outils restreint, mycoder-mini démontre clairement les principes fondamentaux de la programmation agentive, offrant un excellent point de départ pour apprendre et explorer des systèmes plus sophistiqués.

Lire plus
Développement Programmation Agentive

Le code source d'AlexNet est publié : l'aube de la révolution du deep learning

2025-03-25
Le code source d'AlexNet est publié : l'aube de la révolution du deep learning

En 2012, AlexNet, développé par Alex Krizhevsky, Ilya Sutskever et Geoffrey Hinton, a démontré pour la première fois l'énorme potentiel des réseaux neuronaux profonds pour la reconnaissance d'images, marquant le début de l'ère du deep learning. Récemment, le code source d'AlexNet a été publié en open source, fruit d'une collaboration entre le Computer History Museum et Google. Le succès d'AlexNet est dû à son échelle : un grand réseau neuronal convolutif entraîné avec une immense puissance de calcul et l'ensemble de données ImageNet, surpassant les limitations précédentes du deep learning. Cette percée a impulsé des décennies d'innovation en IA, menant à des entreprises comme OpenAI et à des applications comme ChatGPT, transformant le monde.

Lire plus
IA

Emacs Solo : Une configuration minimaliste pour Emacs

2025-03-27
Emacs Solo : Une configuration minimaliste pour Emacs

Emacs Solo est une configuration minimaliste pour Emacs qui utilise uniquement les paquets intégrés, sans dépendances externes. Récemment présentée en direct sur le System Crafters Weekly Show, elle démontre un flux de travail puissant et efficace. La configuration inclut de nombreuses personnalisations, telles qu'un icomplete-verical amélioré, une alternative expérimentale à git-gutter, un eshell surpuissant, et bien plus encore, pour une expérience Emacs légère, rapide et entièrement fonctionnelle.

Lire plus
Développement Minimalisme

Le pari de Firefly Aerospace sur la Lune : un risque du secteur privé

2025-03-02
Le pari de Firefly Aerospace sur la Lune : un risque du secteur privé

Le module d'atterrissage lunaire Blue Ghost de Firefly Aerospace s'apprête à tenter un atterrissage sur la Lune, marquant une nouvelle étape dans l'effort du secteur privé pour l'exploration lunaire. La mission présente des défis importants ; environ la moitié de toutes les tentatives d'atterrissage lunaire ont échoué. Cependant, Firefly a confiance en ses systèmes de propulsion développés en interne. Un atterrissage réussi permettra à Blue Ghost de réaliser des expériences scientifiques, de capturer des images impressionnantes en haute définition et potentiellement d'assister au phénomène du halo à l'horizon lunaire, un phénomène observé pour la dernière fois par les astronautes d'Apollo. Cette mission est une étape cruciale pour faire progresser l'exploration lunaire et ouvrir la voie au programme Artemis de la NASA.

Lire plus

Le retour des lignes fixes : les parents luttent contre l’addiction aux smartphones

2025-02-19
Le retour des lignes fixes : les parents luttent contre l’addiction aux smartphones

Inquiets de l’impact croissant des smartphones sur le bien-être des enfants, certains parents néo-zélandais utilisent une stratégie inattendue : le téléphone fixe. Cette méthode de communication traditionnelle offre une alternative sûre en cas d’urgence et pour les contacts entre pairs, tout en évitant les pièges des smartphones, tels que la dépendance, la pression des réseaux sociaux et l’exposition accidentelle à du contenu nuisible. Même si cela va à contre-courant de la baisse d’utilisation des lignes fixes, cette approche souligne l’importance accordée par les parents au développement sain des enfants et une prise de conscience croissante des inconvénients de la technologie.

Lire plus

arXivLabs : Projets expérimentaux avec des collaborateurs de la communauté

2025-02-20
arXivLabs : Projets expérimentaux avec des collaborateurs de la communauté

arXivLabs est un cadre permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités arXiv directement sur notre site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv est engagé envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui ajoutera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus
Développement

Une nouvelle forme de vie mystérieuse découverte dans l'intestin humain

2025-02-02
Une nouvelle forme de vie mystérieuse découverte dans l'intestin humain

Des scientifiques ont découvert une nouvelle classe de vie dans le système digestif humain, appelée « obélisques ». Contrairement aux virus connus, les obélisques possèdent des capacités uniques de codage des protéines. Les chercheurs ont identifié au moins 30 000 obélisques distincts dans environ 10 % des microbiomes humains examinés, ce qui suggère qu'ils pourraient être des colonisateurs de ces microbiomes. Leur origine reste floue, mais ils contiennent tous des codes pour une nouvelle classe de protéines appelée « oblins », ce qui les différencie des autres boucles d'ARN comme les viroïdes. Les résultats, publiés sur le serveur de préimpression bioRxiv, nécessitent une nouvelle revue par les pairs.

Lire plus

Nando's lance une crème pour le visage discutable

2025-04-03
Nando's lance une crème pour le visage discutable

La chaîne de poulet peri-peri Nando's a lancé une crème pour le visage appelée "Extra Creamy Face Cream". La crème contient du poivre noir, du vinaigre de cidre, de l'origan et, surtout, une quantité importante d'ail. Les avis des utilisateurs décrivent l'odeur comme "sulfurique". Cette extension de marque a été accueillie avec confusion et critiques généralisées, remettant en question la logique de lier le poulet aux soins de la peau.

Lire plus

L'inconfortable vérité sur le déficit commercial américain

2025-05-04
L'inconfortable vérité sur le déficit commercial américain

Cet article explore la relation complexe entre le déficit commercial persistant des États-Unis et le statut du dollar comme monnaie de réserve mondiale. L'auteur soutient que la position privilégiée du dollar conduit à sa surévaluation, nuisant à la compétitivité du secteur manufacturier américain et alimentant le populisme politique interne. L'article dissèque la mécanique de la demande mondiale de dollars, le cycle d'endettement qui en résulte et les risques financiers inhérents. Plusieurs stratégies gouvernementales pour gérer le déficit sont analysées et remises en question pour leur incapacité à s'attaquer à la cause profonde. Les implications pour les investissements sont explorées, suggérant de se concentrer sur les bons du Trésor à court terme, les actifs protégés contre l'inflation et les actions internationales pour naviguer dans la volatilité économique potentielle.

Lire plus

Résolution du problème des Reines LinkedIn avec SMT : Plus facile qu'avec SAT !

2025-06-12
Résolution du problème des Reines LinkedIn avec SMT : Plus facile qu'avec SAT !

Cet article détaille la résolution du casse-tête des « Reines LinkedIn », une variante du problème classique des N-Reines avec des contraintes régionales supplémentaires, à l'aide du solveur SMT Z3. L'auteur montre que l'expression du problème en SMT, en utilisant des variables entières et des contraintes, est considérablement plus simple que la formulation SAT équivalente, qui nécessite de nombreuses clauses booléennes. Bien que les solveurs SMT puissent être plus lents que les solveurs SAT hautement optimisés comme Glucose, la facilité d'encodage rend le SMT préférable pour beaucoup. L'article inclut le code complet et des vérifications de bon fonctionnement utiles pour vérifier l'exactitude du modèle. Cela fournit une explication convaincante de la préférence de l'industrie pour les outils qui compilent en SAT plutôt que d'utiliser directement SAT.

Lire plus
Développement solveur SMT

L'impact disruptif de l'IA sur le recrutement dans le secteur technologique

2025-02-20

Le processus de recrutement dans le secteur technologique, et plus particulièrement les entretiens techniques, est universellement détesté. Les entretiens traditionnels se concentrent sur les algorithmes et les structures de données, mais des outils d'IA comme GitHub Copilot et les LLM permettent aux candidats de simuler des compétences et de réussir ces tests. Cet article explore l'impact de l'IA sur différents types d'entretiens : évaluations de codage en ligne, connaissances fondamentales en informatique et conception d'architecture, et propose des solutions. Celles-ci incluent le passage à des entretiens en personne, l'utilisation de logiciels anti-triche et une refonte fondamentale des entretiens pour évaluer la maîtrise des outils d'IA et les compétences de refactoring de code. En fin de compte, l'article suggère que les futurs entretiens techniques privilégieront la résolution de problèmes complexes, le travail d'équipe et l'expérience de projets réels.

Lire plus
Développement Entretiens Techniques

Jeu de test des couleurs : Quelle est l'acuité de votre vue ?

2025-04-20

Il s'agit d'un jeu simple de reconnaissance des couleurs. Les joueurs doivent trouver le disque de couleur différente parmi plusieurs disques de la même couleur. À la fin du jeu, le système remercie le joueur de sa participation et l'encourage à rejouer pour fournir plus de données. C'est une petite expérience qui collecte des données visuelles des utilisateurs ; plus il y a de données, plus les résultats sont précis.

Lire plus

Google Gemini Code Assist : Un assistant de codage IA gratuit pour rivaliser avec GitHub Copilot

2025-02-27
Google Gemini Code Assist : Un assistant de codage IA gratuit pour rivaliser avec GitHub Copilot

Google a lancé une version gratuite pour les consommateurs de son outil d'autocomplétion de code IA, Gemini Code Assist, pour concurrencer GitHub Copilot. Offrant 180 000 complétions de code par mois et 240 demandes de chat par jour, soit bien plus que le plan gratuit de Copilot, Gemini dispose d'une fenêtre de contexte plus large pour gérer des bases de code complexes. Il s'intègre aux IDE populaires et prend en charge plusieurs langages de programmation. Google vise à attirer les développeurs en début de carrière, espérant les convertir à des abonnements payants pour les entreprises.

Lire plus
Développement

Une barrière muqueuse cérébrale pourrait être la clé pour combattre le vieillissement

2025-03-02
Une barrière muqueuse cérébrale pourrait être la clé pour combattre le vieillissement

Une étude sur des souris révèle qu'une barrière muqueuse tapissant les vaisseaux sanguins du cerveau, composée de mucins, se détériore avec l'âge, permettant potentiellement à des molécules nocives de pénétrer dans le tissu cérébral et de déclencher une inflammation. La restauration de cette barrière par thérapie génique a réduit l'inflammation cérébrale et amélioré l'apprentissage et la mémoire chez les souris âgées. Cette recherche met en évidence une cible thérapeutique potentielle pour les maladies liées au vieillissement, telles que la maladie d'Alzheimer.

Lire plus

Les légendes amérindiennes éclairent l'histoire des séismes du nord-est de l'Amérique du Nord

2025-04-22
Les légendes amérindiennes éclairent l'histoire des séismes du nord-est de l'Amérique du Nord

Une nouvelle étude suggère que l'intégration des récits oraux et des noms de lieux amérindiens peut améliorer considérablement notre compréhension de l'activité sismique dans le nord-est de l'Amérique du Nord. Le nom "Moodus", dans le Connecticut, dérivé d'un mot algonquin signifiant "lieu de bruits", est corrélé à la longue histoire de la région de grondements semblables à des tremblements de terre. De même, le mont Nashoba, près de Boston, se traduit par "colline qui tremble", renforçant ainsi les preuves d'une activité sismique fréquente. Les chercheurs appellent à une collaboration interdisciplinaire avec des ethnologues pour utiliser les langues et les récits amérindiens afin d'étendre les archives sismiques de la région et de mieux évaluer les risques sismiques.

Lire plus
Technologie séismes

Le PDG de Google témoigne : la proposition de partage de données équivaudrait à un "démembrement de facto" de la recherche

2025-04-30
Le PDG de Google témoigne : la proposition de partage de données équivaudrait à un

Le PDG de Google, Sundar Pichai, a témoigné lors d'un procès antitrust que la proposition du ministère de la Justice de partager les données de recherche avec ses concurrents équivaudrait à un "démembrement de facto" du moteur de recherche de l'entreprise. Pichai a fait valoir que le partage des données et des algorithmes de classement permettrait aux concurrents de reproduire la technologie de Google, nuisant à sa R&D. Le ministère de la Justice souhaite que Google se débarrasse de Chrome, concède des licences de données de recherche, cesse de payer pour des positions exclusives et étende l'interdiction aux produits d'IA comme Gemini. Google rétorque que cela nuirait aux consommateurs, à l'économie et au leadership technologique des États-Unis. Il s'agit de la troisième fois que Pichai témoigne dans un procès antitrust ces dernières années, soulignant l'intense examen auquel Google est soumis.

Lire plus
Technologie

Fedora vise 99% de builds reproductibles dans Fedora 43

2025-04-11

Fedora s'efforce d'atteindre 99% de builds reproductibles dans sa prochaine version, Fedora 43. Cela signifie que n'importe qui, avec le même code source, l'environnement de build et les instructions, peut recréer des binaires identiques bit à bit. Bien que Debian ait fait des progrès significatifs dans les builds reproductibles, l'approche de Fedora se concentre sur la charge utile des paquets RPM, en utilisant des améliorations d'infrastructure et des outils comme add-determinism et rebuilderd. Bien que largement invisible pour les utilisateurs finaux, cet effort est crucial pour renforcer la sécurité de la chaîne d'approvisionnement contre les attaques malveillantes.

Lire plus
Développement

Serveur Age LAN : Jouez à Age of Empires en multijoueur hors ligne

2025-04-02
Serveur Age LAN : Jouez à Age of Empires en multijoueur hors ligne

Age LAN Server est un serveur web permettant de jouer aux modes multijoueurs LAN hors ligne pour Age of Empires : Édition Définitive, Age of Empires II : Édition Définitive et Age of Empires III : Édition Définitive. Même si les serveurs officiels sont hors service, la fonctionnalité LAN reste disponible. Actuellement en mode maintenance, il se concentre sur les corrections de bugs et les mises à jour des dépendances. Un lanceur personnalisé est toujours nécessaire pour contourner les restrictions en ligne afin de jouer complètement hors ligne. Les fonctionnalités incluent le transfert de cartes, la restauration de la partie, les mods de données, le chat du lobby et le jeu croisé entre Steam et Xbox. Cependant, certaines fonctionnalités telles que les succès et les classements ne sont pas encore implémentées. Le serveur prend en charge Windows, Linux et macOS.

Lire plus
Jeux

Exécuter Llama 2 sur un Commodore 64 : Un exploit rétro de l'IA

2025-05-21
Exécuter Llama 2 sur un Commodore 64 : Un exploit rétro de l'IA

Le projet Llama2.c64 de Maciej Witkowiak a réussi à porter un modèle tinystories de 260K de Llama 2 sur un Commodore 64, un ordinateur de 1982. Bien que les performances soient limitées, le projet démontre la possibilité d'exécuter de l'IA sur du matériel ancien, générant des histoires enfantines. Ce n'est pas seulement une réussite technique, mais un témoignage de l'exploration de l'IA basse consommation.

Lire plus

Framework s'étend au-delà des ordinateurs portables : arrivée des ordinateurs de bureau et d'un convertible pour étudiants

2025-02-26
Framework s'étend au-delà des ordinateurs portables : arrivée des ordinateurs de bureau et d'un convertible pour étudiants

Framework a dévoilé ses produits de deuxième génération, notamment un Framework Laptop 13 mis à jour avec AMD Ryzen AI 300, un ordinateur de bureau Mini-ITX de 4,5 litres alimenté par Ryzen AI Max et des graphismes Radeon 8060S, et un nouvel ordinateur portable convertible de 12 pouces destiné aux étudiants. L'ordinateur de bureau, une expansion significative sur un nouveau marché, met l'accent sur la personnalisation et offre des capacités de jeu en 1440p. L'entreprise souligne la réparabilité et la modularité caractéristiques de ses anciens ordinateurs portables dans sa nouvelle gamme. Les prix varient de 899 à 1999 dollars.

Lire plus

Le Million Manquant : Relancer la Fabrication Américaine

2025-02-22
Le Million Manquant : Relancer la Fabrication Américaine

Le secteur manufacturier américain fait face à une grave pénurie de main-d'œuvre, ayant perdu 5 millions d'emplois entre 2000 et 2010. Cet article explore les raisons de cette crise, notamment la mondialisation, l'automatisation et un manque de compétences. Pour y remédier, il propose une solution communautaire axée sur l'éducation, utilisant des technologies de pointe comme l'impression 3D pour former la prochaine génération de travailleurs de la fabrication et renforcer la résilience grâce à une production décentralisée. En prenant Muskegon, Michigan, comme étude de cas, il montre comment la combinaison de technologies de pointe et d'artisanat traditionnel peut favoriser l'innovation et les capacités de fabrication au sein des communautés locales.

Lire plus

Plongeon au cœur du CPS : Un voyage dans la compilation de la programmation fonctionnelle

2024-12-25
Plongeon au cœur du CPS : Un voyage dans la compilation de la programmation fonctionnelle

Cet article explore en profondeur le style de passage de continuation (CPS) et son application dans la compilation des langages de programmation fonctionnelle. L’auteur construit pas à pas un transformateur CPS pour un langage simple ressemblant à Scheme, en expliquant les stratégies d’optimisation et les méthodes de génération de code. L’article détaille la transformation des entiers, des variables, des appels de fonction, des opérateurs arithmétiques, des expressions lambda et des expressions if en forme CPS. Il aborde également les méta-continuations et les techniques d’optimisation telles que le pliage de constantes et la réduction bêta. Enfin, il décrit plusieurs approches pour générer du code exécutable à partir du CPS, notamment la génération de code C, l’utilisation de trampolines et l’emploi d’une seule instruction switch volumineuse.

Lire plus

Les Guerres des Pelouses Suburbaines : L’Obsession Américaine pour les Pelouses Parfaites contre la Catastrophe Écologique

2025-03-21
Les Guerres des Pelouses Suburbaines : L’Obsession Américaine pour les Pelouses Parfaites contre la Catastrophe Écologique

L’obsession américaine pour les pelouses parfaites provoque des conflits dans les banlieues du pays. Cet article détaille les batailles de plusieurs familles avec les associations de propriétaires concernant la plantation de jardins de plantes indigènes, soulignant le conflit entre l’idéal culturel d’une pelouse bien entretenue et les dommages environnementaux qu’elle cause. Évoluant à partir de traditions aristocratiques européennes et popularisée par des prêts gouvernementaux et le développement suburbain, la pelouse parfaite est devenue un symbole du rêve américain. Cependant, cette dévotion à une monoculture de gazon entraîne une perte de biodiversité, un gaspillage de ressources et une pollution. Un nombre croissant de personnes remettent en question cette tradition, prônant des pratiques de jardinage plus naturelles et écologiques, mais le changement est difficile, confronté à la résistance des normes culturelles enracinées et influencé par les facteurs politiques et économiques actuels.

Lire plus

Screen : Un émulateur de terminal en PHP pur pour des interfaces utilisateur texte riches

2025-03-21
Screen : Un émulateur de terminal en PHP pur pour des interfaces utilisateur texte riches

Screen est une bibliothèque d'émulateur de terminal écrite entièrement en PHP, permettant la création d'interfaces utilisateur basées sur du texte enrichi dans n'importe quelle application PHP. Initialement développée pour résoudre les conflits de codes d'échappement ANSI dans le TUI multi-processus de Solo pour Laravel, Screen crée un tampon de terminal virtuel pour gérer en toute sécurité les opérations ANSI (déplacement du curseur, changements de couleur, effacement de l'écran). Cela assure un rendu cohérent et prend en charge Unicode, les caractères multi-octets, le défilement et une large gamme de codes d'échappement ANSI. Une suite de tests complète, dotée d'un système de comparaison visuelle innovant, garantit une émulation précise.

Lire plus

Foqos : Retrouvez votre concentration grâce à la NFC

2025-01-21

Foqos est une application de concentration utilisant la technologie NFC pour aider les utilisateurs à rester concentrés. Créez plusieurs profils pour différents scénarios (travail, études, coucher, etc.). Enregistrez ces profils sur des tags NFC pour une activation instantanée d'un simple toucher - pas besoin de déverrouiller ou d'ouvrir l'application. Foqos est gratuit, privé et open-source pour toujours. Pas d'abonnement, de suivi ni de collecte de données. Juste une concentration pure.

Lire plus

Puits de Responsabilité : Comment les Processus Obscurent la Responsabilité

2025-05-03
Puits de Responsabilité : Comment les Processus Obscurent la Responsabilité

Cet article explore le phénomène des « puits de responsabilité », où les organisations formalisent les processus de prise de décision pour éviter les controverses et les responsabilités, ce qui fait qu'aucune personne n'est tenue pour responsable des erreurs. Des écureuils broyés aux systèmes de santé complexes, l'auteur cite de nombreux exemples montrant comment les processus, bien qu'améliorant l'efficacité, peuvent obscurcir la responsabilité, conduisant à des conséquences catastrophiques. L'article soutient que tous les processus ne sont pas problématiques ; la clé réside dans la capacité du design à permettre la flexibilité et la responsabilité des résultats.

Lire plus
Divers Processus

arXivLabs : Projets expérimentaux avec des collaborateurs communautaires

2025-02-08
arXivLabs : Projets expérimentaux avec des collaborateurs communautaires

arXivLabs est un cadre qui permet aux collaborateurs de développer et de partager de nouvelles fonctionnalités arXiv directement sur notre site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv s'engage envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui ajoutera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

Lire plus

Une vague anti-trust déferle sur l'Amérique des entreprises : les grandes entreprises paniquent-elles ?

2025-02-22
Une vague anti-trust déferle sur l'Amérique des entreprises : les grandes entreprises paniquent-elles ?

L'application des lois anti-trust aux États-Unis est en train de remodeler en silence le paysage économique. Des prix monopolistiques des données d'Equifax aux prix discriminatoires de Pepsi envers les petites épiceries, en passant par les accords de distribution exclusive de Corteva et Syngenta et les frais anticoncurrentiels d'American Express, une vague de poursuites anti-trust progresse devant les tribunaux, les juges étant de plus en plus réceptifs aux allégations des plaignants. Cela signale un changement significatif, les lois anti-trust longtemps négligées étant réinterprétées et appliquées, ce qui représente d'importants défis pour les grandes entreprises et préfigure de profonds changements dans les règles du commerce.

Lire plus
Startup affaires

JPMorgan met fin au télétravail : Plus de 300 000 employés de retour au bureau

2025-01-12
JPMorgan met fin au télétravail : Plus de 300 000 employés de retour au bureau

JPMorgan Chase, la plus grande banque américaine, met fin au télétravail pour plus de 300 000 employés, exigeant un retour au bureau cinq jours par semaine. La forte défense du PDG Jamie Dimon en faveur de la collaboration en personne motive cette décision, en privilégiant l'innovation et le travail d'équipe. Cette mesure reflète une tendance plus large chez les grandes entreprises qui s'éloignent du télétravail, suscitant des débats sur la flexibilité du lieu de travail et affectant de nombreux employés.

Lire plus
Technologie retour au bureau
1 2 427 428 429 431 433 434 435 595 596