Typst compile très rapidement, permettant une écriture en temps réel même pour un document de plus de 150 pages.
La syntaxe hybride Markdown/Rust de Typst est cohérente et plus intuitive que celle de LaTeX pour la mise en forme et le scripting.
Typst peut intégrer et traiter directement des données externes (par exemple un fichier TOML), simplifiant la génération de figures basées sur des métadonnées.
+5 more insights
La loi fiscale GOP/Trump obligerait la GSA à saisir et vendre aux enchères les 7 200 véhicules électriques neufs de l’USPS et ses infrastructures de recharge.
Le programme USPS prévoit 66 000 véhicules électriques Next Generation pour 9,6 milliards $ dont 3 milliards de fonds publics afin de remplacer une flotte datant de 1987-1994.
Les équipements de recharge, enterrés ou spécifiques à l’USPS, n’ont presque aucune valeur de revente et ne généreraient que des recettes négligeables.
+2 more insights
La version naïve utilisant read/write atteint environ 3.7 GiB/s à cause de double copie et d’allocation de pages.
Les appels vmsplice et splice permettent un transfert sans copie, portant le débit à ~33 GiB/s.
L’utilisation de huge pages (2 MiB) accélère get_user_pages, augmentant le débit à ~51 GiB/s.
+2 more insights
Idle Reporter permet de signaler facilement les véhicules commerciaux en infraction d'arrêt prolongé à New York.
L’application utilise une caméra horodatée (date, heure, localisation) pour enregistrer des vidéos.
Un remplissage de formulaire automatisé par IA est disponible (abonnement requis), avec éditeur manuel pour modifier les rapports.
+4 more insights
Le ministère danois des Affaires numériques remplace Microsoft Office par LibreOffice pour environ la moitié de ses employés.
Windows reste installé sur les postes de travail, seule la suite Office est remplacée.
Motivation principale : renforcer la souveraineté numérique et réduire la dépendance à quelques fournisseurs étrangers.
+1 more insights
Concept de créer une vraie vue éclatée d’un mouvement mécanique en encapsulant les pièces dans de la résine époxy.
Usage de fil de pêche nylon modifié pour suspendre chaque composant avec un indice de réfraction proche de la résine.
Passage d’une approche de moulage par couches à un moulage intégral en une seule coulée pour réduire les défauts.
+3 more insights
Les git notes permettent d’ajouter des métadonnées à n’importe quel objet git (commits, blobs, arbres) sans modifier l’objet lui-même.
On peut créer et afficher des notes avec des commandes comme git notes add et git log --show-notes.
Cas d’utilisation concrets : lier un commit aux discussions par mailing list du projet Git, suivre le temps passé, ajouter des informations de revue et de test.
+4 more insights
SAPF est un langage de programmation fonctionnel et concaténatif, inspiré de FORTH, APL et Haskell, conçu pour la synthèse audio par séquences paresseuses.
Il utilise une notation postfixe minimaliste, sans parenthèses ni délimiteurs excessifs, et offre un système d’auto-mappage similaire à APL pour traiter automatiquement tableaux et flux.
Les principaux types de données sont immuables (réels 64 bits, chaînes, listes, flux infinies, dictionnaires « Form », fonctions) à l’exception des références mutables.
+4 more insights
LibRedirect est une extension web qui redirige automatiquement des sites populaires vers des frontends alternatifs axés sur la confidentialité.
Elle prend en charge de nombreux services dont YouTube (Invidious, Piped, FreeTube…), Instagram (Proxigram), Reddit (Libreddit, Teddit…), TikTok (ProxiTok, Offtiktok), Twitter (Nitter) et ChatGPT (DuckDuckGo AI Chat).
D’autres plateformes couvertes : Tumblr, Twitch, IMDb, SoundCloud, GitHub, Wikipedia, moteurs de recherche (SearXNG, Whoogle…), services de traduction (LibreTranslate, SimplyTranslate…), cartographie (OpenStreetMap), visioconférence (Jitsi), partage de fichiers et de textes (PrivateBin, Send…), etc.
+1 more insights
Les TPU sont des puces spécialisées de Google pour accélérer les multiplications de matrices et réduire la consommation d’énergie.
Ils utilisent des systolic arrays et du pipelining pour traiter efficacement les calculs de matrices sans passer par de lourdes lectures mémoire.
L’Ahead-of-Time compilation via le compilateur XLA élimine la nécessité de caches en prévoyant tous les accès mémoire.
+2 more insights