Mathics : Un environnement de calcul mathématique modulaire avec plusieurs options de déploiement

2025-02-14

Mathics est un environnement de calcul mathématique à la conception modulaire offrant plusieurs options de déploiement. Les utilisateurs peuvent déployer rapidement un environnement complet via une image Docker ou l’installer localement à l’aide du paquet Python Mathics-omnibus. Le cœur du système est le noyau Mathics3, complété par le client en ligne de commande mathicsscript (avec surbrillance de syntaxe, prise en charge Unicode, etc.) et un serveur web basé sur Django (avec sortie MathML et graphismes Three.js). Ces composants ont des dépendances individuelles, mais la conception modulaire garantit la flexibilité et l’évolutivité.

Lire plus
Développement calcul mathématique

L'administration Trump ordonne aux employés fédéraux de supprimer les pronoms de leurs signatures électroniques

2025-01-31
L'administration Trump ordonne aux employés fédéraux de supprimer les pronoms de leurs signatures électroniques

Plusieurs agences fédérales ont ordonné à leurs employés de supprimer les pronoms de leurs signatures électroniques avant vendredi après-midi, selon des mémos internes obtenus par ABC News. Cette directive découle de deux décrets présidentiels signés par le président Trump le premier jour de son mandat, visant à freiner les programmes de diversité et d'équité. Des agences comme le Département des Transports, le Département de l'Énergie et les CDC ont reçu des instructions similaires. Un employé des CDC a exprimé sa frustration, déclarant que cela ne s'était jamais produit au cours de sa décennie de service. Le Bureau de la gestion du personnel a également publié un mémo demandant aux agences de revoir leurs systèmes de messagerie électronique et de désactiver les invites de pronoms. Cette action est la dernière en date de la campagne de l'administration Trump pour démanteler les initiatives de diversité et d'équité au sein du gouvernement fédéral.

Lire plus

Générateur de tatouages IA : création de designs professionnels

2025-01-07
Générateur de tatouages IA : création de designs professionnels

Fatigué des designs de tatouages génériques ? Le générateur de tatouages IA n° 1 vous permet de créer des designs de tatouages professionnels et uniques facilement. Il suffit de saisir vos préférences et de générer une grande variété de styles pour concrétiser votre vision de l’art corporel personnalisé. Oubliez les longues attentes et les coûts élevés des tatoueurs traditionnels ; cet outil d’IA révolutionne le monde du tatouage.

Lire plus
Design Tatouage

Bible du développement de jeux open source : de zéro à héros

2025-01-06
Bible du développement de jeux open source : de zéro à héros

Ce projet, "Développement de jeux 2D : de zéro à héros", est un recueil open source des connaissances de la communauté sur la conception et le développement de jeux. Sous licence Creative Commons, il vise à être une ressource d’apprentissage et encourage les contributions de la communauté. Le livre couvre la conception de jeux, le développement, les algorithmes, les conseils et astuces, et est disponible aux formats PDF et EPUB. Le code source est disponible sur GitHub et GitLab. L’auteur décourage activement les contributions générées par l’IA pour maintenir la qualité et l’originalité.

Lire plus

Vues de rues de Londres de 1840 : un enregistrement détaillé de l’histoire urbaine

2025-02-03
Vues de rues de Londres de 1840 : un enregistrement détaillé de l’histoire urbaine

La collection de cartes historiques David Rumsey abrite une collection de 1840 de vues de rues de Londres, publiée par John Tallis & Co., comprenant 88 représentations détaillées de rues londoniennes. Créée avec des illustrations de Charles Bigot et des descriptions historiques de William Gaspey, cette vue composite offre un aperçu de Londres au début du XIXe siècle, montrant son paysage urbain, ses routes et son tourisme. Elle fournit un matériel de source primaire inestimable pour l’étude du développement urbain de Londres et témoigne des techniques d’impression de l’époque.

Lire plus
Divers

Le modèle o3 d'OpenAI trouve une faille zero-day dans le noyau Linux

2025-05-22
Le modèle o3 d'OpenAI trouve une faille zero-day dans le noyau Linux

