Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

Le fondateur de Twitter lance Mozi, une application sociale axée sur les relations réelles

2024-12-12
Le fondateur de Twitter lance Mozi, une application sociale axée sur les relations réelles

Ev Williams, fondateur de Twitter et de Medium, a lancé une nouvelle application sociale appelée Mozi, visant à redéfinir l'essence de l'interaction sociale. Contrairement aux médias sociaux axés sur le contenu, Mozi privilégie l'aide aux utilisateurs pour construire et entretenir des relations avec des personnes de leur vie réelle. En s'intégrant aux listes de contacts des utilisateurs, elle indique quand les utilisateurs et leurs connaissances seront au même endroit (ville ou événement), facilitant les rencontres en personne. Mozi met l'accent sur la confidentialité, sans profils publics ni nombre de followers, cherchant à être une plateforme privée qui promeut des connexions sociales authentiques.

Lire plus
(ev.medium.com)
Startup application sociale relations confidentialité

Règles implicites des programmes de terminal : Rétrospective de 20 ans

2024-12-12

Cet article résume les 20 ans d’expérience de l’auteur avec les programmes de terminal, en distillant des règles de comportement courantes, bien que non officielles. Ces règles couvrent les réponses des programmes à Ctrl-C, Ctrl-D et à la touche « q », l’utilisation des couleurs, la prise en charge des liaisons de touches readline et la sortie de pipeline. L’auteur fait remarquer que, même s’il ne s’agit pas de normes obligatoires, la compréhension de ces règles permet de prédire le comportement des programmes de terminal et de réduire la courbe d’apprentissage. L’article utilise des exemples pour analyser l’applicabilité et les exceptions à ces règles, en soulignant l’importance de distinguer la responsabilité du programme lui-même du comportement par défaut du système d’exploitation.

Lire plus
(jvns.ca)
Développement programmes de terminal ligne de commande conseils de programmation

La fonctionnalité Recall de Microsoft laisse fuiter des informations sensibles malgré les filtres de sécurité

2024-12-12
La fonctionnalité Recall de Microsoft laisse fuiter des informations sensibles malgré les filtres de sécurité

La fonctionnalité Recall de Microsoft, conçue pour enregistrer l'activité de l'ordinateur, présente un filtre d'« informations sensibles » défaillant. Des tests ont révélé qu'elle ne parvenait pas à empêcher la sauvegarde de captures d'écran contenant des numéros de carte de crédit, des numéros de sécurité sociale et d'autres données sensibles. Bien que Microsoft promette des améliorations, la vulnérabilité de sécurité actuelle est préoccupante. Le filtre basé sur l'IA a du mal à identifier de manière fiable les informations sensibles, ce qui représente un risque de sécurité important.

Lire plus
(www.tomshardware.com)
Technologie vulnérabilité de sécurité

Qubes OS dévoile un outil de conversion sécurisé pour les PDF

2024-12-12

L'équipe de Qubes OS a développé un nouveau mécanisme de sécurité pour convertir des PDF non fiables en PDF fiables. Ce mécanisme utilise la technologie des machines virtuelles jetables (Disposable VMs) de Qubes OS, isolant le processus d'analyse des PDF dans un conteneur sécurisé. Le PDF est converti en une représentation d'image RGB simple, puis reconverti en PDF. Cette approche atténue efficacement les attaques provenant de PDF malveillants ; même si l'analyse échoue, le PDF résultant ne sera qu'une image corrompue, ne présentant aucune menace pour le système. Cette innovation améliore considérablement la sécurité de Qubes OS, permettant aux utilisateurs de gérer les PDF provenant du Web ou des e-mails en toute sécurité.

Lire plus
(blog.invisiblethings.org)
Technologie conversion sécurisée de PDF machines virtuelles jetables

Un ingénieur implémente un automate cellulaire réversible 1D à l'aide d'opérations bit à bit

2024-12-12
Un ingénieur implémente un automate cellulaire réversible 1D à l'aide d'opérations bit à bit

