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

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

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

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

2024-12-12

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

Percée dans l'analyse d'atteignabilité du système de noms de domaine

2024-12-12

Des chercheurs ont présenté la première procédure de décision pour la vérification du système de noms de domaine (DNS), établissant sa complexité comme étant de 2ExpTime. L'étude formalise la sémantique du DNS et utilise une nouvelle abstraction basée sur les langages positivement préfixe-testables, réduisant le problème de vérification du DNS au problème de vérification pour les systèmes pushdown. Cette approche modélise efficacement les vecteurs d'attaque dans le DNS, tels que les attaques d'amplification et le blackholing par réécriture, fournissant une nouvelle base théorique pour garantir la sécurité et la fiabilité du DNS.

Lire plus
(arxiv.org)
Développement sécurité DNS vérification formelle analyse d'atteignabilité

Stockage des heures pour les événements humains : meilleures pratiques et défis

2024-12-12

Cet article de blog traite des meilleures pratiques pour stocker les heures des événements sur les sites Web d’événements. L’auteur soutient que le stockage direct de l’heure UTC entraîne la perte d’informations cruciales, telles que l’intention initiale de l’utilisateur et l’emplacement. Une meilleure approche consiste à stocker l’heure souhaitée par l’utilisateur et l’emplacement de l’événement, puis à dériver l’heure UTC. Des exemples tels que les erreurs de l’utilisateur, les ajustements des fuseaux horaires internationaux et la mise à jour de l’heure d’été de Microsoft Exchange de 2007 illustrent l’importance de stocker l’heure souhaitée par l’utilisateur. L’auteur recommande de concevoir une interface utilisateur claire et intuitive pour aider les utilisateurs à définir précisément les heures et les emplacements des événements, en soulignant l’importance de maintenir l’intention initiale de l’utilisateur afin d’éviter les erreurs causées par les changements de fuseau horaire.

Lire plus
(simonwillison.net)
Développement stockage du temps fuseau horaire expérience utilisateur gestion des événements base de données

Graphiques bitmap haute résolution avec Commodore 64 BASIC 2.0 : routine de nettoyage d’écran rapide

2024-12-12

Cet article présente une méthode efficace pour gérer les graphiques bitmap haute résolution dans Commodore 64 BASIC 2.0, en se concentrant sur une routine de nettoyage d’écran rapide. L’auteur souligne que le BASIC natif manque de commandes de manipulation directe des bitmaps, rendant le nettoyage conventionnel lent. Une solution ingénieuse utilise le mécanisme de stockage de chaînes du BASIC : de longues chaînes remplies de CHR$(0) écrasent la mémoire du bitmap, permettant un nettoyage rapide. La technique est illustrée par un exemple de tracé de fonction cosinus.

Lire plus
(retro64.altervista.org)
Développement Graphiques bitmap Graphiques Bitmap

Erreurs du compilateur C++ : erreurs absurdes provenant d’une déclaration de fonction

2024-12-12

Un développeur ajoutant la prise en charge de XAML à une application C++ a rencontré une série d’erreurs du compilateur simplement en incluant le fichier d’en-tête winrt/Windows.UI.Xaml.h. Les erreurs provenaient de ce qui semblait être une déclaration de fonction normale : `template struct consume_Windows_UI_Xaml_IExceptionRoutedEventArgs { [[nodiscard]] auto ErrorMessage() const; };` La cause première était une macro préexistante nommée ErrorMessage dans le projet du développeur, entrant en conflit avec le nom de la fonction. Cette macro créait un objet ErrorMessageString et retournait un pointeur vers une chaîne de caractères de message d’erreur. L’absence de limites de la macro a fait que le compilateur interprétait erronément la déclaration de la fonction comme une invocation de macro, ce qui a entraîné des erreurs telles que « arguments insuffisants ». La solution consistait à désactiver la macro à l’aide de #pragma undef avant d’inclure l’en-tête ou à supprimer complètement la macro et à la remplacer par une fonction inline.

Lire plus
(devblogs.microsoft.com)
Développement erreurs du compilateur conflit de macro Erreurs du compilateur Définition de macro

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

2024-12-12

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

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

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

2024-12-12

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

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

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

2024-12-12

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é

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é

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

2024-12-12

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

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

2024-12-12

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

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

