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

Yakari : Un constructeur de commandes interactif pour simplifier les interfaces CLI complexes

2024-12-21

Yakari est un outil interactif de construction de commandes conçu pour simplifier les interfaces en ligne de commande complexes. Il guide les utilisateurs pas à pas dans la construction des commandes, éliminant ainsi le besoin de mémoriser des syntaxes complexes. Prenant en charge différents types d'arguments, Yakari offre une aide contextuelle et un historique des commandes, améliorant considérablement la convivialité de l'interface CLI. Les utilisateurs peuvent construire et exécuter des commandes avec des raccourcis simples, rendant même les commandes complexes accessibles.

Lire plus
(github.com)
Développement outil de ligne de commande interface interactive

Apache Cloudberry : Base de données MPP open source, alternative à Greenplum

2024-12-21

Apache Cloudberry, créé par les développeurs originaux de Greenplum Database, est une base de données de traitement massivement parallèle (MPP) open source avancée et mature. Elle dispose d'un noyau PostgreSQL plus récent et de capacités d'entreprise améliorées, servant d'entrepôt de données et prenant en charge l'analyse à grande échelle et les charges de travail IA/ML. Les utilisateurs peuvent construire à partir de la source ou utiliser un bac à sable basé sur Docker pour des essais rapides. Une communauté dynamique offre un support et encourage les contributions allant des améliorations de code aux améliorations de la documentation.

Lire plus
(github.com)
Technologie base de données open source alternative à Greenplum

Itérateurs Go : Gestion efficace des API paginées

2024-12-21

Cet article montre comment gérer efficacement les API paginées à l'aide de la fonctionnalité d'itérateurs introduite dans Go 1.23. En utilisant l'API GitHub comme exemple, l'auteur explique comment écrire un itérateur personnalisé pour abstraire la logique de pagination, rendant le code plus lisible et réutilisable. L'article se concentre sur l'implémentation et les tests de l'itérateur, y compris la simulation des appels d'API et l'utilisation d'itérateurs pull pour s'assurer que l'itérateur renvoie les résultats attendus. Les itérateurs permettent aux développeurs de séparer la logique de pagination de la logique métier, améliorant ainsi la maintenabilité et la lisibilité du code.

Lire plus
(blog.thibaut-rousseau.com)
Développement Itérateurs API paginées

Manifeste du Pipeline de Livraison Continue : Construire une meilleure livraison de logiciels

2024-12-21

Les équipes de développement de logiciels modernes ont désespérément besoin de meilleurs outils pour gérer leurs pipelines de livraison continue. L’écosystème actuel des pipelines de CD est fragmenté, rigide et inefficace. Ce manifeste préconise des pipelines axés sur le code, conviviaux pour les développeurs et conçus pour gérer la complexité des workflows d’ingénierie modernes. Il met l’accent sur une seule source de vérité, des composants réutilisables et typecontrolable, des pipelines dynamiques et flexibles, un débogage transparent et visuel, et des mécanismes pour gérer les changements et les boucles de rétroaction rapides, dans le but ultime d’améliorer l’efficacité et d’accélérer la livraison.

Lire plus
(manifesto.getglu.dev)
Développement Livraison Continue Développement Logiciel

L'ingénierie cachée des passages pour la faune

2024-12-21

Le passage pour la faune Wallis Annenberg, un projet de 92 millions de dollars près de Los Angeles, est le plus grand passage pour la faune au monde de son genre. Cet article explore l'ingénierie derrière ces structures vitales, en abordant les défis de la fragmentation des habitats, de la pollution sonore et des collisions entre véhicules et animaux sauvages causées par les routes. Il examine différents aspects de la conception, notamment la sélection du site, les types de passages (sous-passages, sur-passages, ponceaux), les stratégies de clôture et l'attraction des animaux pour utiliser les passages. L'article souligne les différents comportements de passage de diverses espèces et les solutions d'ingénierie correspondantes, telles que les ponts surélevés pour les grands animaux et les ponceaux pour les petits animaux. Les considérations de conception comprennent le comportement animal, la topographie, la végétation et la garantie que les passages se fondent parfaitement dans le paysage, minimisant les conflits entre humains et animaux sauvages.