Ce billet détaille comment l'auteur a découvert une vulnérabilité zero-day (CVE-2025-37899) dans le noyau Linux en utilisant le modèle o3 d'OpenAI. En auditant ksmbd, l'auteur a utilisé o3 pour analyser le code, identifiant avec succès une vulnérabilité use-after-free dans le gestionnaire de commandes SMB 'logoff'. o3 a compris la logique complexe des connexions concurrentes et du partage d'objets, pointant ainsi le défaut. De plus, o3 a redécouvert une autre vulnérabilité, CVE-2025-37778. L'auteur soutient que o3 représente un progrès significatif dans la capacité de raisonnement sur le code, offrant aux chercheurs en vulnérabilités un nouvel outil puissant pour augmenter considérablement leur efficacité.

Lire plus
Développement

Une startup de télémédecine psychiatrique basée sur l'IA recherche un ingénieur full-stack de niveau intermédiaire

2024-12-31
Une startup de télémédecine psychiatrique basée sur l'IA recherche un ingénieur full-stack de niveau intermédiaire

Legion Health, une startup soutenue par Y Combinator, recherche un ingénieur full-stack de niveau intermédiaire. Ils révolutionnent les soins de santé mentale avec des solutions de télémédecine psychiatrique basées sur les LLM, utilisant une stack TypeScript (Next.js, Node.js, Supabase/PostgreSQL, Docker). L'ingénieur implémentera des fonctionnalités dans les portails patients, les tableaux de bord cliniques et la planification assistée par IA, en intégrant des modèles linguistiques (OpenAI, Anthropic) tout en assurant la conformité HIPAA. C'est une chance d'appliquer ses compétences d'ingénierie pour transformer les soins de santé mentale avec l'IA de pointe.

Lire plus

VMware poursuit Siemens pour utilisation de logiciels sans licence

2025-03-26
VMware poursuit Siemens pour utilisation de logiciels sans licence

VMware poursuit les opérations américaines de Siemens pour utilisation présumée de logiciels VMware en nombre supérieur à celui autorisé par les licences. Le litige a commencé lorsque Siemens a demandé une extension de support, soumettant une liste de ses logiciels VMware qui dépassait largement le nombre de licences achetées. Siemens a ensuite tenté de retirer cette liste, ce qui a conduit VMware à croire qu'elle cachait intentionnellement l'utilisation de logiciels sans licence. Ce procès fait suite à l'annonce récente par VMware de modifications de son processus de téléchargement de logiciels, une mesure visant à mieux suivre la conformité des licences.

Lire plus

Déprécions collectivement `git checkout` ?

2025-01-09
Déprécions collectivement `git checkout` ?

Cet article plaide pour la dépréciation collective de la commande `git checkout`. L'auteur soutient que `git checkout` est excessivement complexe et confuse, surtout pour les débutants. Il propose d'utiliser les commandes plus claires `git switch` et `git restore` à la place. Bien que Git ne supprimera pas `git checkout`, l'auteur encourage un changement mené par la communauté vers de meilleures alternatives pour améliorer l'expérience Git globale et éviter de confondre les nouveaux utilisateurs.

Lire plus
Développement Outils de développement

La disparition des informations gouvernementales à l'ère du numérique

2025-02-01

Cet article met en lumière la crise de la préservation des informations gouvernementales à l'ère du numérique. Historiquement, les informations gouvernementales papier étaient conservées dans les bibliothèques ; même les informations obsolètes n'étaient pas facilement supprimées. Cependant, à l'ère du numérique, les informations des sites web gouvernementaux peuvent être facilement modifiées ou supprimées, entraînant des pertes d'informations importantes. Bien que certaines organisations s'efforcent de préserver les informations gouvernementales, d'importantes lacunes subsistent, et le public ne peut plus présumer de l'exhaustivité et de la permanence des informations gouvernementales. Les auteurs demandent une nouvelle infrastructure de préservation numérique distribuée pour faire face à cette crise, en soulignant que la perte d'informations sous l'administration Trump a aggravé le problème.

Lire plus