Richard Palethorpe, un ingénieur, a créé une démonstration utilisant la bibliothèque GFXPrim, montrant un automate cellulaire binaire unidimensionnel et sa contrepartie réversible. L'automate évolue selon des règles où l'état de chaque cellule est déterminé par son propre état et ceux de ses voisins gauche et droit. L'article détaille les optimisations des opérations bit à bit, telles que le traitement parallèle de plusieurs cellules utilisant des entiers 64 bits et la rotation des bits pour simuler l'interaction entre voisins. L'implémentation réversible est obtenue en utilisant XOR avec l'état précédent. L'auteur explore les impacts de l'optimisation du compilateur et de la vectorisation sur les performances et, finalement, implémente une méthode de rendu efficace.

Lire plus
(richiejp.com)
Développement automate cellulaire opérations bit à bit calcul réversible

L'ascension et la chute d'Ashton-Tate : la saga de dBASE

2024-12-12
L'ascension et la chute d'Ashton-Tate : la saga de dBASE

Ashton-Tate, acteur majeur de la révolution de l'informatique personnelle des années 1980, a connu la gloire grâce à son logiciel de gestion de base de données, dBASE. Initialement conçu par Wayne Ratliff sous le nom de Vulcan, le programme est rapidement devenu une norme pour les systèmes CP/M, puis a prospéré avec l'essor du PC IBM. Son interface conviviale et ses fonctionnalités puissantes ont propulsé Ashton-Tate vers une introduction en bourse et un succès important. Cependant, les difficultés ultérieures de l'entreprise avec le développement de dBASE III, la concurrence croissante et des problèmes internes ont finalement conduit à son rachat par Borland. Cette histoire détaille l'héritage de dBASE, l'ascension et la chute d'Ashton-Tate, offrant des informations précieuses sur la dynamique de l'industrie du logiciel.

Lire plus
(www.abortretry.fail)
Développement logiciel de gestion de base de données

Gentrace lève 8 millions de dollars en Série A pour révolutionner l'évaluation des LLM pour les équipes IA

2024-12-12
Gentrace lève 8 millions de dollars en Série A pour révolutionner l'évaluation des LLM pour les équipes IA

Gentrace, une plateforme d'évaluation des LLM, a annoncé une levée de fonds de Série A de 8 millions de dollars. Elle s'attaque aux défis tels que les processus d'évaluation cloisonnés et le manque de collaboration en équipe. Gentrace offre un environnement de test collaboratif. Les équipes peuvent tester directement via une interface utilisateur conviviale, éliminant le besoin de code d'évaluation isolé. Prenant en charge les évaluations de modèle, de code et humaines, Gentrace fournit la gestion des expériences, des rapports et des outils de débogage pour un développement efficace des LLM. Des réussites de Webflow, Multiverse et Quizlet mettent en évidence des améliorations significatives de l'efficacité des tests (par exemple, une augmentation de 40 fois).

Lire plus
(gentrace.ai)
IA évaluation LLM développement IA collaboration d'équipe

Extension GitHub résumant les articles de Hacker News avec des LLMs

2024-12-12
Extension GitHub résumant les articles de Hacker News avec des LLMs

Le projet GitHub `hn-tldr-extension` propose une extension de navigateur utilisant les grands modèles de langage (LLMs) d'OpenAI et d'Anthropic pour résumer rapidement les articles de Hacker News. Les utilisateurs fournissent leurs propres clés API pour activer un bouton 'résumer' sur les pages HN, offrant des résumés concis des articles. Le code de l'extension est open-source et compatible avec des navigateurs comme Firefox.

Lire plus
(github.com)
Développement extension de navigateur grand modèle de langage

Bonscore : notation de crédit professionnelle indépendante

2024-12-12

Bonscore propose un service de notation de crédit professionnel indépendant et transparent. Les données proviennent directement du registre du commerce, garantissant l'objectivité et empêchant toute manipulation. Contrairement aux agences de crédit traditionnelles, Bonscore utilise des algorithmes propriétaires pour évaluer la probabilité de défaut, en fournissant des comparaisons avec des benchmarks sectoriels. Cela permet aux entreprises d'évaluer la solvabilité de clients potentiels et existants, de concurrents et de fournisseurs, menant à des décisions commerciales plus éclairées, telles que : la vérification de nouveaux clients, l'analyse du comportement de paiement des clients existants, la participation à des appels d'offres, l'évaluation de la fiabilité des fournisseurs, l'analyse de la santé financière des concurrents et la prise de décisions de crédit.