Lire plus
(practical.engineering)
Technologie Passages pour la faune Ingénierie Écologie

Grammarly acquiert Coda pour définir une nouvelle ère de productivité native de l'IA

2024-12-21

Grammarly a annoncé l'acquisition de Coda, dans le but de construire la future suite de productivité native de l'IA. Coda est un outil d'espace de travail collaboratif populaire, apprécié par les équipes, tandis que Grammarly est reconnue pour son assistance à l'écriture alimentée par l'IA. Cette acquisition combinera les forces des deux entreprises, en tirant parti des capacités de collaboration de documents de Coda et des capacités d'IA de Grammarly pour fournir aux utilisateurs des outils de productivité plus intelligents et plus efficaces. À l'avenir, les utilisateurs découvriront une intégration approfondie de l'assistant Grammarly avec Coda Brain, ce qui se traduira par de puissantes fonctionnalités de collaboration de documents natives de l'IA.

Lire plus
(coda.io)
IA Productivité

Machines de Turing : Les fondements du calcul

2024-12-21

Cet article explique clairement et simplement les machines de Turing, un modèle théorique du calcul. Il détaille leurs composants (bande, tête, programme et état) et illustre les techniques de programmation et leurs capacités à travers plusieurs exemples, incluant l'impression de caractères, les boucles et l'arithmétique basique. L'article explore également la calculabilité et le problème de l'arrêt, explique le concept de Turing-complet et éclaire le lien entre les machines de Turing et les ordinateurs modernes. Enfin, l'auteur fournit un éditeur en ligne permettant aux lecteurs d'écrire et d'exécuter leurs propres programmes pour machine de Turing, améliorant ainsi leur compréhension.

Lire plus
(samwho.dev)
IA Calculabilité Algorithme

Rivet : Exécutez et mettez à l'échelle des applications en temps réel avec les acteurs

2024-12-21

Rivet est une plateforme pour construire et mettre à l'échelle des applications en temps réel utilisant le modèle Actor. Elle intègre des fonctionnalités RPC, d'état et d'événements, simplifiant ainsi le développement d'applications modernes. Rivet offre un scaling automatique, un déploiement en réseau de périphérie et inclut une surveillance intégrée et des capacités de localisation des données. Propulsé par Rust, FoundationDB, des isolats V8 et l'environnement d'exécution Deno, il garantit les performances et l'efficacité. Rivet convient aux applications collaboratives, aux applications local-first, aux agents IA, aux serveurs de jeux et bien plus encore.

Lire plus
(github.com)
Développement Modèle Acteur Applications temps réel Plateforme Cloud

SingleFile : Enregistrez des pages web complètes en tant que fichiers HTML uniques

2024-12-21

SingleFile est une extension web puissante et un outil CLI qui enregistre des pages web complètes en tant qu'un seul fichier HTML. Compatible avec Chrome, Firefox, Edge et plus encore, il offre un enregistrement de pages pratique, un traitement multi-onglets, des fonctionnalités d'annotation et permet même de télécharger des pages enregistrées sur Google Drive ou GitHub. Personnalisez les raccourcis clavier et les paramètres pour l'adapter à vos besoins.

Lire plus
(github.com)
Développement enregistrement de page web

Apprentissage efficace de l'allemand : Anki est-il la solution ?

2024-12-21

Un ingénieur vivant en Allemagne depuis près de huit ans avoue ne toujours pas maîtriser la langue. Pour y remédier, il essaie Anki, utilisant la répétition espacée pour apprendre 10 nouveaux mots allemands par jour, dans le but d'atteindre un niveau C1 en un an. Il a choisi un jeu de cartes Anki ordonné par fréquence, en ajoutant lui-même les prononciations audio. L'auteur invite les lecteurs à partager leurs expériences avec Anki et leurs conseils pour apprendre l'allemand.