Buzee : Application de recherche de texte intégral open source lancée

2024-12-14
Buzee : Application de recherche de texte intégral open source lancée

Buzee est une application de recherche de texte intégral multiplateforme construite avec Rust et Svelte. Elle permet une recherche rapide des fichiers locaux, des dossiers, de l'historique du navigateur et plus encore, en extrayant même du texte des PDF et des images à l'aide de l'OCR. Développé sur deux ans, ce projet présente une architecture robuste utilisant Tauri pour les performances, SQLite et Tantivy pour l'indexation et un front-end Svelte propre. Bien que riche en fonctionnalités, il reste encore des domaines à développer à l'avenir, et l'auteur le lance en open source pour que d'autres puissent contribuer.

Lire plus

R1-Zero de DeepSeek : Une voie vers l'AGI sans annotation humaine ?

2025-01-29
R1-Zero de DeepSeek : Une voie vers l'AGI sans annotation humaine ?

DeepSeek a publié les systèmes de raisonnement R1-Zero et R1, obtenant des scores comparables à ceux du système o1 d'OpenAI (15-20%) sur le benchmark ARC-AGI-1, surpassant largement les 5% du GPT-4o, qui repose uniquement sur l'échelle des LLMs. R1-Zero est particulièrement remarquable par sa dépendance exclusive à l'apprentissage par renforcement, éliminant le besoin d'un réglage fin supervisé (SFT). Bien que R1-Zero présente quelques défis en termes de lisibilité et de mélange de langues, ses solides performances en mathématiques et en codage démontrent un raisonnement précis en chaîne de pensées sans SFT. Cela ouvre de nouvelles voies dans la recherche sur l'AGI, suggérant un avenir où l'entraînement de l'AGI pourrait se passer complètement de l'annotation humaine.

Lire plus

Tirreno : Analytique utilisateur sécurité open source pour une meilleure protection de la plateforme

2025-01-01
Tirreno : Analytique utilisateur sécurité open source pour une meilleure protection de la plateforme

Tirreno est un logiciel d'analytique utilisateur sécurité open source conçu pour surveiller diverses plateformes en ligne, notamment les sites web, les applications, les SaaS, les communautés et les appareils IoT. Il détecte et se défend contre les prises de contrôle de compte, les bots malveillants et les vulnérabilités courantes résultant du comportement de l'utilisateur. Construit avec PHP et PostgreSQL, Tirreno est facile à installer et à utiliser, fournissant des analyses en temps réel. Un abonnement payant améliore ses capacités anti-fraude, offrant une vérification supplémentaire des adresses IP, des e-mails et des numéros de téléphone. Développé par Tirreno Technologies Sàrl, Tirreno privilégie la confidentialité et la sécurité des données ; son code est open source, mais la marque commerciale ne l'est pas.

Lire plus
Développement analytique utilisateur

Potentiel d'habitabilité de Titan : une biosphère minuscule ?

2025-04-10

Une nouvelle étude évalue la probabilité de vie sur Titan, la plus grande lune de Saturne. En utilisant la modélisation bioénergétique, les chercheurs ont découvert que l'océan souterrain de Titan pourrait abriter des formes de vie consommant de la matière organique, mais la biomasse totale pourrait n'être que de quelques kilogrammes, soit l'équivalent de la masse d'un petit chien. Cela suggère que, même si la vie existe sur Titan, elle serait extrêmement rare, ce qui rendrait sa détection difficile. Les chercheurs concluent que l'inventaire organique exceptionnellement riche de Titan peut ne pas être aussi facilement disponible pour soutenir la vie que l'on pourrait le penser intuitivement.

Lire plus

cregit : Visualisation des contributions au noyau Linux

2025-03-27

Le projet cregit visualise les contributions au noyau Linux en coloriant les fichiers de code source pour identifier les contributeurs individuels. En passant la souris sur des extraits de code, des détails sur les commits sont affichés, et un clic ouvre le commit correspondant sur GitHub. Bien qu'il soit basé sur git blame et utilise srcML pour l'analyse, il présente des limitations, telles que le développement de macros et la compilation C réelle. cregit est un effort collaboratif de chercheurs de Polytechnique Montréal, de la Linux Foundation et de l'Université de Victoria.

