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

Astuce pour la revue de code : demandez aux ingénieurs « Que pensez-vous de ce que vous avez construit ? »

2025-01-06

Lors d'une revue de code de modifications complexes de l'interface utilisateur, au lieu de procéder immédiatement à la revue, l'auteur a demandé à l'ingénieur : « Que pensez-vous du nouveau comportement ? » La réponse de l'ingénieur a conduit à la découverte et à la correction de plusieurs bogues, et même à l'abandon d'une exigence problématique. Cette simple question a incité l'ingénieur à réfléchir plus profondément à son travail et à apporter des améliorations, améliorant ainsi la qualité du code. L'auteur estime que demander régulièrement aux ingénieurs ce qu'ils pensent de leurs créations est une technique utile à essayer.

Lire plus
(morrisbrodersen.de)
Développement revue de code

Générer des mèmes drôles avec les LLMs : étonnamment difficile

2025-01-06
Générer des mèmes drôles avec les LLMs : étonnamment difficile

Un stagiaire de l'Université de Waterloo a tenté de créer une application utilisant les LLMs et l'API Greptile pour générer des mèmes qui « grillent » les dépôts GitHub. Le processus s'est avéré étonnamment difficile. Demander directement au LLM de générer des blagues a donné des résultats génériques. La solution a consisté à séparer la tâche en analyse de code (à l'aide de Greptile pour identifier des problèmes spécifiques) et génération de blagues (à l'aide du LLM pour créer de l'humour ciblé). La génération d'images s'est avérée difficile en raison de limitations dans la gestion du texte, ce qui a conduit à l'utilisation de modèles de mèmes préconstruits et de node-canvas pour l'insertion de texte. Malgré les obstacles, le projet a abouti à reporoast.com, un site Web capable de générer des mèmes personnalisés qui « grillent » le code.

Lire plus
(www.greptile.com)
Développement Génération de mèmes

htmx : Le prochain jQuery ? Un outil de développement web privilégiant la stabilité

2025-01-06

htmx, issu d'intercooler.js, vise à être un outil stable et fiable pour le développement web, à l'image du succès durable de jQuery. L'article décrit l'orientation future d'htmx : privilégier la stabilité plutôt que les mises à jour fréquentes ; limiter l'ajout de nouvelles fonctionnalités principales, en étendant principalement les fonctionnalités via l'API d'extension ; maintenir un calendrier de publication trimestriel. L'objectif d'htmx n'est pas d'être une solution complète pour les applications web, mais de se concentrer sur la simplification des contrôles hypermédia et de s'intégrer mieux avec d'autres outils et techniques, en espérant que ses fonctionnalités principales seront intégrées au standard HTML.

Lire plus
(htmx.org)
Développement hypermédia

L'incroyable élévation de Chicago : la migration verticale d'une ville

2025-01-06

Au milieu du XIXe siècle, Chicago, alors marécageuse, souffrait de maladies. Pour résoudre le problème du drainage, les ingénieurs ont entrepris un plan audacieux : surélever toute la ville ! Des milliers de vérins ont soulevé des bâtiments, voire des blocs entiers, tandis que la vie continuait comme d’habitude. Les structures en bois étaient placées sur des rouleaux et déplacées vers la banlieue. Cet exploit épique d’ingénierie a non seulement transformé le paysage de Chicago, mais a également mis en évidence les capacités extraordinaires de l’ingénierie du XIXe siècle.

Lire plus
(en.wikipedia.org)
Technologie ingénierie civile histoire de Chicago

Toutes les horloges ont 30 secondes de retard ?

2025-01-06
Toutes les horloges ont 30 secondes de retard ?

L'auteur propose une idée apparemment folle : toutes les horloges ont 30 secondes de retard. Il ne s'agit pas de fuseaux horaires, de secondes intercalaires ou de relativité ; il s'agit d'horloges de tous les jours. Par le calcul, l'auteur montre que, comme la plupart des horloges affichent uniquement les minutes, en ignorant les secondes, l'erreur moyenne est de 30 secondes. Il soutient que si les horloges arrondissaient au lieu de tronquer, l'erreur moyenne serait de 0. L'auteur explore également comment les gens perçoivent et expriment le temps à différentes échelles (années, mois, jours, heures, minutes, secondes), en observant qu'à l'échelle des minutes, l'intuition penche vers l'arrondi, ce qui entre en conflit avec la troncature des horloges. Par conséquent, il pense que toutes les horloges ont 30 secondes de retard.