Lire plus
(www.argpar.se)
Développement apprentissage de l'allemand répétition espacée

Dire au revoir aux vulnérabilités des chaînes C : une approche plus sûre pour la gestion des chaînes

2024-12-21

Fatigué des vulnérabilités et de l’insécurité des chaînes C ? Cet article présente une alternative intelligente : une structure de chaîne personnalisée `struct str`, qui contient un pointeur de données et la longueur, évitant les risques liés à la terminaison nulle. L’expérience de six mois de l’auteur dans un environnement bare-metal montre que cette approche prévient efficacement les erreurs telles que le dépassement de tampon. Bien que l’utilisation de la macro `STR` soit un peu verbeuse, le gain en sécurité et en lisibilité dépasse largement cela. Les optimisations du compilateur rendent également la perte de performances négligeable, offrant une nouvelle approche aux développeurs qui privilégient la sécurité du code.

Lire plus
(thasso.xyz)
Développement langage C gestion des chaînes

La gouverneure de New York signe une loi criminalisant le marché noir des réservations de restaurants

2024-12-21

La gouverneure de New York, Kathy Hochul, a signé la loi anti-piratage des réservations de restaurants, visant à lutter contre le marché noir des réservations de restaurants. Cette loi, une première aux États-Unis, cible les individus et groupes utilisant des robots ou des méthodes manuelles pour accaparer et revendre des réservations à des prix gonflés. Elle protège les consommateurs et les entreprises en garantissant un système de réservation plus équitable, tout en reconnaissant certaines raisons légitimes pour l'échange de réservations, comme la gestion de réservations non remboursables en cas d'urgence. Cependant, la spéculation et les annulations fréquentes nuisent aux restaurants et aux clients.

Lire plus
(ny.eater.com)
Divers Réservations de Restaurants Marché Noir Législation New Yorkaise

Comment un robot de révision de code IA a appris à se taire

2024-12-21

Le robot de révision de code IA de Greptile a initialement été critiqué pour générer trop de commentaires. Pour résoudre ce problème, ils ont expérimenté l'ingénierie des invites et ont fait évaluer ses propres commentaires par le LLM, mais ces méthodes se sont avérées inefficaces. Leur percée est venue de la vectorisation des commentaires précédents, de leur regroupement dans une base de données vectorielle et du filtrage des nouveaux commentaires similaires à ceux qui avaient été précédemment rejetés. Cette approche a augmenté le taux de prise en charge des développeurs de 19 % à plus de 55 %, réduisant considérablement le bruit du LLM.

Lire plus
(www.greptile.com)
Développement Révision de code

Le choix du lieu du serveur Minecraft engendre un débat sur les systèmes de vote

2024-12-21

Le choix d'un emplacement pour un serveur Minecraft a suscité un débat approfondi sur différents systèmes de vote. Le système de vote à la majorité simple (Plurality voting) initialement utilisé a conduit à la victoire de l'option la moins populaire en raison de «l'effet spoiler». Par la suite, le vote instantané (Instant runoff) a été testé, résolvant certains problèmes, mais violant la monotonicité lorsque les candidats ont changé. L'auteur présente également la méthode de Borda et le théorème d'impossibilité d'Arrow, recommandant finalement le vote par score (Score voting) et le vote d'approbation (Approval voting) comme des options supérieures, car ils satisfont aux trois conditions du théorème d'impossibilité d'Arrow : l'unanimité, la non-dictature et l'indépendance des alternatives non pertinentes.

Lire plus
(blog.danielh.cc)
Jeux systèmes de vote théorème d'impossibilité d'Arrow

Implémentation de Raft : Plongez au cœur du consensus distribué

2024-12-21

Ceci est le premier article d'une série décrivant l'algorithme de consensus distribué Raft et son implémentation en Go. Raft résout le problème de la réplication d'une machine à états déterministes sur plusieurs serveurs, garantissant la disponibilité du service même en cas de panne de serveurs. L'article présente les composants principaux de Raft : la machine à états, le journal, le module de consensus, les rôles de leader/suiveur et l'interaction avec le client. Il aborde la tolérance aux pannes de Raft, le théorème CAP et le choix de Go comme langage d'implémentation. Les articles suivants approfondiront les détails de l'implémentation de l'algorithme.

