@Camus@jlai.lu @Syl@jlai.lu J’ai été mauvaise langue, pendant que je disais que c’était trop compliqué pour une instance publique de se bouger le cul pour monter sa propre instance Mastodon, la DINUM était au boulot. Je vous présente : https://social.numerique.gouv.fr/public/local

Des utilisateurs de LaTeX ici ?

J’ai appris ce week-end l’existence de Typst, qui se veut être un remplacement moderne à LaTeX, avec une syntaxe plus moderne et un compilateur plus rapide (en Rust, il paraît que ça fait toujours cool de dire qu’un projet est en Rust !). Ça semble super intéressant, notamment ils ont une interface web, où le document se met à jour en même temps qu’on tape (quiconque a utilisé LaTeX sait que je parle de science-fiction).

C’est assez jeune (je me vois pas écrire des papiers avec pour l’instant, ne serait-ce que parce que je vois pas comment je ferai pour le soumettre à qui que ce soit), mais ça a l’air super intéressant, c’est vraiment à suivre. J’ai hâte de voir ce que ça va donner et si la sauce va prendre, ce serait pas mal de se débarrasser de la dette technologique derrière LaTeX (on peut rêver…).

[ Comment quitter twitter pour BlueSky ou le Fediverse Mastodon en perdant le - possible d’abonnements ? ]

Bonjour le lundi Tech,

J’aimerais migrer de twitter / X à

• Mastodon / le Fediverse

• BlueSky

On m’a gentiment conseillé ce site https://fedifinder.glitch.me qui facilite la transition :

FediFinder a trouvé sur BlueSky et le Fediverse / Mastodon des comptes que je suivais sur twitter :

“Your network in the Fediverse” Here are the found handles sorted by their instance