Lire plus
(victorpoughon.fr)
Divers perception du temps erreur d'horloge

Microsoft veut que vous arrêtiez d'utiliser Windows 10 en 2025

2025-01-06
Microsoft veut que vous arrêtiez d'utiliser Windows 10 en 2025

Microsoft mettra fin à la prise en charge de Windows 10 en octobre 2025, poussant les utilisateurs vers Windows 11. L'entreprise qualifie 2025 d'« année du renouvellement des PC Windows 11 », arguant que la mise à niveau est plus cruciale que l'achat de nouvelles télévisions ou de téléphones. Malgré les invites de mise à niveau plein écran tout au long de 2024, l'adoption de Windows 11 est en retard par rapport à Windows 10. Bien que Microsoft ne soit pas présent à la CES 2025 au sens traditionnel, son influence se fait sentir par de nombreux partenaires intégrant Windows 11 et l'assistant IA Copilot. Des mises à jour de sécurité étendues payantes seront proposées pour Windows 10, mais Microsoft vise clairement à accélérer l'adoption de Windows 11.

Lire plus
(www.theverge.com)
Technologie

Les Visages Changeants de la (D)ARPA : Trois Variables Clés

2025-01-06
Les Visages Changeants de la (D)ARPA : Trois Variables Clés

Cet article explore trois facteurs clés qui ont façonné le modèle opérationnel de la DARPA tout au long de son histoire : le niveau de supervision organisationnelle, l'origine des visions de projet (directeurs de bureau vs. chefs de projet) et le calendrier des retours sur investissement des projets. En utilisant des projets informatiques précoces comme exemples, il analyse comment l'augmentation de la bureaucratie et des règles d'acquisition après l'ère post-Vietnam/Watergate ont impacté la gestion de projet. Il contraste également les visions dirigées par le directeur avec l'autonomie des chefs de projet individuels dans la définition de l'orientation du projet et examine comment les différentes attitudes envers les délais de rentabilité et les mandats axés sur les applications militaires ont influencé la sélection et l'exécution des projets. Comprendre ces facteurs est crucial pour interpréter les réussites et les échecs historiques de la DARPA.

Lire plus
(www.freaktakes.com)
Technologie politique technologique

Interdiction de TikTok : Affrontement à la Cour suprême

2025-01-06
Interdiction de TikTok : Affrontement à la Cour suprême

La Cour suprême américaine est sur le point d’examiner un recours contre l’interdiction fédérale de TikTok, qui oblige ByteDance à vendre l’application en raison de préoccupations concernant la sécurité nationale et l’influence du gouvernement chinois. L’article analyse le conflit entre cette interdiction et les protections du premier amendement relatives à la liberté d’expression. Si le gouvernement a un historique de prévention du contrôle étranger sur les infrastructures de communication américaines, l’interdiction directe d’une plateforme spécifique soulève des inquiétudes quant à la possibilité d’abus et aux effets dissuasifs sur la liberté d’expression. L’auteur prévoit une probable défaite pour TikTok, mais souligne l’importance cruciale de la formulation de la Cour pour éviter des dommages plus importants aux droits à la liberté d’expression. L’affaire met en lumière la tension entre la sécurité nationale et les libertés fondamentales.

Lire plus
(www.vox.com)
Technologie Premier Amendement

HDMI 2.2 arrive : 96 Gbps de bande passante, câble Ultra96 requis

2025-01-06
HDMI 2.2 arrive : 96 Gbps de bande passante, câble Ultra96 requis