Lire plus
(bonscore.org)
Startup notation de crédit professionnelle évaluation des risques décisions commerciales

Lancement de la bibliothèque lfi d'itération concurrente haute performance

2024-12-12

lfi est une bibliothèque de programmation fonctionnelle légère axée sur l'itération synchrone, asynchrone et concurrente. Elle surpasse significativement les bibliothèques telles que p-map et p-filter en matière d'itération concurrente en traitant chaque élément indépendamment, ce qui se traduit par des gains de performance substantiels. lfi utilise également l'évaluation paresseuse, effectuant les opérations uniquement lorsque nécessaire pour économiser de la mémoire, et possède une petite taille, ce qui la rend facilement optimisable avec tree shaking. Sa conception d'API propre, combinée à la fonction pipe, conduit à un code plus lisible et facile à maintenir.

Lire plus
(lfi.dev)
Développement programmation fonctionnelle itération concurrente optimisation des performances

Google dévoile Android XR : une nouvelle plateforme pour casques et lunettes

2024-12-12
Google dévoile Android XR : une nouvelle plateforme pour casques et lunettes

Google, en partenariat avec Samsung et Qualcomm, a annoncé Android XR, une plateforme conçue pour étendre la réalité afin d’explorer, de se connecter et de créer de nouvelles façons. Tirant parti des progrès de l’IA, Android XR permet aux casques et aux lunettes de comprendre l’intention de l’utilisateur et le contexte, facilitant des interactions plus naturelles. Le premier appareil, codé nommé Projet Moohan et fabriqué par Samsung, sera lancé l’année prochaine et intègre l’assistant IA Gemini, des applications préinstallées telles que YouTube et Google TV, et des transitions fluides entre les environnements virtuels et réels. Les projets futurs incluent la prise en charge de lunettes offrant une assistance quotidienne.

Lire plus
(blog.google)
Technologie Réalité étendue Intelligence artificielle

Le Groupe de Recherche Holotypique Occupanide : À la Découverte de l'Inconnu

2024-12-12

Le Groupe de Recherche Holotypique Occupanide est une organisation dédiée à l'exploration de territoires inconnus. Les détails de ses recherches restent confidentiels, nécessitant plus d'informations pour un résumé complet. Cela pourrait impliquer des technologies de pointe, la réalité virtuelle ou d'autres projets encore non révélés.

Lire plus
(www.horg.com)
Divers territoires inconnus groupe de recherche technologies de pointe

Kubernetes Spec v1.32 publié : Guide de référence complet des ressources

2024-12-12
Kubernetes Spec v1.32 publié : Guide de référence complet des ressources

kubespec.dev a publié un guide de référence et une documentation pour la spécification Kubernetes v1.32, fournissant une documentation complète pour toutes les ressources, propriétés, types et exemples intégrés. Le guide couvre les charges de travail, le cluster, le réseau, la configuration, le stockage, l'administration et le contrôle d'accès, permettant aux utilisateurs de trouver et de comprendre rapidement les fonctionnalités de Kubernetes. Le projet est open source et accepte les contributions.

Lire plus
(kubespec.dev)
Développement Spécification

Great Question (YC) recrute un responsable des opérations RH

2024-12-12
Great Question (YC) recrute un responsable des opérations RH

Great Question, une startup soutenue par YC qui simplifie la recherche client, recherche un responsable des opérations RH expérimenté. Ce rôle se concentrera sur l'optimisation du recrutement, de l'intégration, de la standardisation de la rémunération et de l'amélioration de la culture d'entreprise pour accroître l'engagement et la fidélisation des employés. Le candidat idéal aura plus de 3 ans d'expérience dans les opérations RH, une expertise en rémunération et en gestion des performances, d'excellentes compétences en communication et une capacité prouvée à réussir en télétravail. Il s'agit d'une occasion cruciale de contribuer à une startup en forte croissance.

Lire plus
(www.ycombinator.com)
Startup Recrutement Opérations RH

Une particule bizarre gagne ou perd de la masse selon sa direction de déplacement

2024-12-12
Une particule bizarre gagne ou perd de la masse selon sa direction de déplacement

