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

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

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

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

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

TimeMap.org : Un projet d'atlas historique mondial

2024-12-12

TimeMap.org est un projet collaboratif d'atlas historique mondial qui permet aux utilisateurs de créer et de partager des cartes du monde basées sur le temps. Il possède une communauté active, des mises à jour régulières et une application mobile pour un accès facile. Les utilisateurs peuvent explorer des cartes historiques de diverses régions et approfondir les événements historiques de différentes périodes.

Lire plus
(www.oldmapsonline.org)
Divers histoire mondiale cartes en ligne

La stimulation du cerveau aide les paralysés à remarcher

2024-12-12

L'Economist rapporte une étude révolutionnaire montrant que la stimulation de parties spécifiques du cerveau peut permettre à des personnes paralysées de remarcher. Des chercheurs ont utilisé des électrodes implantées pour aider un homme à monter des escaliers sans aide, offrant un nouvel espoir aux personnes souffrant de lésions de la moelle épinière et marquant une avancée significative en neurosciences.

Lire plus
(www.economist.com)
Technologie stimulation cérébrale paralysie neurosciences

Accès à une base de données éphémère avec GitHub Actions et S3

2024-12-12

Cet article présente une méthode astucieuse pour exécuter une base de données temporaire en utilisant GitHub Actions pour le calcul éphémère et le stockage d'objets S3 pour la persistance. Créez une base de données compatible MySQL à la demande, stockez les données dans S3 et détruisez-la automatiquement une fois terminée, éliminant ainsi les coûts continus. Un tunnel sécurisé permet un accès public pour les tests d'intégration, les démonstrations ou le développement à court terme. Important : Cette approche convient uniquement aux tâches à court terme ; elle n'est pas conçue pour les services de base de données longue durée.

Lire plus
(wesql.io)
Développement Base de données

Clipmaps géométriques : rendu de terrain simple avec niveau de détail

2024-12-12

Cet article de blog détaille les clipmaps géométriques, une technique de rendu en temps réel de terrains de grande taille. Il utilise un maillage avec une densité de tessellation variable — plus fine près de la caméra, plus grossière plus loin — pour atteindre le niveau de détail. L’auteur explique méticuleusement les détails de l’implémentation, y compris la génération du maillage, les procédures de rendu, la gestion des joints et le stockage efficace des cartes de hauteur. L’alignement du maillage est crucial pour éviter les artefacts scintillants. Bien que complexe, la technique se distingue par sa simplicité, évitant les algorithmes coûteux en calcul tout en maintenant un rendu de terrain de haute qualité.

Lire plus
(mikejsavage.co.uk)
Jeux rendu de terrain clipmaps géométriques

Les filtres de noms de ChatGPT suscitent la controverse

2024-12-12

Le chatbot d'IA ChatGPT a suscité la controverse en raison de ses filtres de noms intégrés. Ces filtres empêchent les utilisateurs de mentionner certains noms, tels que Brian Hood, Jonathan Turley et Jonathan Zittrain, entraînant des interruptions de conversation. La raison de ce filtrage provient d'instances précédentes où ChatGPT a généré incorrectement des informations sur ces personnes, conduisant à des litiges. Bien qu'OpenAI affirme que le filtrage de "David Mayer" était un bug, l'incident met en lumière les défis que les LLM rencontrent dans la gestion d'informations sensibles et les problèmes potentiels que peuvent créer les filtres codés en dur.

Lire plus
(arstechnica.com)
IA filtres de noms

Un clone de ChatGPT en 3000 octets de C

2024-12-12

Le développeur Nicholas Carlini a créé un clone de ChatGPT utilisant seulement 3000 octets de code C, basé sur le modèle GPT-2. Cette implémentation sans dépendances charge la matrice de poids et le fichier BPE de GPT-2, puis effectue la tokenisation, les opérations matricielles, l'inférence du transformateur et la détokenisation. Bien que la qualité de la sortie ne soit pas élevée, son efficacité est remarquable, produisant plusieurs réponses par seconde sur du matériel moderne. Cela démontre le potentiel du code compact dans l'implémentation de modèles d'IA complexes.

Lire plus
(nicholas.carlini.com)
IA

Un programmeur critique les fournisseurs OAuth pour des défauts d'API

2024-12-12

Un programmeur a publiquement critiqué plusieurs fournisseurs OAuth (GitHub, Facebook, TikTok, Strava, Naver, etc.) pour diverses incohérences d'API. Les problèmes incluaient des codes de statut incorrects, des réponses d'erreur non standard, une nomenclature de paramètres incohérente et des formats d'expiration de jeton défectueux. L'auteur a exhorté ces fournisseurs à rectifier ces problèmes, exprimant une confusion particulière concernant les choix de conception de Naver. Le message a également mis en évidence le manque de prise en charge de l'authentification HTTP de base, précisant par la suite que, bien qu'elle soit facultative dans OAuth 2.1, l'absence de prise en charge de PKCE chez la plupart des fournisseurs les rend non conformes à l'une ou l'autre spécification.

Lire plus
(pilcrowonpaper.com)
Développement incohérences d'API spécification développeur défauts d'API

QEMU gagne en accélération Vulkan grâce à la mise à jour du pilote VirtIO GPU

2024-12-12

QEMU version 9.2.0 et supérieures prend désormais en charge l'accélération Vulkan pour VirtIO-GPU grâce aux correctifs Venus. Ceci représente une avancée significative dans le rendu graphique Vulkan pour les machines virtuelles QEMU. L'article détaille le processus de configuration, notamment l'installation des paquets nécessaires (noyau Linux 6.13+, QEMU 9.2.0+, pilotes Vulkan, etc.), la compilation de QEMU à partir de la source et la création d'une image de VM. Bien que virt-manager ne prenne pas encore en charge la configuration Vulkan, des paramètres de ligne de commande offrent une solution de contournement. Des conseils de dépannage sont fournis, ainsi que des notes sur les limitations actuelles de virt-manager et libvirt.

Lire plus
(gist.github.com)
Développement

WXT : Framework d'extension web nouvelle génération pour un développement accéléré

2024-12-12

WXT est un outil open source qui révolutionne le développement d'extensions web. Il prend en charge Chrome, Firefox, Edge, Safari et tous les navigateurs basés sur Chromium, et permet de construire des extensions Manifest V2 et V3 à partir d'une seule base de code. Doté d'un HMR ultrarapide, de points d'entrée basés sur les fichiers et d'un support TypeScript par défaut, WXT offre des importations automatiques et une publication automatisée. Indépendant de tout framework et compatible avec n'importe quel plugin Vite, il dispose d'un système de modules et du téléchargement de code distant, maximisant ainsi la vitesse de développement et permettant aux développeurs de se concentrer sur les fonctionnalités, et non sur les scripts de construction.

Lire plus
(wxt.dev)
Développement extension web framework de développement
1 2 … 14 15 16 17 18 19 20 22 Next →