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

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

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
Développement

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

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

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

La vérité laide sur Spotify enfin révélée

2024-12-21

Une enquête d'un an révèle les pratiques trompeuses de Spotify. Un programme appelé "Contenu parfaitement adapté" (PFC) implique des partenariats avec des sociétés de production pour créer et promouvoir de faux artistes et des pistes, gonflant artificiellement les chiffres d'écoute afin de réduire les coûts des redevances et d'augmenter les bénéfices. Ces fausses pistes, souvent ambiante, classique, électronique, jazz ou lo-fi, sont stratégiquement placées dans des playlists conçues pour une écoute en arrière-plan. Les ventes importantes d'actions du PDG de Spotify au moment des révélations ont alimenté encore plus la controverse. Ce scandale soulève de sérieuses inquiétudes concernant la transparence et l'équité dans l'industrie de la musique, ce qui conduit à des appels à une enquête du Congrès et à un écosystème de streaming musical plus transparent.

Lire plus

Le nombre inconnu d'oiseaux tués par collision avec des structures

2024-12-21

Une étude récente révèle que nous sous-estimons considérablement le nombre d'oiseaux tués par collision avec des bâtiments. Les recherches précédentes se fondaient sur le comptage des cadavres retrouvés, mais de nombreux oiseaux ne meurent pas instantanément, succombant des jours ou des semaines plus tard. En combinant les données sur les cadavres avec les registres des centres de réhabilitation, les chercheurs estiment que plus d'un milliard d'oiseaux meurent chaque année aux États-Unis à cause de collisions avec des bâtiments. Cela souligne les difficultés à évaluer précisément la mortalité des oiseaux et la nécessité d'améliorer la collecte et l'analyse des données pour mieux protéger les populations d'oiseaux.

Lire plus

MarkItDown : Convertisseur Markdown en ligne gratuit

2024-12-21

MarkItDown est un outil en ligne gratuit qui convertit divers formats de fichiers (tels que Word, PDF, HTML, etc.) en Markdown standard. Alimenté par le projet open-source Markitdown de Microsoft, il offre des conversions rapides et fiables, parfaites pour les blogueurs, les preneurs de notes et les rédacteurs techniques. Aucun téléchargement ni installation requis ; il suffit de télécharger votre fichier et d'obtenir une sortie Markdown propre et organisée. C'est un moyen sûr et efficace de gérer votre contenu.

Lire plus
Développement outil en ligne

Qualcomm gagne le procès contre Arm concernant une licence de conception de puces

2024-12-21

Un jury du Delaware a tranché en faveur de Qualcomm Inc. dans son litige avec Arm Holdings Plc, concluant que Qualcomm n'avait pas violé un contrat de licence pour une technologie de puces acquise lors de son rachat de Nuvia Inc. pour 1,4 milliard de dollars en 2021. Arm affirmait que Qualcomm avait utilisé cette technologie sans payer de droits de licence plus élevés. Si le jury a estimé que Qualcomm n'avait pas enfreint le contrat, il n'a pas pu se prononcer sur la question de savoir si Nuvia elle-même avait violé la licence, laissant cette question en suspens pour un nouveau procès ultérieur. Cette décision est importante pour la position de Qualcomm sur le marché des puces pour mobiles.

Lire plus
Technologie Licence de puces

La Tour Winkel : Une Structure de Défense Aérienne Unique de la Seconde Guerre Mondiale

2024-12-21

Au début des années 1930, l'architecte allemand Leo Winkel a conçu un abri antiaérien unique hors-sol, la Tour Winkel. Contrairement aux bunkers souterrains traditionnels, son toit incliné était conçu pour dévier les bombes, minimisant ainsi le risque d'explosion. Cette conception innovante a considérablement réduit les coûts et le temps de construction, tandis que la détonation au niveau du sol permettait la dissipation de l'onde de pression. Brevetée en 1934, environ 200 tours Winkel ont été construites en Allemagne pendant la Seconde Guerre Mondiale. De nombreuses tours préservées bénéficient aujourd'hui d'une protection monumentale.