Des scientifiques ont découvert accidentellement une étrange particule qui possède une masse lorsqu'elle se déplace dans une direction, mais pas lorsqu'elle se déplace dans une autre. Connues sous le nom de fermions semi-Dirac, ces particules au comportement étrange ont été prédites pour la première fois il y a 16 ans. La découverte a été faite dans un matériau semi-métallique appelé ZrSiS, composé de zirconium, de silicium et de soufre, lors de l'étude des propriétés des quasi-particules. Cette découverte pourrait ouvrir la voie à de nouvelles applications du ZrSiS.

Lire plus
(newatlas.com)
Technologie fermions semi-Dirac quasi-particules

Une erreur de calcul provoque une panique inutile concernant les ustensiles de cuisine en plastique noir

2024-12-12
Une erreur de calcul provoque une panique inutile concernant les ustensiles de cuisine en plastique noir

Une étude récente publiée dans Chemosphere affirmait que les ustensiles de cuisine en plastique noir contiennent des retardateurs de flamme cancérigènes, provoquant une panique généralisée. Cependant, un scientifique de l'Université McGill a découvert une simple erreur de calcul dans l'étude, surestimant les niveaux d'exposition d'un facteur dix. Malgré cette erreur, les chercheurs maintiennent leurs préoccupations concernant les risques potentiels liés aux ustensiles de cuisine en plastique noir.

Lire plus
(nationalpost.com)
Divers ustensiles de cuisine en plastique noir erreur de calcul risques pour la santé

Modèles de mémoire des langages de programmation : défis et solutions en programmation concurrente

2024-12-12

Cet article explore en profondeur les modèles de mémoire des langages de programmation, plus précisément le comportement de la mémoire partagée dans les programmes multithreadés. Prenant un programme simple de type C comme exemple, il illustre comment les optimisations du compilateur peuvent conduire à des résultats inattendus, tels que des problèmes de concurrence entre les threads. Pour y remédier, les langages modernes introduisent des variables atomiques et des opérations atomiques afin de garantir la synchronisation des threads et d’éviter les problèmes de concurrence. L’article compare les modèles de mémoire de Java, C++, Rust et d’autres langages, en analysant leurs forces et faiblesses, ainsi que leur évolution, et souligne les défis qui persistent dans la formalisation des modèles de mémoire.

Lire plus
(research.swtch.com)
Développement modèle de mémoire programmation concurrente

Indice de durabilité du réseau blockchain de Cambridge : la carte minière révèle les schémas de consommation énergétique

2024-12-12

Le Centre pour les finances alternatives de Cambridge (CCAF) a publié une carte minière visualisant la consommation énergétique de l'extraction de Bitcoin à l'échelle mondiale dans le cadre de l'Indice de durabilité du réseau blockchain de Cambridge. La carte montre la part du hashrate de minage de Bitcoin par pays et région, révélant un schéma de migration saisonnière des mineurs chinois entre les saisons « sèche » et « humide » pour tirer parti de l'énergie hydroélectrique bon marché. Cependant, ce schéma de migration a probablement pris fin après la répression du gouvernement chinois sur l'industrie minière en juin 2021. La recherche est basée sur des données d'installations minières géolocalisées collectées en partenariat avec plusieurs pools de minage de Bitcoin et reconnaît les contributions de BTC.com, Poolin, ViaBTC et Foundry.

Lire plus
(ccaf.io)
Technologie minage de Bitcoin consommation énergétique durabilité

Peter Solnica, membre de l'équipe principale de Hanami, annonce sa retraite

2024-12-12
Peter Solnica, membre de l'équipe principale de Hanami, annonce sa retraite

Peter Solnica, développeur principal du framework Hanami, a récemment annoncé sa retraite de l'équipe principale. Après deux ans de réflexion, il a décidé de consacrer plus de temps à sa famille et de rechercher un meilleur équilibre entre vie professionnelle et personnelle. Solnica a remercié de nombreuses personnes et organisations qui ont significativement impacté sa carrière, notamment Lunar Logic, l'équipe DataMapper et les membres de l'équipe Hanami. Il a affirmé que, même s'il n'est plus membre de l'équipe principale, il continuera à soutenir le développement de Hanami et maintiendra le contact avec la communauté. La retraite de Solnica ne reflète pas une perte de confiance en Hanami, mais plutôt un ajustement personnel dans la gestion du temps et les priorités de vie, en se concentrant sur sa famille et le développement Elixir.

