Le nom d'un futur coéquipier de Thomas Pesquet a été dévoilé. Il s'agit d'Adrianos Golemis, le tout premier Grec à partir dans l'espace. Le voyage à bord de la Station spatiale internationale (ISS) est prévu pour 2027.
Si vous trouvez la solution à l'un de ces problèmes mathématiques, vous pourrez empocher un million de dollars. L'Institut de mathématiques Clay offre cette récompense pour résoudre des énigmes réputées insurmontables.
Souvent considérée comme une jumelle de la Terre, Vénus n'a pourtant pas de Lune. De nouveaux travaux avancent qu'elle a peut-être eu un satellite, détruit très tôt dans l'histoire de la planète.
Resté en retrait pendant que son collègue portait seul les accusations, Levent Alpöge, le mathématicien d'Anthropic, a fini par prendre la parole. Sa version relance la bataille de crédit autour d'un problème à un million de dollars qu'OpenAI dit avoir résolu.
Pour fabriquer une application Windows native, le passage par Visual Studio était jusqu'ici la voie normale. Mais c'était sans compter sur Microsoft qui a publié winapp , un outil en ligne de commande qui permet de faire tout pareil directement depuis un terminal : il crée le projet, le construit, le lance avec son identité de paquet et sort le résultat sous la forme d'un fichier d'installation MSIX.
C'est encore estampillé en version "expérimentale" par ses auteurs, mais ça fonctionne déjà très bien pour des trucs basiques. C'est pour ça qu'aujourd'hui, je vous propose un petit tuto pour afficher un Hello World dans une vraie fenêtre Windows. Vous allez voir, c'est fastoche !
Il vous faut donc Windows 10 version 1809 au minimum, le mode développeur activé dans Paramètres, Système, Options avancées, et le SDK .NET 10 ou plus récent. Visual Studio, non par contre, y'en a pas besoin. Les deux installations se font via winget, dans un terminal normal :
Connexionwinget install Microsoft.DotNet.SDK.10
winget install Microsoft.winappcli --source winget
Faites ensuite un winapp --version et vous saurez si le CLI répond.
La commande new fabrique l'application à partir des modèles WinUI 3 officiels, qu'elle télécharge toute seule dès qu'on la lance. Sans option elle vous pose des questions, mais avec celles que je vous mets ci-dessous, elle ne demandera rien et prendra le modèle le plus dépouillé du lot :
winapp new --template winui --name HelloKorben --use-defaults
cd HelloKorben
Vous récupérez alors un projet C# complet, avec son manifeste de paquet et ses icônes. Et surtout, le modèle winui vous donne une fenêtre vide, ce qui tombe bien puisqu'on va écrire dedans. Notez que le pack de modèles est encore publié en 0.0.6-alpha, donc si un nom de fichier a bougé depuis, winapp new --list vous sortira la liste de ce que le vôtre propose.
Attention, là y'a un petit piège ! Le fichier qui décrit la fenêtre s'appelle MainWindow.xaml, sauf que ce n'est pas celui-là qu'il faut toucher. Ouvrez plutôt MainPage.xaml, qui est à la racine du projet, et remplacez son <Grid /> vide par ces quelques lignes :
<Grid>
<TextBlock Text="Hello World !"
HorizontalAlignment="Center"
VerticalAlignment="Center"
FontSize="48" />
</Grid>
Ensuite, un petit winapp run construira le projet, l'enregistrera auprès de Windows avec une identité de paquet qui pointe droit sur votre dossier de build, et le lancera. Votre fenêtre s'ouvre alors avec le Hello World au milieu :
winapp run
La fenêtre HelloKorben ouverte par winapp run, et derrière, le terminal qui vient de la construire en 12 secondes
Bon, là, on a fait un Hello World, mais bien sûr, si vous faites chauffer une IA là-dessus, vous pouvez faire des trucs un peu plus complexes sans forcément savoir coder, et tout ça, une fois encore, sans Visual Studio.
Maintenant, à quoi bon empaqueter ?
Cette identité de paquet, ce n'est pas de la paperasse. En fait c'est elle qui ouvre à votre application les notifications natives, les associations de fichiers, les protocoles maison et les API d'IA locale de Windows. Donc si vous voulez du sérieux, il faut publier l'application compilée dans un dossier, et ça, c'est possible comme ceci directement dans votre terminal :
dotnet publish -o ./publish
L'empaquetage fabrique au passage un certificat de développement et l'installe dans le magasin Personnes de confiance de la machine mais faut que je vous prévienne, la commande qui suit réclame un terminal ouvert en admin dans lequel il faudra refaire le cd vers votre dossier de projet pour qu'il s'y retrouve.
winapp pack ./publish --generate-cert --install-cert
Le MSIX signé sort dans le dossier du projet, nommé d'après le GUID du paquet
Vous obtenez alors un .msix signé, nommé d'après l'identité du paquet, sa version et son architecture, qui s'installe chez vous d'un double clic. Et cette identité, le modèle la génère sous forme de GUID : ne cherchez pas le nom de votre application dans le nom du fichier. Par contre, ne l'envoyez pas tel quel à un collègue, parce que le paquet réclamera le runtime Windows App SDK. Ajoutez --self-contained à la commande pack et le runtime partira dans le paquet. Le certificat, lui, reste un certificat de développement local : sur le PC d'en face, Windows refusera le paquet tant que ce certificat n'y sera pas installé aussi.
Maintenant, si vous vous demandez à quoi sert vraiment ce CLI, c'est surtout l'étape MSIX qui sera moins douloureuse car vous n'aurez pas besoin de lancer Visual Studio.
Source : Neowin
Le 14e vol d'essai du Starship, la fusée géante de SpaceX, est attendu autour du 15 septembre 2026 depuis le Texas. Cette fois, l'entreprise vise pour de bon l'orbite, avec de vrais satellites Starlink à bord.
Un mathématicien dit avoir approché la résolution d'un problème à un million de dollars avec l'aide de l'IA, celui concernant les fameuses équations de Navier-Stokes. Mais dans l'affaire, il pense que la société d'intelligence artificielle OpenAI a tenté de lui rafler la découverte... et d'écarter un mathématicien travaillant chez Anthropic, son grand rival.
ProLogium, le fabricant taïwanais de batteries solides soutenu par Mercedes, a lancé la production en série de ses cellules. De quoi faire sortir du laboratoire une technologie censée offrir plus d'autonomie aux voitures électriques.
De nouvelles simulations informatiques montrent que la Lune aurait pu se former en à peine quelques heures, à la suite d'un impact géant sur la Terre. Une période extrêmement courte qui a bouleversé notre monde à jamais.
Un mathématicien dit avoir approché la résolution d'un problème à un million de dollars avec l'aide de l'IA, celui concernant les fameuses équations de Navier-Stokes. Mais dans l'affaire, il pense que la société d'intelligence artificielle OpenAI a tenté de lui rafler la découverte... et d'écarter un mathématicien travaillant chez Anthropic, son grand rival.
Après 25 vols d'essai bouclés sans encombre, l'avion expérimental X-59 de la NASA a validé toutes ses caractéristiques de vol. L'agence spatiale américaine s'apprête à lancer la phase décisive de sa mission Quesst : mesurer son empreinte sonore pour faire sauter un verrou réglementaire vieux de plus de cinquante ans.
Le prix Ig Nobel de physique a été décerné à une équipe de scientifiques qui ont travaillé sur la question des urinoirs. Leur but : mettre la main sur la meilleure architecture qui empêche les éclaboussures.
Isar Aerospace vient de réussir ce qu'aucune société privée européenne n'avait fait : placer des satellites en orbite depuis le sol du Vieux Continent. Et la start-up allemande y est parvenue dès le deuxième vol de sa fusée Spectrum.
Une mission spatiale poussée par une organisation indépendante vise Alpha du Centaure, le système stellaire le plus proche du Système solaire. Mais le voyage est long, très, très long : il faudra des dizaines de milliers d'années pour y arriver.
Une carte des champs magnétiques cosmiques a été réalisée avec un télescope radio australien, le plus puissant du monde.
Terence Tao, l'un des plus grands mathématiciens vivants, propose de déclarer certaines catégories de problèmes de maths « hors limites » pour les IA.
De nouveaux résultats expérimentaux indiquent des signes de détection de matière noire. Ces particules, qui comptent beaucoup dans l'Univers mais qui demeurent insaisissables, ont-elles enfin été trouvées ? Pas complètement, mais c'est l'indice le plus sérieux jamais obtenu par l'expérience.
L'astronaute française Sophie Adenot devait boucler ses valises pour rentrer sur Terre d'ici à la mi-septembre 2026. La NASA vient de confirmer indirectement que ce retour va devoir patienter de quelques semaines.