Lire plus

Polices Web Haute Performance : Vitesse et Style Unis

2025-01-16
Polices Web Haute Performance : Vitesse et Style Unis

Le projet Polices Web Haute Performance (HPWF) fournit des outils et des ressources pour aider les développeurs à utiliser des polices web sans sacrifier la vitesse de chargement des pages. Il inclut des convertisseurs de plages de texte en Unicode et des mécanismes de secours robustes, garantissant une expérience optimale avec les polices web.

Lire plus

Mistral Saba : Un modèle d'IA léger pour le Moyen-Orient et l'Asie du Sud

2025-02-17
Mistral Saba : Un modèle d'IA léger pour le Moyen-Orient et l'Asie du Sud

Mistral AI a lancé Mistral Saba, un modèle d'IA de 24 milliards de paramètres entraîné spécifiquement pour les langues du Moyen-Orient et de l'Asie du Sud, notamment l'arabe et de nombreuses langues indiennes, avec une force particulière pour les langues du sud de l'Inde. Ce modèle léger fonctionne sur une seule GPU, est rapide, économique et peut être déployé localement pour une sécurité accrue. Mistral Saba démontre de fortes capacités dans diverses applications, notamment le support de conversation en arabe, l'expertise spécifique à un domaine et la création de contenu culturellement pertinent, offrant aux entreprises des services plus précis et culturellement adaptés.

Lire plus

Démontage du Stelo CGM : Dévoilement des secrets d'un CGM pas cher

2025-02-23

Cet article détaille le démontage du Stelo CGM de Dexcom, un moniteur de glucose continu abordable (50 $). L'auteur partage son expérience avec l'appareil et explore son fonctionnement interne, notamment le microcontrôleur nRF52832, la pile bouton CR1216 et d'autres puces non identifiées. En mesurant la consommation d'énergie, l'auteur révèle que la durée de vie de la batterie dépasse largement les 15 jours annoncés, et explore la possibilité d'utiliser la récupération d'énergie pour une alimentation permanente. L'article suscite également des débats sur la ventilation des coûts du produit et la concurrence sur le marché, ce qui en fait une lecture captivante pour les passionnés de technologie et ceux qui s'intéressent aux technologies médicales.

Lire plus

L'écosystème fermé d'Apple freine le développement iOS basé sur l'IA

2025-02-19
L'écosystème fermé d'Apple freine le développement iOS basé sur l'IA

Un développeur iOS chevronné déplore l'écosystème fermé d'Apple, ce qui entrave sa capacité à rivaliser avec les plateformes de création d'applications basées sur l'IA telles que lovable.dev et a0.dev. L'article souligne les complexités de la compilation iOS, les formats de projets Xcode propriétaires, la nature fermée de SwiftUI et les défis du déploiement de serveurs macOS à grande échelle comme des obstacles importants au développement d'outils de développement iOS robustes assistés par l'IA. En revanche, la nature open source d'Android offre un avantage significatif dans le développement d'applications d'IA. L'auteur soutient que la négligence de longue date d'Apple concernant l'expérience développeur l'a finalement laissée derrière dans la course à l'IA.

Lire plus

Pourquoi je n'utilise pas la conception pilotée par le domaine

2024-12-29

Tony Marston, développeur logiciel chevronné fort de quarante ans d'expérience dans la création d'applications d'entreprise, explique pourquoi il n'utilise pas la conception pilotée par le domaine (DDD). Il soutient que la DDD sur-valorise la théorie de la conception orientée objet au détriment de la conception de bases de données et de la réutilisabilité du code dans les grands systèmes. Il préfère une architecture en couches avec une classe distincte pour chaque table de base de données, en utilisant l'héritage et le modèle de méthode modèle pour la réutilisation du code. Marston estime que cette approche convient mieux aux projets réels et améliore l'efficacité du développement.

Lire plus

PowerPoint en PHP : Tour d'horizon des bibliothèques open-source

