Aller au contenu Aller au menu
  • Dépêches
  • Journaux
  • Liens
  • Forums
  • Wiki
  • Rédaction

LinuxFr.org

Se connecter

Proposer un contenu

  • Pas de compte ? S’inscrire…

Les liens

Flux Atom des liens
Trier par :
  • date
  • note
  • intérêt
  • dernier commentaire
‹ Premier ‹ Précédent … 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 … Suivant › Dernier ›

Lien F*: langage orienté vers la preuve

Posté par abriotde (site web personnel, Mastodon) le 19 mai 2024 à 12:14.
Étiquettes :
  • preuves
  • langage
1
19
mai
2024
  • https://programmation.developpez.com/actu/357982/Presentation-de-F-etoile-un-langage-de-programmation-polyvalent-oriente-vers-la-preuve-prenant-en-charge-a-la-fois-la-programmation-purement-fonctionnelle-et-la-programmation-avec-effet/?amp
Discuter (5 commentaires).

Lien Urgence à France Télévisions : inventer le floutage de demain

Posté par SpaceFox (site web personnel, Mastodon) le 18 mai 2024 à 19:26.
Étiquettes :
  • ina
  • francetv
9
18
mai
2024
  • https://larevuedesmedias.ina.fr/urgence-france-televisions-inventer-le-floutage-de-demain
Discuter (12 commentaires).

Lien La gestion de différents dépôts proposant une même application dans F-Droid – f-droid.org

Posté par antistress (site web personnel) le 18 mai 2024 à 02:49.
Étiquettes :
  • f-droid
2
18
mai
2024
  • https://f-droid.org/en/2024/05/16/repository-overhaul-in-client-1-20.html
Discuter (0 commentaire).

Lien La Quadrature du Net attaque en justice le blocage de TikTok en Nouvelle-Calédonie

Posté par cg le 18 mai 2024 à 01:11.
Étiquettes :
  • tiktok
  • censure
  • liberté_d'expression
  • lqdn
  • gouvernement
  • chine
  • espionnage
10
18
mai
2024
  • https://www.laquadrature.net/2024/05/17/la-quadrature-du-net-attaque-en-justice-le-blocage-de-tiktok-en-nouvelle-caledonie/
Discuter (30 commentaires).

Lien "Bounce Tracking protection" activé pour test dans Firefox Nightly - blog.nightly.mozilla.org

Posté par antistress (site web personnel) le 18 mai 2024 à 00:21.
Étiquettes :
  • tracking
  • pistage
  • firefox
4
18
mai
2024
  • https://blog.nightly.mozilla.org/2024/05/17/todays-forecast-browser-improvements-these-weeks-in-firefox-issue-161/
Discuter (3 commentaires).

Lien Linux 6.9 améliore encore le support matériel, surtout les processeurs AMD récents

Posté par Colargol (Mastodon) le 17 mai 2024 à 18:34.
Étiquettes :
  • noyau_linux
7
17
mai
2024
  • https://next.ink/137703/linux-6-9-ameliore-encore-le-support-materiel-surtout-les-processeurs-amd-recents/
Discuter (0 commentaire).

Lien Petition on the discontinuity of digital content and services after purchase

Posté par Elfir3 le 17 mai 2024 à 18:34.
Étiquettes :
  • union_européenne
  • pétition
  • consommation
  • responsabilité_des_fournisseurs_de_service
  • droit
  • achat
  • plateformes_en_ligne
2
17
mai
2024
  • https://www.europarl.europa.eu/petitions/en/petition/subscription/subscriptionById/form/23164
Discuter (1 commentaire).

Lien ChatGPT va pouvoir puiser sans limites dans les publications Reddit (via r/france)

Posté par deuzene (site web personnel) le 17 mai 2024 à 17:52.
Étiquettes :
  • chatgpt
  • intelligence_artificielle
3
17
mai
2024
  • https://www.numerama.com/tech/1745374-les-publications-reddit-nechapperont-plus-a-chatgpt.html
Discuter (0 commentaire).

Lien Faut-il changer d'hymne européen ? [exemple de privatisation du domaine public]