Lire plus
(eli.thegreenplace.net)
Développement Consensus Distribué

Gazzetta : La Meilleure Façon de Lire les Actualités et les Liens sur Mastodon

2024-12-21

Gazzetta est un lecteur d'actualités conçu pour Mastodon, contrairement aux autres clients qui privilégient l'expérience de réseau social. Il fonctionne comme un lecteur RSS pour Mastodon, offrant une interface séparée pour une lecture concentrée des actualités et des liens. Il permet de suivre des serveurs et des comptes pour voir les liens populaires, la recherche en texte intégral, l'intégration avec Safari, la gestion des signets, l'exportation des liens et des options de personnalisation telles que les styles de police, le masquage des miniatures et le filtrage des liens par domaine, mot clé ou langue.

Lire plus
(primatology.xyz)
Développement Lecteur d'actualités

Bataille juridique pour sauver l'escalier historique d'Haiku

2024-12-21

La démolition de l'escalier emblématique d'Haiku à Oahu fait face à des défis juridiques. Les Amis de l'escalier d'Haiku ont intenté un procès, arguant que la ville et les agences étatiques n'ont pas respecté les réglementations de préservation historique, citant un accord de 1999 protégeant l'existence de l'escalier. La ville répond que les procédures correctes ont été suivies et que la démolition était nécessaire en raison de problèmes de sécurité et de plaintes des résidents. Un juge rendra bientôt une décision, laissant le sort de l'escalier incertain.

Lire plus
(www.civilbeat.org)
Divers préservation historique procès escalier d'Haiku

S2 : Révolutionner le stockage de données en streaming dans le cloud

2024-12-21

Bandar Systems présente S2, un nouveau service de stockage de données en streaming conçu pour révolutionner le traitement des données à l'ère du cloud. Contrairement au stockage basé sur les objets traditionnel, S2 se concentre sur les flux, offrant une ingestion et un traitement de données en temps réel efficaces, évolutifs et économiques. Il prend en charge les opérations de lecture et d'écriture à haut débit et à faible latence, et fournit plusieurs classes de stockage pour répondre aux différents besoins de performance et de coût. S2 vise à remplacer les systèmes tels que Kafka et Kinesis, en offrant aux utilisateurs une solution de gestion des données en streaming plus puissante et plus flexible.

Lire plus
(s2.dev)
Développement stockage de données en streaming cloud natif sans serveur

La « photographie de rue » par IA n'est pas de la photographie : ce que nous perdons en simulant l'expérience

2024-12-21

Cet article soutient que la « photographie de rue » générée par l'IA n'est pas de la vraie photographie. Bien que l'IA puisse créer des images ressemblant à des photos de rue, elle manque des éléments essentiels de la photographie réelle : la capture de la lumière et des moments réels, l'interaction avec des étrangers et les risques et les récompenses inhérents à l'interaction avec le monde réel. L'auteur oppose les images générées par l'IA à sa propre expérience dans Chinatown à Brooklyn, soulignant la valeur de la connexion humaine, des échanges culturels et du malaise et du courage nécessaires à la vraie photographie de rue. L'article met finalement en garde contre l'effondrement du sens lorsque les expériences simulées remplacent l'engagement authentique avec la réalité.

Lire plus
(simone.org)
IA photographie IA photographie de rue expérience authentique

Un opérateur de SEO parasite évite les pénalités de Google

2024-12-21