2025-01-17

Fatigué de vous battre avec les fichiers PowerPoint dans vos projets PHP ? Plusieurs bibliothèques PHP open-source facilitent désormais la création, l'édition et la conversion de fichiers PPT et PPTX. Ces bibliothèques simplifient non seulement le processus de développement, mais offrent également une large gamme de fonctionnalités, notamment la mise en forme, la fusion et la protection des fichiers. Que vous ayez besoin de générer des présentations époustouflantes ou de gérer de grands volumes de fichiers PPT, ces bibliothèques répondront à vos besoins et vous feront gagner un temps et des efforts considérables.

Lire plus

curl-impersonate mis à jour : capacités améliorées d'usurpation d'identité de navigateur

2024-12-30
curl-impersonate mis à jour : capacités améliorées d'usurpation d'identité de navigateur

lexiforest/curl-impersonate est une fourchette active de curl-impersonate qui améliore les capacités d'usurpation d'identité de navigateur et prend en charge davantage de versions et de cibles de build. Ce projet modifie curl pour imiter le comportement des principaux navigateurs (Chrome, Edge, Safari et Firefox) lors des handshakes TLS et HTTP, contournant les restrictions des sites Web basées sur les empreintes digitales. Les mises à jour incluent la prise en charge d'ECH, de la compression ZSTD, de la courbe X25519Kyber768 et de plus de versions de navigateur, offrant des outils de ligne de commande et des fonctions de bibliothèque améliorées.

Lire plus

Le Brésil interdit le projet de scan de l'iris de Sam Altman

2025-01-26
Le Brésil interdit le projet de scan de l'iris de Sam Altman

Tools for Humanity, cofondée par Sam Altman, PDG d'OpenAI, s'est vu interdire au Brésil d'offrir des incitations en cryptomonnaie pour les scans d'iris. L'autorité nationale brésilienne de protection des données (ANPD) soutient que cette pratique porte atteinte à la libre expression de la volonté des individus, affectant leur prise de décision autonome concernant les données biométriques. Cela souligne les préoccupations croissantes à l'échelle mondiale concernant la collecte et la confidentialité des données biométriques.

Lire plus

Mâcher des objets durs augmente-t-il les niveaux de GSH dans le cerveau et améliore-t-il les fonctions cognitives ?

2025-03-03

Une étude coréenne a révélé que mâcher des objets durs (comme des blocs de bois) augmente significativement les niveaux de glutathion (GSH) dans le cortex cingulaire antérieur du cerveau. Le GSH est un antioxydant crucial, et des niveaux plus élevés sont associés à de meilleures performances de mémoire. En revanche, mâcher du chewing-gum n'a montré aucun effet significatif sur les niveaux de GSH. Les chercheurs suggèrent que l'augmentation du flux sanguin cérébral due à la mastication d'objets durs peut stimuler la synthèse de GSH. Cette étude propose une méthode simple pour stimuler les défenses antioxydantes du cerveau, mais des recherches supplémentaires sont nécessaires pour valider son efficacité auprès de différents groupes d'âge et de régions cérébrales.

Lire plus

OpenTitan de Google : une puce de sécurité open source entre en production

2025-02-09
OpenTitan de Google : une puce de sécurité open source entre en production

Google a annoncé que sa puce de sécurité open source, OpenTitan, est entrée en production. Il s'agit du premier Root of Trust (RoT) en silicium open source disponible commercialement, conçu pour améliorer la sécurité des dispositifs en offrant transparence et collaboration ouverte afin de résoudre la nature « boîte noire » des solutions propriétaires. OpenTitan sera utilisé dans les Chromebooks et l'infrastructure cloud de Google, et devrait favoriser une adoption plus large dans l'industrie des conceptions ouvertes et du démarrage sécurisé par cryptographie post-quantique (PQC).

Lire plus
Technologie puce de sécurité

EmacsConf 2024 : Une conférence en ligne fluide et efficace

2024-12-28