Au CES 2025, le Forum HDMI a annoncé HDMI 2.2 et son câble Ultra96 associé, offrant une bande passante révolutionnaire de 96 Gbps, soit le double de celle du HDMI 2.1. Cela permet des résolutions plus élevées, des fréquences de rafraîchissement plus rapides et une synchronisation audio-vidéo améliorée. Bien que le connecteur reste le même, un nouveau câble Ultra96 est nécessaire pour exploiter tout le potentiel. Ciblant des applications exigeantes telles que la RA/RV/RM, la signalisation numérique à grande échelle et l'imagerie médicale, l'adoption généralisée du HDMI 2.2 et des câbles Ultra96 prendra du temps malgré la publication de la spécification.

Lire plus
(www.pcworld.com)
Matériel

Tests basés sur les propriétés centrés sur l'utilisateur : Une thèse de doctorat

2025-01-06

Cette thèse de doctorat se concentre sur l'amélioration de la convivialité des tests basés sur les propriétés (PBT) afin de toucher un public plus large de développeurs. Grâce à des études approfondies des utilisateurs, le chercheur a identifié les défis auxquels les utilisateurs de PBT sont confrontés en matière de génération de données aléatoires et d'évaluation de l'efficacité des tests. Pour y remédier, la thèse propose de nouveaux algorithmes pour des générateurs de données aléatoires améliorés et développe Tyche, un outil open source qui fournit aux développeurs des informations plus approfondies sur le PBT et augmente sa convivialité, conduisant en fin de compte à une meilleure qualité et assurance du logiciel.

Lire plus
(repository.upenn.edu)
Développement Tests logiciels Tests basés sur les propriétés

Trudeau démissionne : le Parti libéral du Canada en pleine tourmente

2025-01-06
Trudeau démissionne : le Parti libéral du Canada en pleine tourmente

Le premier ministre canadien Justin Trudeau a annoncé sa démission comme chef du Parti libéral et premier ministre le 6 janvier 2025. Cette décision, prise après une insatisfaction croissante du public envers son leadership et le départ soudain de son ministre des Finances, témoigne d’une importante crise au sein du gouvernement canadien. Trudeau restera premier ministre jusqu’à ce qu’un nouveau chef libéral soit choisi. Les partis d’opposition prévoient un vote de défiance lors de la reprise des travaux parlementaires à la fin mars. Dans son discours de démission, Trudeau a critiqué les politiques du chef de l’opposition, Pierre Poilievre, et a déclaré que le Canada avait besoin d’un Parlement fonctionnel.

Lire plus
(apnews.com)
Politique Politique canadienne Parti libéral

Champs de distance de splines : une nouvelle technique de génération de terrain

2025-01-06

Pour surmonter les limites du moteur de jeu Tangerine, l’auteur a développé un ray tracer CPU appelé Star Machine et un prototype de jeu de course, Rainy Road. Rainy Road nécessite un système de rendu de terrain efficace et compact, capable de gérer les routes et autres éléments de terrain définis par des splines. L’auteur présente une nouvelle technique de génération de terrain utilisant des champs de distance de splines. Cette technique utilise des splines pour générer des surfaces de terrain en calculant la distance d’un point à la spline la plus proche et son vecteur normal pour déterminer l’altitude. Cela évite les limites des cartes de hauteur traditionnelles et prend en charge le placement d’objets procéduraux. La technique est en cours d’expérimentation et de recherche actives, avec l’exploration de stratégies d’interpolation améliorées et l’utilisation de nuages de points clairsemés.

Lire plus
(zone.dog)
Développement génération de terrain courbes spline

Suppressions d'emplois dans les entreprises : pourquoi les sociétés licencient-elles des managers ?

2025-01-06
Suppressions d'emplois dans les entreprises : pourquoi les sociétés licencient-elles des managers ?

Les entreprises publiques américaines ont réduit le nombre de cadres intermédiaires d'environ 6 % depuis le pic des embauches pendant la pandémie, selon un récent rapport du WSJ. Cette vague de licenciements reflète un changement de stratégie d'entreprise. Les entreprises, ayant initialement surinvesti dans le capital organisationnel pendant une période de croissance rapide, sont désormais soumises à la pression de réduire les coûts à mesure que la croissance des revenus ralentit. L'article explore les inconvénients potentiels de cette approche, remettant en question l'équilibre entre trop de coupes et le laisser-aller des coûts. Il soulève également des inquiétudes concernant la perte potentielle de talents et l'effet de contagion généralisé dans l'ensemble du secteur des entreprises, laissant plus de questions que de réponses sur l'impact à long terme.