Mais je suppose que je dois resuivre manuellement sur Mastodon les comptes :(

Il y a bien un bouton “Follow from” (avec un handle Mastodon (faux) qu’il a cru reconnaitre dans ma bio twitter) mais je ne sais pas si ça fonctionnera car à aucun moment je ne me suis connecté à Mastondon ou à l’API Mastodon.

Ca a l’air de juste essayer de deviner l’URL du profil et de l’ouvrir dans un nouvel onglet :(

Si vous avez des idées pour régler ce problème ou d’autres conseils pour faciliter la transition vers Mastodon et BlueSky, hésitez pas :)

D’autres astuces pour utiliser BlueSky

https://www.frandroid.com/culture-tech/web/1830673_nos-astuces-blue-sky

En parlant de BlueSky, le media “Les Jours” offre un abonnement gratuit de 10 jours à leur site sans entrer de CB via ce lien sur le Ciel Bleu :

https://lesjours.fr/abonnement/code-special?code=LECIELESTBLEU

Avec notamment des enquêtes sur

• Bolloré / Lagardère

• Spotify / Apple Music

[ Radio Amateur en ondes courtes ]

J’aimerais me (re)lancer dans la Radio Amateur et capter en ondes courtes les bulletins d’informations depuis Grenoble à heure fixe :

• RFI qui n’émet pas en FM à Grenoble :( juste à Lyon en DAB+)

J’ai essayé sans succès RFI en 9790 kHz :(

Annuaire des fréquences RFI :

https://www.rfi.fr/fr/capter-rfi

https://s.rfi.fr/media/display/71e119ba-cef2-11ed-8883-005056bfb2b6/FREQUENCES OC ET OM-RFI-ETE2023.pdf

• BBC World Service

D’après ci-dessous, elle émet par exemple en 9915, 11810, 12095kHz pour “West Africa” de 21h à 22h (9-10pm GMT :)

annuaire des fréquences BBC :

https://www.bbc.co.uk/worldservice/schedules/frequencies/index.shtml#west-africa

J’ai essayé sans succès :( Peut-être faut-il une grosse antenne ou un long fil ?

Mais j’aurais peut-être + de chance avec BBC depuis Middle East + tôt dans la journée.

Pour rappel, l’heure de France métropolitaine Central European Time, CET est l’un des noms du fuseau horaire UTC+1, en avance d’une heure par rapport au temps universel coordonné (UTC) et en avance de 2h en été / début d’automne (avant le changement d’heure).

Si vous avez des idées pour réussir à capter des bulletins d’informations en ondes courtes…

Merci :)

• Si vous n’avez pas d’appareil qui capte les ondes courtes : s’amuser à écouter les radios en ondes courtes via WebSDR depuis les Pays-Bas : http://websdr.ewi.utwente.nl:8901/

Bonjour,

Nous avions envie d’acheter une tablette (au moins 10", pour un confort de lecture et visionnage de film suffisamment comfortable)

J’ai fait le tour de ce qui existait, au début je voulais prendre de l’occasion, car vu les prix du neuf ça chiffre vite… Mais en faisant le tour on se rend compte que c’est déjà pas loin de 200/300€ pour des samsung (et pas les modèles récents). Et en gros on tombe toujours sur le mêmes marques/modèle : Samsung (avec tous les trucs pré-installés et impossibles à enlever sans passer par ADB), il y a aussi Lenovo qui en fait mais de ce que j’ai vu ça date un peu et pas forcément fou-fou; "également les Huawei, Xiaomi (mais là c’est hyper bloaté, mais efficace en général).

Bref, je me suis finalement tourné vers une maque assez méconnues (enfin pour moi) et sont dernier modèle de tablette: la Doogee T30 Pro. Prise de risque, car bon pas super répendu, mais sur le papier ça semblai top :

• écran 11"
• 15Go (8Go + 7Go en swap en fait)
• 256 Go de stockage
• batterie 8580mAh
• Wifi, Bluetooth 5.2, réseau 4G, 3G, 2G
• Android 13

Le tout pour 205€ car en promo sur CDiscount actuellement (et même moins car j’avais un bon d’achat de 60€, donc finalement elle m’a coûté un peu plus de 140€ ^^ )

Finalement :

• La bête est hyper rapide et fluide
• livrée avec une protection transparent de la coque (souple et de qualité), une protection de l’écran (déjà mise)
• la seul app installé en plus c’est WPS Office (un office version Chinoise, qui existe sur PC d’ailleurs), mais elle se désinstalle en un click. (elle est truffée de trackers d’ailleurs)
• sinon les apps Google classiques sont là (et désactivable si on n’en veut pas, genre youtube, drive, photo, chrome, etc, perso j’enlève)
• déjà deux mises à jour du système, ce qui est rassurant à priori.

C’est une vraie bonne tablette, j’ai pris des risques mais franchement je ne suis pas déçu rapport qualité/prix, j’ai gagné quelques centaines d’euros je pense. Si jamais vous envisagez un achat de tablette, celle-ci est plutôt cool !

PS : je me rends compte que ça fait limite placement de produit, mais non, c’est juste que je suis vraiment content de l’achat, et qu’à priori on se méfie toujours des marques assez peu connues, donc autant partager mon expérience.

Ce week-end, ma technologie favorite de messagerie instantanée (XMPP/Jabber) a fait parlé d’elle: https://notes.valdikss.org.ru/jabber.ru-mitm/

Depuis plusieurs mois, une “machine in the middle” a été mise en place, très probablement au niveau de l’hébergeur (hetzner et linode), et très probablement sous demande de la justice, sur le plus gros serveur Jabber russe (hébergé en Allemagne). La partie marrante c’est qu’ils ont oublié de renouveler le certificat et que c’est comme ça que l’admin s’en est aperçu.

Ce qui est dommage pour les utilisateurs, c’est qu’une mise à jour du serveur aurait mis en évidence le MiTM assez rapidement, contrant l’attaque. Cependant, c’est dur d’en vouloir à un admin bénévole. J’administre un petit serveur pour copains et familles, et je tremble déjà à chaque apt upgrade quand je vois prosody (serveur XMPP) dans la liste. Pourtant ça s’est toujours bien passé. :)

que pensez-vous du cryptage? Il y a beaucoup de discussions dans le union européenne maintenant.