EmacsConf 2024 s'est terminée avec succès ! Cet article, écrit par Sacha Chua, revient sur la préparation, l'exécution et les leçons apprises lors de la conférence. De l'appel à propositions aux présentations finales, les organisateurs ont habilement utilisé des outils d'automatisation (mode Org, emacsconf-mail.el, Ansible, etc.) pour améliorer l'efficacité et ont mis à profit des technologies telles que BigBlueButton et WhisperX pour une expérience fluide. Bien que des défis techniques (configuration du serveur BBB, synchronisation audio) soient apparus, ils ont été résolus efficacement. Sacha partage des informations sur la gestion du temps, la coordination des bénévoles et les améliorations futures, démontrant son dévouement à la communauté open source.

Lire plus
Développement conférence en ligne

Ente : hébergez une alternative à Google Photos et maîtrisez votre vie privée

2025-02-24
Ente : hébergez une alternative à Google Photos et maîtrisez votre vie privée

Cet article de blog explique comment auto-héberger Ente, une alternative open source à Google Photos, en déployant son serveur sur un cluster Kubernetes et le frontend sur GitHub Pages. Il fournit le code nécessaire, les fichiers de configuration et les instructions pour configurer une base de données Cloudnative-PG, ainsi que la récupération des secrets depuis AWS Parameter Store. Bien que techniquement exigeant, il est idéal pour les utilisateurs familiers avec Kubernetes et qui privilégient la confidentialité. L'article couvre également la création d'une image Docker personnalisée à l'aide de GitHub Actions et la gestion des référentiels GitHub avec Terraform.

Lire plus
Développement

La résurgence de la décompilation : Retour sur 2024

2025-01-30
La résurgence de la décompilation : Retour sur 2024

2024 a marqué une résurgence significative de la recherche sur la décompilation. Les publications académiques de cette année ont représenté près de 30 % de toutes les publications de premier plan jamais réalisées dans ce domaine. Ce billet résume les progrès académiques et idéologiques de la décompilation en 2024. On a constaté une augmentation du nombre de publications académiques, dont quatre se sont concentrées sur la définition d'une « bonne » décompilation et quatre ont exploré le rôle de l'IA, notamment la prédiction de symboles et la simplification du code. Presque tous les articles comprenaient des implémentations open source, favorisant l'adoption par l'industrie. L'année a également été marquée par une tournée de la pionnière de la décompilation, le Dr Cristina Cifuentes, et un panel d'experts de renom à la conférence Recon 2024, ce qui a encore dynamisé le domaine.

Lire plus
Développement décompilation

Rattraper le peloton : Le parcours de l'assistant de code IA de Val Town

2025-01-03
Rattraper le peloton : Le parcours de l'assistant de code IA de Val Town

L'assistant de code IA de Val Town, Townie, a suivi un parcours de rattrapage des leaders que sont GitHub Copilot, ChatGPT, Claude, etc. De la simple complétion de code, il est passé à la génération d'applications full-stack utilisant l'appel d'outils. Cet article retrace le développement de Townie, en soulignant les efforts déployés pour améliorer la vitesse, la détection automatique des erreurs et la concurrence différenciée. Il envisage également l'intégration de fonctionnalités plus avancées à l'avenir.

Lire plus

Les fermes solaires trouvent des alliés inattendus : des milliers de moutons

2025-01-19
Les fermes solaires trouvent des alliés inattendus : des milliers de moutons

L'industrie solaire américaine en plein essor a découvert un partenaire inattendu : les moutons. Les grandes fermes solaires, comme le gigantesque projet texan de SB Energy, utilisent des milliers de moutons pour entretenir les terrains, remplaçant ainsi les tondeuses à gazon et offrant une alternative durable. Cette tendance du « pâturage solaire » ou de « l'agrivoltaïsme » est en expansion, créant des opportunités pour les éleveurs de moutons en difficulté et favorisant une réception communautaire positive des fermes solaires. Si les impacts environnementaux à long terme nécessitent des études plus approfondies, les réussites, comme la croissance rapide de Texas Solar Sheep, mettent en évidence les avantages potentiels de cette approche novatrice.

Lire plus
Technologie
1 2 525 526 527 529 531 532 533 595 596