Lire plus
(arnoldkling.substack.com)
Technologie licenciements cadres intermédiaires restructuration d'entreprise

42 : Un simulateur puissant de système de contrôle d'attitude pour engins spatiaux

2025-01-06
42 : Un simulateur puissant de système de contrôle d'attitude pour engins spatiaux

42 est une simulation complète et polyvalente de la dynamique d'attitude et d'orbite des engins spatiaux, principalement utilisée pour soutenir la conception et la validation des systèmes de contrôle d'attitude tout au long de leur cycle de vie, des études de concept à l'intégration et aux tests. Il modélise avec précision la dynamique d'attitude des engins spatiaux multi-corps (corps rigides et/ou flexibles), et les régimes de vol orbital à deux et trois corps, simulant des environnements de l'orbite terrestre basse à l'ensemble du système solaire. 42 simule plusieurs engins spatiaux simultanément, facilitant les études de rendez-vous, d'opérations de proximité et de vol en formation de précision. Il dispose également d'une visualisation de l'attitude de l'engin spatial.

Lire plus
(github.com)
Développement engin spatial contrôle d'attitude

L'homme qui maintient en vie des flippers de 70 ans

2025-01-06
L'homme qui maintient en vie des flippers de 70 ans

Steve Young, un ingénieur métallurgiste passionné de flipper, a créé The Pinball Resource, une entreprise unique qui fournit des pièces et une expertise pour la réparation de flippers vintage. Sa vaste collection de pièces rares et de schémas, accumulée pendant 50 ans, en fait la ressource incontournable pour les passionnés du monde entier. Fonctionnant dans un atelier discret, Young refuse le marketing moderne, misant plutôt sur le bouche-à-oreille et une réputation de confiance et d'expertise pour maintenir son entreprise prospère.

Lire plus
(arstechnica.com)
Jeux jeux anciens flipper

Disney fusionne Hulu + Live TV avec Fubo, pour défier YouTube TV

2025-01-06
Disney fusionne Hulu + Live TV avec Fubo, pour défier YouTube TV

Disney fusionne son service de vidéo multi-canal en streaming Hulu + Live TV avec son concurrent Fubo, dans un accord qui va remodeler le paysage de la télévision en streaming. L'entreprise combinée continuera à être cotée en bourse sous le nom de Fubo, mais Disney contrôlera 70 % des parts et nommera la majorité des membres du conseil d'administration. La direction de Fubo dirigera l'entreprise. Cela crée un fournisseur de vidéo multi-canal virtuel (vMVPD) plus important pour défier plus agressivement le leader du marché YouTube TV et met fin au litige juridique opposant Fubo à Venu, un service de streaming sportif, ce qui pourrait permettre à ce dernier de poursuivre ses activités. Disney, Fox et Warner Bros. Discovery verseront 220 millions de dollars à Fubo, et Disney accordera également un prêt à terme de 145 millions de dollars.

Lire plus
(www.hollywoodreporter.com)
Technologie

Graphiques et Sons Instantanés sur les BBS Atari ST : Une Histoire de la Technologie Rétro

2025-01-06

Cette série en plusieurs parties relate l'essor et l'impact du format "Graphiques et Sons Instantanés" (IGS) sur les systèmes de messagerie électronique (BBS) Atari ST. De ses débuts en 1988 au sein d'un groupe d'utilisateurs Atari en Floride aux animations psychédéliques de l'artiste Steve Turnbull sur CrossNet en 1991, la série explore comment IGS a transformé la scène BBS Atari. Elle présente des histoires de développeurs comme Larry Mears et Steve Turnbull, et met en lumière l'interaction vibrante et les contributions de la communauté.

Lire plus
(breakintochat.com)
Technologie culture BBS