Lire plus

Le télescope Webb découvre une jeune galaxie semblable à la Voie lactée primitive

2024-12-21

Le télescope spatial James Webb de la NASA a fait une découverte révolutionnaire : une galaxie surnommée « Firefly Sparkle », qui existait environ 600 millions d’années après le Big Bang, avec une masse semblable à celle de notre propre Voie lactée à ses débuts. Cette galaxie, amplifiée par un effet de lentille gravitationnelle, présente dix amas d’étoiles distincts, offrant des détails sans précédent sur la formation des galaxies dans l’univers primitif. Les chercheurs ont découvert que « Firefly Sparkle » forme activement des étoiles, sa distribution inégale d’amas d’étoiles indiquant des fusions et une croissance futures. Cette découverte apporte un éclairage précieux sur l’évolution des galaxies dans l’univers primitif.

Lire plus

L'illusion de focalisation : pourquoi surestimons-nous l'impact du succès sur le bonheur ?

2024-12-21

Des recherches psychologiques montrent que nous prédisons souvent de manière erronée ce qui nous rendra heureux à l'avenir. Un exemple précis de cette « erreur de prévision affective » est « l'illusion de focalisation » : les choses sur lesquelles nous nous concentrons pour réussir n'apportent souvent pas le bonheur que nous attendons. Cet article propose une explication évolutionniste : l'illusion de focalisation n'est pas un défaut cognitif, mais un mécanisme pour nous motiver à améliorer nos conditions de vie. Comme notre expérience du plaisir s'habitue (adaptation hédonique), anticiper cette adaptation peut diminuer la motivation. Ainsi, l'évolution nous rend naïfs en nous faisant croire que la prochaine réussite apportera un bonheur durable, stimulant ainsi notre quête d'objectifs.

Lire plus

Google propose des solutions dans l’affaire de distribution de recherche du DOJ

2024-12-21

Google est en désaccord et fera appel de la décision du Department of Justice (DOJ) dans le procès concernant la distribution de la recherche. Avant une audience en avril 2025, Google a soumis sa propre proposition de solutions, axée sur les contrats avec les fabricants de navigateurs et de dispositifs Android. La proposition vise à donner aux fabricants de navigateurs et de dispositifs plus de flexibilité dans le choix des moteurs de recherche par défaut, tout en garantissant le respect de l’ordonnance du tribunal et en évitant de nuire à la vie privée des consommateurs et au leadership technologique des États-Unis. En revanche, la proposition du DOJ est considérée comme trop interventionniste et potentiellement préjudiciable aux consommateurs et à la compétitivité technologique des États-Unis.

Lire plus
Technologie

Dette technique vs. actifs techniques : comment investir intelligemment ?

2024-12-21

Cet article explore la différence entre la dette technique et les actifs techniques. La dette technique, similaire à la dette financière, représente des problèmes de code qui doivent être résolus, tels que des bogues et une faible lisibilité du code, nuisant à l'efficacité du développement. Les actifs techniques, quant à eux, sont des investissements proactifs dans des problèmes connus, comme la construction de SDK de haute qualité, réduisant les coûts de maintenance futurs et augmentant la liberté de développement. L'article conseille de prioriser le remboursement de la dette technique avant d'investir dans des actifs techniques, en tirant parti de processus et de technologies éprouvés pour éviter l'accumulation de dette technique et, finalement, atteindre une meilleure efficacité de développement et une meilleure qualité du produit.

Lire plus

Le critère de Kelly : une approche mathématique des décisions d’assurance

2024-12-21