Lire plus
(solnic.dev)
Développement Retraite

Des chasseurs du Colorado font don de gibier pour lutter contre l'insécurité alimentaire

2024-12-12
Des chasseurs du Colorado font don de gibier pour lutter contre l'insécurité alimentaire

Dans le Colorado, Meat Cleaver, un transformateur de viande, s'associe à des chasseurs pour faire don de surplus de venaison, d'élan et d'autres gibiers à des banques alimentaires locales, luttant ainsi contre l'insécurité alimentaire. Financé par Farmers and Hunters Feeding the Hungry (FHFH), le programme réduit le gaspillage et fournit des protéines saines aux familles vulnérables. Bien qu'actuellement limité à Meat Cleaver, le programme a réussi à donner des milliers de kilos de viande, recevant les félicitations de la communauté. Les chasseurs participants, malgré le système compétitif de permis de chasse, trouvent une satisfaction à aider les personnes dans le besoin.

Lire plus
(collective.coloradotrust.org)
Divers banques alimentaires don de gibier assistance communautaire

L'équipe de recherche sécurité d'Oasis découvre un contournement de l'authentification multifacteur (MFA) de Microsoft Azure

2024-12-12
L'équipe de recherche sécurité d'Oasis découvre un contournement de l'authentification multifacteur (MFA) de Microsoft Azure

L'équipe de recherche sécurité d'Oasis a découvert une faille critique dans l'implémentation de l'authentification multifacteur (MFA) de Microsoft Azure. Des attaquants pouvaient contourner la MFA pour accéder sans autorisation aux comptes utilisateurs, y compris Outlook, OneDrive, Teams et Azure Cloud. La vulnérabilité exploitait l'absence de limite de taux, permettant une création rapide de sessions et une énumération de codes pour épuiser les possibilités d'un code à 6 chiffres sans alertes. Microsoft a depuis mis en place une limite de taux beaucoup plus stricte pour résoudre le problème. Ceci souligne l'importance d'activer la MFA et de surveiller les tentatives de connexion échouées.

Lire plus
(www.oasis.security)
Technologie Sécurité Azure Vulnérabilité MFA Contournement d'authentification

Preuve du Dernier Théorème de Fermat : Les Ordinateurs Relèvent un Défi Mathématique

2024-12-12
Preuve du Dernier Théorème de Fermat : Les Ordinateurs Relèvent un Défi Mathématique

Une équipe tente de prouver le dernier théorème de Fermat à l'aide de Lean, rencontrant des défis inattendus. Au lieu de s'appuyer sur la preuve originale, ils utilisent une approche moderne plus généralisée. Lors de la formalisation de la cohomologie cristalline, ils ont découvert une erreur dans un lemme clé, menant à une réévaluation des fondements de la théorie. Ils ont finalement trouvé une solution de contournement en utilisant une preuve différente. Cette expérience met en évidence des erreurs potentielles dans la littérature mathématique moderne et souligne la nécessité de preuves formalisées.

Lire plus
(xenaproject.wordpress.com)
Développement Dernier Théorème de Fermat Mathématiques Formalisées

La lutte contre le piratage français s'intensifie : le fournisseur de DNS Quad9 bloque les sites pirates à l'échelle mondiale

2024-12-12

Dans une lutte croissante contre le piratage sportif en ligne, le géant français des médias Canal+ a obtenu des ordonnances judiciaires obligeant les fournisseurs de DNS Quad9 et Vercara à bloquer l'accès aux sites de streaming pirates en France. Quad9, considérant qu'il s'agit d'une application absurde de la loi sur le droit d'auteur, prévoit de faire appel, mais a bloqué les domaines à l'échelle mondiale pour le moment. Cette action déclenche un débat mondial sur le droit d'auteur et la neutralité du net, Quad9 sollicitant le soutien du public pour son appel afin de maintenir un internet ouvert.

Lire plus
(torrentfreak.com)
Technologie droit d'auteur neutralité du net blocage DNS

Lois d'Échelle de l'IA : Au-delà du Pré-entraînement, un Nouveau Paradigme Émerge

2024-12-12
Lois d'Échelle de l'IA : Au-delà du Pré-entraînement, un Nouveau Paradigme Émerge