Mashups.io : Un remplacement moderne de Yahoo Pipes

2025-01-06
Mashups.io : Un remplacement moderne de Yahoo Pipes

Mashups.io est un puissant outil d'intégration de données en ligne qui s'appuie sur l'héritage de Yahoo Pipes avec des améliorations significatives. Les utilisateurs peuvent facilement mélanger, filtrer et transformer les flux RSS, les fichiers CSV et les données JSON pour créer des sources de données personnalisées. La plateforme offre une interface visuelle intuitive, ne nécessitant aucune expérience de programmation pour construire des workflows de données complexes. Mashups.io propose des plans gratuits et payants pour répondre à différents besoins, et ses mises à jour en temps réel garantissent que les données restent toujours à jour.

Lire plus
(www.mashups.io)
Développement intégration de données traitement de données

L'évolution d'un éditeur de code structurel : de la manipulation de l'AST à une interface utilisateur intuitive

2025-01-06
L'évolution d'un éditeur de code structurel : de la manipulation de l'AST à une interface utilisateur intuitive

Cet article détaille l'évolution sur plusieurs années d'un éditeur de code structurel. La première version manipulait directement l'arbre de syntaxe abstraite (AST), ce qui s'est avéré fastidieux. Les itérations suivantes ont simplifié l'AST et exploré une approche basée sur le curseur de texte, mais toutes deux se sont révélées insuffisantes. La version finale équilibre l'édition de l'AST et du texte, en utilisant des techniques telles que les types modifiables, les projections et les cadres. Une interface utilisateur visuelle basée sur des icônes a été ajoutée, prenant en charge le clavier, la souris, l'écran tactile et la télécommande, améliorant ainsi considérablement l'expérience utilisateur. Construit avec Gleam et Lustre, ce projet met en évidence l'exploration continue et le raffinement de la conception des éditeurs de code structurels.

Lire plus
(crowdhailer.me)
Développement éditeur de code conception d'interface utilisateur

SPath : Expressions de requête pour les données semi-structurées

2025-01-06
SPath : Expressions de requête pour les données semi-structurées

SPath est une crate Rust fournissant des expressions de requête de type JSONPath pour les données semi-structurées telles que JSON, TOML ou des variantes personnalisées. Elle sert de remplacement direct à JSONPath et prend en charge plusieurs formats de données. La bibliothèque est facile à utiliser ; il suffit d'ajouter `spath` aux dépendances Cargo.toml de votre projet. Un exemple montre comment interroger des données JSON avec SPath et vérifier le résultat.

Lire plus
(github.com)
Développement Analyse de données

La promesse de Google de 10 ans de mises à jour pour les Chromebooks : les anciens appareils toujours menacés de mise au rebut

2025-01-06
La promesse de Google de 10 ans de mises à jour pour les Chromebooks : les anciens appareils toujours menacés de mise au rebut

Malgré la promesse de Google en 2023 d'une décennie de mises à jour pour les Chromebooks afin d'éviter leur obsolescence prématurée, de nombreux anciens modèles sont toujours destinés à arriver en fin de vie en 2025 et au-delà. Cette promesse ne s'applique qu'aux Chromebooks sortis à partir de 2021. Bien que les administrateurs puissent choisir des mises à jour étendues pour certains anciens appareils, cela ne résout pas entièrement le problème. Le Public Interest Research Group (PIRG) souligne que de nombreux modèles de Chromebooks atteignent toujours leur fin de vie cette année et les années suivantes, soulevant des inquiétudes concernant les déchets électroniques et les droits des consommateurs.

Lire plus
(www.theregister.com)
Technologie mises à jour logicielles

Des millions de PC Windows 10 confrontés à un désastre de sécurité avec la fin du support Microsoft

2025-01-06
Des millions de PC Windows 10 confrontés à un désastre de sécurité avec la fin du support Microsoft