Cet article explore comment le critère de Kelly peut être utilisé pour prendre des décisions rationnelles concernant les assurances. L’auteur réfute les idées fausses courantes sur l’assurance, en affirmant qu’il s’agit d’un problème mathématique, et non philosophique. L’idée principale est que l’assurance permet d’éviter de fortes baisses de richesse, accélérant ainsi la croissance des intérêts composés. Une formule est présentée pour calculer la valeur (V) de l’assurance, en tenant compte de la richesse actuelle, de la prime, de la probabilité d’accident et du coût. Des exemples d’assurance moto et d’assurance hélicoptère illustrent les calculs et l’impact de la franchise. L’auteur explique comment les compagnies d’assurance réalisent des bénéfices et la relativité des coûts.

Lire plus

NoDB : Traitement des paiements sans base de données

2024-12-21

Dans "Le Manuel de l'Ingénieur des Paiements", Alvaro Duran présente une approche révolutionnaire de la conception des systèmes de paiement : traiter les paiements sans base de données. Il soutient que la prévalence de la programmation asynchrone découle de l'hypothèse de la nécessité des bases de données. En utilisant le sourcing d'événements, chaque étape du processus de paiement est enregistrée comme un événement, et non comme un état persistant. Ces événements sont stockés temporairement en mémoire, et le système reconstruit l'état du paiement à partir du flux d'événements, éliminant ainsi le besoin de stockage persistant. Cette approche hautes performances et haute fiabilité, inspirée du trading haute fréquence, permet une récupération rapide des pannes grâce à des sauvegardes à chaud. L'article détaille ce concept à l'aide d'un exemple de flux de paiement et examine les applications futures dans les systèmes de paiement.

Lire plus

Règles pour éviter les erreurs courantes dans l'assemblage inline étendu

2024-12-21

Cet article n'est pas un tutoriel sur l'assemblage inline, mais plutôt un résumé de six règles pour éviter les erreurs courantes. L'auteur souligne que l'assemblage inline est perfide et doit être évité autant que possible, car les compilateurs modernes offrent des intrinsèques et des fonctions intégrées pour la plupart des cas d'utilisation. Si inévitable, les règles sont : utiliser le qualificateur `volatile` ; utiliser un `memory` clobber si la mémoire est accédée ; ne jamais modifier les contraintes d'entrée ; ne jamais appeler de fonctions depuis l'assemblage inline ; ne pas définir d'étiquettes d'assemblage absolues ; et utiliser la fonctionnalité d'étiquettes locales de l'assembleur pour éviter les conflits d'étiquettes. L'article conclut en encourageant les lecteurs à pratiquer l'application de ces règles en examinant des tutoriels en ligne et même du code généré par LLM.

Lire plus

@celine/bibhtml v3.0.3 : Un système de références basé sur les Web Components

2024-12-21

Le système de références basé sur les Web Components pour les documents HTML, @celine/bibhtml, a publié la version 3.0.3. Il vise à fournir une expérience utilisateur similaire à celle des références dans LaTeX/BibTeX, en utilisant Citation.js en interne et en se dégradant élégamment lorsque les citations et les références sont mal formées ou que JavaScript est désactivé. Il prend en charge quatre formats de référence : BibTeX, texte non structuré, DOI et Wikidata, et propose trois éléments personnalisés : ``, `` et ``, simplifiant ainsi la gestion des références en HTML.

Lire plus
Développement Gestion des références

Progrès révolutionnaire : compilation sécurisée de C vers Rust

2024-12-21

Des chercheurs ont mis au point une nouvelle méthode permettant de compiler du code C en Rust de manière sécurisée. Cette technique utilise l'analyse statique et la traduction dirigée par les types pour éviter de dépendre des blocs `unsafe` de Rust, garantissant ainsi la sécurité mémoire. La méthode a été appliquée avec succès à des codes de la bibliothèque cryptographique HACL* et des bibliothèques EverParse, donnant naissance à une bibliothèque cryptographique moderne vérifiée de 80 000 lignes en Rust pur, une première du genre.

Lire plus

Des écureuils de Californie surpris en train de manger de la viande : une découverte étonnante

2024-12-21