Cet article explore l'évolution des lois d'échelle de l'IA, en arguant qu'elles dépassent le pré-entraînement. Le modèle o1 d'OpenAI démontre l'utilité et le potentiel des modèles de raisonnement, ouvrant une nouvelle dimension inexplorée pour l'échelle. L'article approfondit des techniques telles que les données synthétiques, l'Optimisation de Politique Proximale (PPO) et l'apprentissage par renforcement pour améliorer les performances du modèle. Il clarifie que Claude 3.5 Opus d'Anthropic et Orion d'OpenAI n'étaient pas des échecs, mais plutôt des changements de stratégies d'échelle. Les auteurs soulignent que l'échelle englobe plus que simplement l'augmentation des données et des paramètres ; elle inclut le calcul en temps d'inférence, des évaluations plus difficiles et des innovations dans l'architecture d'entraînement et d'inférence.

Lire plus
(semianalysis.com)
IA échelle de l'IA grands modèles de langage modèles de raisonnement

Un collégien découvre un nouveau composé dans des déjections d'oie

2024-12-12
Un collégien découvre un nouveau composé dans des déjections d'oie

Un élève de collège, participant à un programme de recherche en partenariat avec une université locale, a découvert un nouveau composé, l'orfamide N, dans un échantillon de déjections d'oie prélevé dans un parc. Bien qu'il ne soit pas responsable de l'activité antibiotique initialement observée chez la bactérie, l'orfamide N a inhibé la croissance de cellules de mélanome humain et de cancer de l'ovaire lors de tests en laboratoire. Cette recherche démontre le succès de la combinaison de la sensibilisation éducative et de la recherche sur la découverte de produits naturels, soulignant l'importance des partenariats entre les universités et les communautés locales. Le projet a fourni une expérience pratique inestimable à l'élève, démontrant le potentiel des jeunes scientifiques.

Lire plus
(phys.org)
Technologie découverte scientifique recherche au collège nouveau composé

Quantus : Une plateforme de trading quantitatif révolutionnaire

2024-12-12

Quantus est une plateforme de trading quantitatif avancée conçue pour fournir des solutions de trading efficaces et fiables aux traders professionnels et aux investisseurs institutionnels. Elle intègre de puissants outils d'analyse de données, des fonctionnalités de backtesting flexibles et un système d'exécution à faible latence, permettant aux utilisateurs de mieux saisir les opportunités du marché et d'améliorer les rendements des investissements. Grâce à sa technologie robuste et à son interface conviviale, Quantus devient rapidement une étoile montante du paysage de la fintech.

Lire plus
(quantus.finance)
Technologie trading quantitatif plateforme de trading

Gukesh couronné plus jeune champion du monde d'échecs de l'histoire

2024-12-12
Gukesh couronné plus jeune champion du monde d'échecs de l'histoire

Lors du 14e tour du Championnat du monde d'échecs 2024, le grand maître indien de 18 ans, Gukesh D, a battu le champion en titre, Ding Liren, pour devenir le plus jeune champion du monde de tous les temps ! Ding a utilisé une défense Grünfeld inversée, mais Gukesh, avec des ouvertures précises et une préparation approfondie, a mené la partie vers une fin de partie complexe. Après une longue lutte, Ding a commis une erreur fatale, permettant à Gukesh de capitaliser et de remporter une victoire historique, réalisant ainsi un rêve de toute une vie.

Lire plus
(lichess.org)
Jeux échecs champion du monde

Jujutsu : Un système de contrôle de version révolutionnaire

2024-12-12

L'auteur utilise quotidiennement Jujutsu, un système de contrôle de version basé sur Git, et le recommande vivement. Contrairement à d'autres alternatives simplifiées à Git, Jujutsu se concentre sur l'amélioration du flux de travail des utilisateurs expérimentés, notamment en simplifiant l'édition de l'historique. L'auteur raconte une expérience personnelle montrant la facilité avec laquelle Jujutsu permet de modifier les commits précédents, en éliminant les commandes Git complexes. Bien que Jujutsu présente quelques inconvénients, tels que le manque de support pour git send-email et l'exigence de CLA de Google, l'auteur l'utilise toujours quotidiennement pour ses projets personnels.

Lire plus
(drewdevault.com)
Développement Contrôle de version
1 2 … 588 589 590 591 592 593 595