Des millions d'utilisateurs de Windows 10 sont confrontés à une crise de sécurité imminente, car Microsoft prévoit de mettre fin au support du système d'exploitation le 14 octobre 2025. Avec des millions d'appareils fonctionnant encore sous Windows 10, notamment en Allemagne, l'absence de mises à jour de sécurité les rend vulnérables aux cyberattaques. Les experts en sécurité exhortent à agir immédiatement : mettez à niveau vers Windows 11, passez à un autre système d'exploitation ou faites face à des risques importants tels que les ransomwares et les violations de données. Les entreprises sont confrontées à des préoccupations supplémentaires en matière de conformité et de productivité. La situation est plus critique que la fin du support de Windows 7, soulignant le besoin urgent pour les utilisateurs et les entreprises d'agir maintenant.

Lire plus
(betanews.com)
Technologie Risque de sécurité Mise à niveau du système d'exploitation

Notion : Votre espace de travail tout-en-un

2025-01-06
Notion : Votre espace de travail tout-en-un

Notion est un espace de travail tout-en-un qui intègre parfaitement notes, gestion de tâches, wikis et bases de données. Organisez vos idées, gérez vos projets, créez des wikis d'équipe et des bases de données personnalisées, le tout sur une seule et même plateforme intuitive. Sa flexibilité répond à des besoins divers, de la gestion des connaissances personnelles aux collaborations d'équipe complexes. L'interface épurée et les fonctionnalités puissantes de Notion en font un outil de productivité incontournable pour beaucoup.

Lire plus
(abhisman.notion.site)
Développement

L'armée de l'air teste un modèle réduit d'avion à fuselage mixte, premier vol prévu en 2027

2025-01-06
L'armée de l'air teste un modèle réduit d'avion à fuselage mixte, premier vol prévu en 2027

L'armée de l'air américaine effectue des tests en vol d'un modèle réduit de son démonstrateur d'avion à fuselage mixte (BWB), utilisant les données pour affiner le logiciel de contrôle et la configuration de l'avion à pleine échelle. Le modèle réduit, surnommé "Pathfinder", a une envergure de 23 pieds, soit un huitième de la taille de l'avion à pleine échelle prévu. La conception BWB promet une réduction de 30 % de la consommation de carburant et des applications potentielles dans les futurs avions de transport et de cargo de l'armée de l'air et commerciaux. Le premier vol de l'avion à pleine échelle est prévu pour septembre 2027, fournissant des informations pour l'analyse du système de ravitaillement en vol de nouvelle génération (NGAS) et d'autres concepts de mobilité futurs.

Lire plus
(www.airandspaceforces.com)
Technologie Fuselage Mixte Essai en Vol Efficacité Carburant

Un contrat historique pour l'énergie nucléaire aux États-Unis

2025-01-06
Un contrat historique pour l'énergie nucléaire aux États-Unis

L'Administration des services généraux des États-Unis (GSA) a attribué à Constellation, exploitant du plus grand parc de centrales nucléaires commerciales aux États-Unis, des contrats de plus d'un milliard de dollars pour fournir de l'énergie à 13 agences gouvernementales pendant 10 ans. Le plus important contrat, d'une valeur de 840 millions de dollars, fournira plus d'un million de mégawattheures par an, en partie grâce aux investissements de Constellation pour augmenter la production de ses centrales existantes. Cet "approvisionnement historique" garantit un approvisionnement énergétique fiable et compétitif en termes de coûts, favorisant un avenir sans carbone et protégeant les contribuables contre les augmentations de prix. Il s'agit du plus important achat d'énergie de l'histoire de la GSA et d'un accord majeur axé sur le climat intégrant des réacteurs nucléaires existants.

Lire plus
(www.nucnet.org)
Technologie Énergie nucléaire Marché public Neutralité carbone

Dix ans de revue : Plongez dans la détection d’anomalies de séries temporelles

2025-01-06
Dix ans de revue : Plongez dans la détection d’anomalies de séries temporelles

Les progrès de la technologie de collecte de données et l’explosion des données en streaming soulignent le besoin crucial d’analyse de séries temporelles. Cet article propose une revue de dix ans de la détection d’anomalies de séries temporelles, englobant des méthodes allant des mesures statistiques traditionnelles à l’essor des algorithmes d’apprentissage automatique. Il présente une taxonomie centrée sur les processus pour catégoriser et résumer les solutions existantes, offrant une méta-analyse de la littérature et soulignant les tendances générales du domaine. Cette étude exhaustive sert de ressource précieuse pour les chercheurs.