Une étude récente a révolutionné ce que l'on savait sur les écureuils de Californie. Considérés auparavant comme granivores (mangeurs de grains), les chercheurs ont observé ces rongeurs communs chassant, tuant et consommant des campagnols – de petits rongeurs – pendant l'été 2024. Cette découverte surprenante souligne les lacunes de nos connaissances, même sur les animaux familiers, et suggère que les écureuils de Californie pourraient être des omnivores opportunistes, adaptant leur régime alimentaire en fonction de la disponibilité de nourriture. Le comportement carnivore observé, ayant atteint son apogée lorsque les populations de campagnols ont augmenté, démontre leur flexibilité comportementale et leur capacité d'adaptation à des environnements changeants.

Lire plus

L'émulateur Delta triple les prix des achats intégrés d'Apple pour encourager les clics externes

2024-12-20

Le développeur Riley Testut, de l'émulateur de jeux Delta, a triplé le prix des achats intégrés sur l'App Store d'Apple pour inciter les utilisateurs à s'abonner via Patreon. Cette démarche exploite la nouvelle politique d'Apple autorisant les liens vers des plateformes de paiement externes tout en protestant contre le système d'achat intégré d'Apple. Les abonnements Patreon offrent des avantages supplémentaires tels que la compatibilité avec iPad et SEGA Genesis, l'accès à un serveur Discord privé et un système de remboursement et de support client plus pratique.

Lire plus

Commande DOS APPEND : Combler le fossé entre l'ancien et le nouveau

2024-12-20

Lors de la reconstruction du code source de DOS 2.11, l'auteur a rencontré un défi : l'ancien assembleur MASM 1.25 ne prenait pas en charge les répertoires, ce qui était en conflit avec l'organisation moderne des fichiers utilisant une structure arborescente. Pour éviter un répertoire monolithique, l'auteur a intelligemment utilisé la commande DOS APPEND. APPEND est un programme TSR (Terminate and Stay Resident) qui intercepte les appels système tels que l'ouverture de fichiers et recherche dans une liste de chemins prédéfinie si le fichier n'est pas trouvé dans le répertoire actuel. Cela a permis à MASM 1.25 de localiser les fichiers dans la structure hiérarchique, résolvant l'incompatibilité et soulignant l'utilité surprenante d'APPEND dans des scénarios spécifiques.

Lire plus
Développement

Un programmeur crée un jeu pseudo-3D en Bash

2024-12-20

Un programmeur nommé izabera a développé un jeu pseudo-3D impressionnant en utilisant le langage de script Bash. Ce projet, un hommage au jeu classique Wolfenstein 3D, est open-source sur GitHub. Le code est concis mais le résultat est étonnant, montrant la puissance de Bash et l'ingéniosité du programmeur. Le dépôt inclut le code source du jeu et des vidéos de démonstration. Les développeurs intéressés peuvent le consulter sur GitHub.

Lire plus
Développement Développement de jeux

Outils de build Monorepo : Scalabilité de votre base de code

2024-12-20

Les outils de build traditionnels peinent à gérer les grandes bases de code (100 à 10 000 développeurs actifs). Les outils de build Monorepo comme Bazel et Mill offrent des solutions en prenant en charge plusieurs langages, des tâches de build personnalisées, la mise en cache et la parallélisation automatiques, la mise en cache et l'exécution à distance, améliorant ainsi considérablement la vitesse et l'efficacité du build. Ils incluent également la sélection des tests basée sur les dépendances et le sandboxing des tâches de build, réduisant ainsi le temps de test et le non-déterminisme. Bien que ces fonctionnalités puissent sembler inutiles pour les petits projets, elles sont cruciales pour la collaboration à grande échelle et l'intégration continue dans les grands projets, empêchant les temps de build de devenir un goulot d'étranglement.

Lire plus
Développement outils de build scalabilité

OpenAI publie un SDK embarqué en temps réel pour microcontrôleurs

2024-12-20