Cet article explique comment l'opérateur de SEO parasite Finixio/Clickout Media a évité rapidement et efficacement les pénalités de Google. Suite à une mise à jour de l'algorithme de Google, plusieurs sites web de Finixio/Clickout Media ont subi de lourdes pénalités pour violation de la politique d'abus de réputation du site web de Google, entraînant une chute drastique du trafic et des classements. Cependant, grâce à l'utilisation intelligente de redirections et de techniques de masquage, ils ont restauré leurs opérations en quelques jours et ont continué à profiter de leur réseau de sites web parasites. Ils ont même étendu leurs opérations après avoir été pénalisés, en exploitant de nouveaux sites web et des sites existants à forte autorité (comme CoinTelegraph) pour continuer à promouvoir les jeux d'argent et les cryptomonnaies. L'article détaille leurs stratégies, notamment l'utilisation de la géolocalisation pour masquer le contenu et le placement de contenu sur plusieurs plateformes. Il souligne que la cause racine de ce phénomène est l'affaiblissement de l'autorité thématique dans les algorithmes de Google, faisant de l'autorité de domaine le principal facteur de classement.

Lire plus
(recleudo.com)
Développement SEO parasite pénalités Google réputation du site web

Un nouveau prédateur océanique découvert dans la fosse d'Atacama

2024-12-21

Des scientifiques ont découvert un nouvel amphipode prédateur de grande taille, *Dulcibella camanchaca*, dans la fosse d'Atacama, à des profondeurs supérieures à 8 000 mètres. Il s'agit du premier grand amphipode prédateur actif trouvé dans cet environnement extrême. Ce crustacé d'environ 4 centimètres de long utilise des appendices spécialisés pour chasser des amphipodes plus petits. Cette découverte met en évidence la fosse d'Atacama comme un point chaud de biodiversité et souligne l'importance de la poursuite de l'exploration des grands fonds marins.

Lire plus
(phys.org)
Biologie créature des grands fonds fosse d'Atacama nouvelle espèce

La courbe de Gatsby académique : dans quelle mesure le succès académique est-il hérité ?

2024-12-21

Une nouvelle étude révèle que le succès académique reflète l'héritage de la richesse et du statut social. En analysant les données de plus de 245 000 paires mentor-mentoré, les chercheurs ont découvert que plus la distribution des citations est inégale au sein d'une discipline, plus le classement des citations d'un mentoré est susceptible de refléter celui de son mentor. Cela suggère que le succès académique est façonné par des forces structurelles similaires à celles qui régissent la mobilité sociale, où l'avantage d'avoir un mentor de haut niveau crée un cycle de succès auto-renforçant. Tout en reconnaissant les avantages du mentorat de haut niveau, l'étude met en garde contre la dépendance exclusive aux mesures de citations, plaidant pour une plus grande équité académique et l'égalité des chances.

Lire plus
(blogs.lse.ac.uk)
IA succès académique relations mentor-mentoré inégalité académique

Manuel de référence AP5 : une extension basée sur la logique pour Common Lisp

2024-12-21

AP5 est une extension de Common Lisp qui permet aux utilisateurs de « programmer » à un niveau plus « spécificatif », en se concentrant sur ce que la machine doit faire plutôt que sur la manière de le faire. Il combine des aspects de Lisp et du langage de spécification Gist, en intégrant les parties compilables de Gist et en offrant des mécanismes d’annotation pour l’optimisation des performances. AP5 utilise un modèle relationnel pour représenter les données et prend en charge un langage de logique du premier ordre pour l’accès et la manipulation des données. Les programmeurs définissent des relations, des règles et des contraintes, en optimisant les performances grâce à des annotations. Le manuel détaille la syntaxe d’AP5, les opérations de base de données, les règles, les types, l’équivalence et les spécifications d’implémentation, en fournissant de nombreux exemples et explications.

Lire plus
(www.ap5.com)
Développement Programmation Logique Base de Données Relationnelle

Faut-il sauvegarder le contenu en ligne ? Réflexion d’un blogueur

2024-12-21