Lire plus
(arxiv.org)
IA séries temporelles détection d’anomalies

Atari ST et PC DOS : une histoire oubliée de compatibilité de disque

2025-01-06
Atari ST et PC DOS : une histoire oubliée de compatibilité de disque

En 1984, Atari a dû relever le défi de trouver un système d’exploitation pour l’Atari ST. Manquant de temps, ils ont fait équipe avec Digital Research, optant pour leur système d’exploitation GEM presque terminé au lieu de Windows, alors en développement. GEM a ensuite été porté sur PC, mais sans succès. Cependant, l’utilisation de GEMDOS par l’Atari ST, similaire à PC-DOS, et le format de disque identique ont permis des transferts de fichiers étonnamment faciles entre l’Atari ST et les PC. Malgré de petits problèmes de compatibilité, cela a été révolutionnaire à l’époque et reste pertinent aujourd’hui. L’article relate également une tentative d’exécution de programmes DOS sur un Atari ST à l’aide de pc-ditto, un émulateur tiers. Bien que lent, la capacité d’exécuter certaines applications DOS montre le charme unique de l’Atari ST dans le monde de l’informatique rétro.

Lire plus
(www.goto10retro.com)
Technologie

Windows 3.1 sur écrans modernes : un pilote SVGA générique

2025-01-06
Windows 3.1 sur écrans modernes : un pilote SVGA générique

Ce projet présente un pilote SVGA générique et moderne pour Windows 3.1, prenant en charge tous les modes graphiques disponibles en 8 bits, 16 bits, 24 bits et 32 bits. Réécriture du pilote SVGA d’origine de Windows 3.1, il ajoute la prise en charge des pixels multi-octets, permettant à Windows 3.1 de s’exécuter en couleur vraie sur les écrans modernes haute définition. Cela résout les problèmes de compatibilité pour le matériel ancien et améliore l’expérience pour les passionnés de jeux rétro.

Lire plus
(github.com)
Développement pilote SVGA écran haute définition

La fonction magique : créer des abstractions élégantes en Rust

2025-01-06
La fonction magique : créer des abstractions élégantes en Rust

Cet extrait de « Les secrets de Rust : outils » de John Arundel montre comment concevoir des abstractions élégantes en Rust à l’aide d’un outil simple de ligne de commande pour compter les lignes. L’approche de la « fonction magique » est utilisée : on imagine d’abord une fonction idéale, puis on conçoit son API en fonction de la manière dont elle est appelée, ce qui donne une bibliothèque propre et réutilisable. Un test unitaire garantit la correction, soulignant l’importance de la conception de l’API en privilégiant les besoins de l’utilisateur par rapport aux détails de l’implémentation.

Lire plus
(bitfieldconsulting.com)
Développement Outil de ligne de commande

Rohlang3 : Un calcul SK minimaliste avec types dépendants

2025-01-06
Rohlang3 : Un calcul SK minimaliste avec types dépendants

Rohlang3, développé par Rohan Ganapavarapu, est un langage minimaliste expérimental écrit en Rust. Il tente de combiner un style sans point, l'homoiconicité et le typage dépendant sur une base de calcul SK. Bien qu'il repose sur les combinateurs S et K standards, Rohlang3 ajoute des combinateurs de réflexion (q et e), d'évaluation partielle (z) et de réorganisation d'environnement (i, E et D), ainsi qu'un système de types dépendants Pi/Sigma simplifié (p et g). Le projet ne vise pas une cohérence parfaite, mais plutôt à explorer l'interaction de ces concepts. L'homoiconicité permet la manipulation à l'exécution de l'AST, et les fonctionnalités de réflexion et d'évaluation partielle permettent des capacités de métaprogrammation puissantes.

Lire plus
(rohan.ga)
Développement
1 2 … 540 541 542 544 546 547 548 … 595 596