OpenAI a publié le openai-realtime-embedded-sdk, permettant aux développeurs d'utiliser son API en temps réel sur des microcontrôleurs tels que l'ESP32. Compatible avec Linux et ESP32S3, le SDK permet des tests sur Linux sans matériel physique. Après l'installation de protobufc, la configuration de la plateforme cible et du WiFi, ainsi que des clés API OpenAI, les développeurs peuvent construire et déployer des applications. Cela étend les capacités d'IA d'OpenAI aux appareils embarqués, ouvrant la voie à des applications innovantes d'IoT et de calcul en périphérie.

Lire plus

io_uring gagne une nouvelle fonctionnalité de création de processus

2024-12-20

LWN.net relate le développement d'une nouvelle fonctionnalité de création de processus pour le sous-système io_uring. Cette fonctionnalité est implémentée via deux nouvelles opérations io_uring : IORING_OP_CLONE, qui crée un nouveau processus, et IORING_OP_EXEC, qui effectue un appel système execveat() pour charger un nouveau programme. Cela promet une efficacité accrue et permet d'exécuter une logique plus complexe, comme la recherche de chemins, de manière asynchrone dans le noyau. Cependant, cette fonctionnalité est encore à un stade précoce et présente des limitations, telles que la nécessité d'exécuter de manière synchrone les opérations io_uring dans le nouveau processus. Les développements futurs viseront à accroître la flexibilité et à fusionner éventuellement cette fonctionnalité dans le noyau principal de Linux.

Lire plus

Anthropic révèle les secrets de la création d'agents IA efficaces

2024-12-20

Anthropic partage ses connaissances sur la création d'agents IA efficaces, en soulignant l'importance de modèles simples et composables plutôt que de frameworks ou de bibliothèques complexes. L'article distingue les workflows et les agents, détaillant plusieurs modèles de création d'agents, notamment l'enchaînement de prompts, le routage, le parallélisme, l'architecture coordinateur-travailleurs et l'architecture évaluateur-optimiseur. Il souligne l'importance de maintenir la simplicité, la transparence et une interface agent-ordinateur bien conçue. Enfin, l'article met en lumière la valeur pratique des agents IA à travers des exemples d'application dans le support client et le codage.

Lire plus

Revival Rétro : Connecter un Tandy Coco à Internet grâce à FujiNet

2024-12-20

Cet article détaille le parcours de l'auteur pour connecter un ancien ordinateur Tandy Coco à internet à l'aide du projet FujiNet, une initiative open-source ambitieuse visant à être le seul périphérique nécessaire pour les ordinateurs vintage. L'auteur a rencontré des difficultés lors de l'assemblage, notamment des problèmes de soudure, des bugs matériels et des problèmes de compatibilité logicielle. Malgré ces obstacles, il a réussi à se connecter à internet et à exécuter plusieurs applications, dont un suivi de l'ISS et des jeux. Cette expérience met en lumière le dynamisme de la communauté open-source et le potentiel de la rétro-informatique, démontrant le plaisir de la réparation matérielle et du développement logiciel.

Lire plus

Le système o3 d'OpenAI atteint un score révolutionnaire sur le benchmark ARC-AGI

2024-12-20

Le nouveau système o3 d'OpenAI, entraîné sur l'ensemble de données d'entraînement public ARC-AGI-1, a obtenu un score révolutionnaire de 75,7 % sur l'ensemble d'évaluation semi-privé, dépassant les limites précédentes des grands modèles de langage. Ceci représente un bond significatif dans les capacités de l'IA, démontrant une capacité d'adaptation à de nouvelles tâches jamais vue auparavant dans la famille GPT. Bien qu'il n'atteigne pas encore l'Intelligence Artificielle Générale (AGI), le succès d'o3 souligne l'importance de la recombinaison des connaissances en temps de test et fournit des données précieuses pour la recherche continue sur l'AGI. Des défis persistent, car o3 échoue encore sur certaines tâches simples, soulignant les complexités de l'atteinte de la véritable AGI.

Lire plus
IA
← Previous 1 3 4 5 6 7 8 9 19 20