2024-12-12

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

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

2024-12-12

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

Refactoring en C++ : techniques et meilleures pratiques

2024-12-13

Cet article explore les techniques courantes de refactoring en C++ et les meilleures pratiques pour améliorer la qualité du code. Le refactoring, processus de restructuration du code existant sans modifier les fonctionnalités, améliore la lisibilité, l'efficacité et la maintenabilité. L'article couvre des techniques telles que le renommage des variables et des fonctions, l'extraction de fonctions, la simplification des instructions conditionnelles, l'optimisation des boucles et la suppression des doublons de code. Il souligne l'importance d'utiliser des IDE avec des capacités de refactoring automatique et met en évidence les meilleures pratiques, telles que le refactoring par petits pas, l'utilisation du contrôle de version et les tests automatisés pour minimiser la dette technique et améliorer la qualité globale du code.

Lire plus
(blog.jetbrains.com)
Développement développement logiciel

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

2024-12-12

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

CCxTrust : Plateforme de calcul confidentiel basée sur la confiance collaborative TEE et TPM

2024-12-12

CCxTrust est une plateforme de calcul confidentiel innovante qui combine les avantages des environnements d'exécution fiables (TEE) et des modules de plateforme sécurisés (TPM) pour établir un cadre de confiance collaboratif. En tirant parti de la racine de confiance (RoT) en boîte noire intégrée aux TEE de processeur et de la RoT en boîte blanche flexible des TPM, CCxTrust assure la protection de bout en bout des données et modèles sensibles, surmontant les limites liées à la dépendance à une seule RoT matérielle. La plateforme implémente des racines de confiance pour la mesure (RTM) indépendantes et une racine de confiance pour les rapports (RTR) collaborative, améliorée par un protocole d'attestation composite pour une sécurité et une efficacité accrues. Les résultats expérimentaux démontrent des avantages de performance significatifs.

Lire plus
(arxiv.org)
IA Calcul confidentiel Environnement d'exécution fiable Module de plateforme sécurisée

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, 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

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

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

Installation facile de macOS sur n'importe quel ordinateur avec Proxmox

2024-12-12

Ce projet offre une méthode simplifiée pour installer macOS sur n'importe quel ordinateur utilisant Proxmox VE versions 7.0 à 8.2. Un seul script automatise le processus d'installation, permettant aux utilisateurs d'exécuter facilement les versions de macOS de High Sierra à Sonoma dans une machine virtuelle Proxmox. Les installations en environnement cloud sont également prises en charge, et un tutoriel vidéo est disponible.

Lire plus
(github.com)
Matériel Virtualisation

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

Publication du rapport d'audit de sécurité 2024 de l'application Mullvad VPN

2024-12-12

Mullvad VPN a publié le rapport de son audit de sécurité tiers de 2024 pour son application VPN. L'audit a révélé six vulnérabilités, de faible à haute gravité, toutes corrigées. Trois vulnérabilités de haute gravité concernaient les gestionnaires de signaux et une fuite d'adresse IP virtuelle, et ont été corrigées dans la dernière version. L'audit a également relevé quelques problèmes non liés à la sécurité sur lesquels Mullvad travaille activement. Globalement, l'application Mullvad VPN est considérée comme hautement sécurisée, mais il est conseillé aux utilisateurs de mettre à jour vers la dernière version.

Lire plus
(mullvad.net)
Technologie sécurité VPN audit de sécurité corrections de vulnérabilités

La loi de Parkinson : Fixez des délais, augmentez l'efficacité

2024-12-12

La loi de Parkinson affirme que le travail s'étend pour remplir le temps disponible pour son achèvement. James Stanier, écrivant d'un point de vue de la gestion de l'ingénierie, plaide pour l'importance de fixer des délais stimulants mais réalisables. En utilisant le « Triangle de fer » (portée, ressources, temps), il montre comment les délais empêchent l'expansion de la portée, améliorent l'efficacité et stimulent l'innovation. Il souligne également la mise en œuvre de rapports hebdomadaires pour encourager l'achèvement proactif des tâches, conduisant en fin de compte à une efficacité accrue.

Lire plus
(theengineeringmanager.substack.com)
Développement Loi de Parkinson Gestion de projet Délais
1 2 … 14 15 16 17 18 19 21