En organisant ses signets en ligne, le blogueur Ruben Schade a découvert que la plupart de ses liens accumulés au fil des ans étaient rompus ou modifiés, ce qui l’a amené à réfléchir sur le sens de la préservation du contenu en ligne. Il a réalisé la nature éphémère d’Internet et la vulnérabilité même des Archives Internet. Bien qu’il ait sauvegardé une grande quantité de blogs, podcasts et vidéos personnels potentiellement sans valeur, il pense qu’ils constituent de précieuses capsules temporelles de souvenirs et d’histoire personnelle, dignes d’être préservés. En fin de compte, il affirme que la valeur de la sauvegarde du contenu en ligne réside dans sa signification historique et ses souvenirs personnels, tandis que le défi réside dans la manière d’atteindre une préservation efficace et économique.

Lire plus
(rubenerd.com)
Divers archivage en ligne

FindMy.py : Une bibliothèque Python complète pour interroger le réseau FindMy d'Apple

2024-12-21

FindMy.py est une bibliothèque Python qui fournit tout ce dont vous avez besoin pour interroger le réseau FindMy d'Apple. Elle unifie l'écosystème fragmenté de Find My, offrant une solution multiplateforme prenant en charge divers appareils (AirTags, iDevices, etc.) et méthodes d'authentification (y compris SMS et Trusted Device 2FA). Elle dispose d'API asynchrones et synchrones. Actuellement en phase Alpha, l'API est susceptible de changer, mais les fonctionnalités principales sont stables.

Lire plus
(github.com)
Développement

Renaturation en Irlande : Les jardins exotiques de l'île de Rossdohan

2024-12-21

L'île de Rossdohan en Irlande raconte une histoire captivante d'un jardin exotique créé par un chirurgien du XIXe siècle de retour des Indes. L'île possède un microclimat unique, grâce à la plantation d'espèces de l'hémisphère sud. Malgré les incendies de maisons et les changements de propriétaires, ces plantes exotiques persistent, formant un écosystème unique aux côtés de la flore indigène. Aujourd'hui, les efforts de renaturation sont confrontés au défi de préserver cet héritage historique tout en restaurant la biodiversité indigène, ce qui nécessite une législation, des changements de politiques et la participation du public.

Lire plus
(worldsensorium.com)
Divers renaturation espèces exotiques

Les tests de problèmes thermiques dans les boîtiers avancés deviennent de plus en plus difficiles

2024-12-21

La complexité et l'hétérogénéité croissantes des architectures de puces, associées à l'adoption de matériaux hautes performances, rendent beaucoup plus difficile l'identification et les tests de problèmes thermiques dans les boîtiers avancés. Les tests thermiques traditionnels basés sur les coins sont insuffisants en raison des effets thermiques imprévisibles au niveau de la puce et de la variation de la distribution de chaleur sous différentes charges de travail. L'intégration hétérogène, les substrats et les couches métalliques plus minces et les diverses combinaisons de matériaux et de schémas d'interconnexion contribuent à cette complexité. Pour relever ces défis, l'industrie explore la modélisation thermique avancée, les structures de test, les stratégies de test adaptatives et l'IA afin d'obtenir une caractérisation thermique plus précise et des tests de dispositifs fiables.

Lire plus
(semiengineering.com)
Matériel tests de puce gestion thermique intégration hétérogène test de puce tests de puces dissipation de chaleur conditionnement de puces test thermique

Rec Room sort un jeu copiable : BonkysInferno

2024-12-21

Rec Room a lancé un nouveau jeu copiable, ^BonkysInferno. Basé sur l'environnement 'Make it to Midnight', l'objectif est de marquer le plus de points en projetant les adversaires dans la lave ou au-delà d'une clôture laser avec le marteau de Bonky. Le jeu comprend un système de collection, un système de dégâts, la mécanique du marteau de Bonky, un système de manches et une interface utilisateur (HUD), le tout construit à l'aide de Circuits et de Rec Room Studio, permettant la réplication et la modification par le joueur. Les joueurs sont encouragés à explorer les circuits avec leur Stylo Créateur et à utiliser Rec Room Studio pour une personnalisation plus approfondie.

Lire plus
(forum.rec.net)
Jeux jeu copiable développement de jeux
2 4 5 6 7 8 9 … 21 22