Posté par Ysabeau 🧶 (site web personnel, Mastodon) le 17 mai 2024 à 14:23.
Étiquettes :
  • droit_d'auteur
  • ayants_droits
  • hymne
  • europe
  • musique
  • domaine_public
  • privatisation
10
17
mai
2024
  • https://www.radiofrance.fr/francemusique/podcasts/reportage/faut-il-changer-d-hymne-europeen-4748960
Discuter (11 commentaires).

Lien What's New in Neovim 0.10

Posté par misaflo (site web personnel) le 17 mai 2024 à 10:24.
Étiquettes :
  • neovim
3
17
mai
2024
  • https://gpanders.com/blog/whats-new-in-neovim-0.10/
Discuter (1 commentaire).

Lien Écoconception des services numériques : le référentiel est là, avec ses ambitions et limites

Posté par Colargol (Mastodon) le 17 mai 2024 à 09:33.
Étiquettes :
  • environnement
  • numérique
5
17
mai
2024
  • https://next.ink/137223/ecoconception-des-services-numeriques-le-referentiel-est-la-avec-ses-ambitions-et-limites/
Discuter (5 commentaires).

Lien Un fond souverain allemand finance le projet FFMPEG à hauteur de 157 580 €

Posté par volts (Mastodon) le 16 mai 2024 à 23:15.
Étiquettes :
  • ffmpeg
  • allemagne
  • financement
  • fond_souverain
  • sovereign_tech_fund
16
16
mai
2024
  • https://www.phoronix.com/news/Germany-STF-For-FFmpeg
Discuter (24 commentaires).

Lien Catburglar : un jeu de chatbriolage libre

Posté par devnewton 🍺 (site web personnel) le 16 mai 2024 à 22:50.
Étiquettes :
  • jeu_libre
  • godot
4
16
mai
2024
  • https://johngabrieluk.itch.io/catburglar
Discuter (1 commentaire).

Lien NVK : La prise en charge des modificateurs de format DRM a été intégrée à Mesa 24.1

Posté par mfilion le 16 mai 2024 à 19:06.
Étiquettes :
  • nvk
  • nvidia
  • vulkan
2
16
mai
2024
  • https://www.collabora.com/news-and-blog/news-and-events/implementing-drm-format-modifiers-in-nvk.html
Discuter (1 commentaire).

Lien Cartes IGN "une application pour découvrir la France autrement" aurait pu être libre mais non

Posté par antistress (site web personnel) le 16 mai 2024 à 17:37.
Étiquettes :
  • cartographie
  • application
  • ign
  • osm
  • randonnée
13
16
mai
2024
  • https://www.ign.fr/institut/espace-presse/cartes-ign-une-application-mobile-pour-comprendre-le-territoire-et-decouvrir-la-france-autrement
Discuter (8 commentaires).
‹ Premier ‹ Précédent … 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 … Suivant › Dernier ›

Revenir en haut de page

Derniers commentaires

  • Re: Nouvelle méfiance
  • Re: Déjà
  • Re: Silverblue 42 -> 43
  • Dépêche ludique
  • Re: Nouvelle méfiance
  • Re: Nouvelle méfiance
  • Re: Nouvelle méfiance
  • correction
  • Re: Garantie contre les vices cachés ?
  • Re: La blague
  • Re: Pourquoi pas ?
  • Re: Un autre fournisseur ?

Étiquettes (tags) populaires

  • intelligence_artificielle
  • merdification
  • grands_modèles_de_langage
  • administration_française
  • windows_10
  • états-unis
  • sqlite
  • microsoft
  • migration
  • cybersécurité
  • jeu_vidéo
  • april

Sites amis

  • April
  • Agenda du Libre
  • Framasoft
  • Éditions D-BookeR
  • Éditions Eyrolles
  • Éditions Diamond
  • Éditions ENI
  • La Quadrature du Net
  • Lea-Linux
  • En Vente Libre
  • Grafik Plus
  • Open Source Initiative

À propos de LinuxFr.org

  • Mentions légales
  • Faire un don
  • L’équipe de LinuxFr.org
  • Informations sur le site
  • Aide / Foire aux questions
  • Suivi des suggestions et bogues
  • Règles de modération
  • Statistiques
  • API pour le développement
  • Code source du site
  • Plan du site