Animé par Julien Durillon - @juuduu
avec la participation de :

• Arnaud Lefebvre - @blackyoup
• Agathe - @agathe
• Adrien Mahieux - @saruspete

Épisode enregistré le 25 septembre 2024

Chapitrage et Liens

00:01:46 : Mais c’est quoi Kernel Recipies  ?
https://kernel-recipes.org

00:06:27 : Nos confs préférées

• Structures des données pour être efficace dans le cache line : https://kernel-recipes.org/en/2024/schedule/assisted-reorganization-of-data-structures/
• https://kernel-recipes.org/en/2024/schedule/how-cern-serves-1eb-of-data-via-fuse/
• Comment l’association Linux est devenue un CNA : https://kernel-recipes.org/en/2024/kernel-and-security/
• https://kernel-recipes.org/en/2024/schedule/case-study-concurrent-counting/
• https://kernel-recipes.org/en/2024/virtme-ng/
• Lire /proc/meminfo https://kernel-recipes.org/en/2024/schedule/all-your-memory-are-belong-to-whom/
• https://kernel-recipes.org/en/2024/schedule/preempt_rt-over-the-years/

00:29:55 : Présentation sched_ext
Écrire un scheduler en bpf pour tester des nouveautés
Ça arrivera dans la 6.12

6.11
00:35:22 : Plein de nouveautés RISC-V
Support de rust en 6.10
Mem hotplug 6.11
00:42:50 : Agner table (un pdf)
00:42:31 : io_uring: bind/listen sur un port
00:44:08 : Sloppy logic analyzer
Un analyzer logique du pauvre, un peu pourri, mais c’est là
Ça permet de debug un système à distance, avec du GPIO

00:48:40 : NULL blk, un driver block en rust pour amorcer la pompe
Ça permet de tester ses applis qui écrivent en block
00:54:00 : Version min 1.78 et on peut compiler avec rust 1.80
00:56:00 : Musique de fin : Katy Perry - I kissed a girl - https://www.youtube.com/watch?v=tAp9BKosZXs

Animé par Julien Durillon - @juuduu
avec la participation de :

• Arnaud Lefebvre - @blackyoup
• Agathe - @agathe
• Adrien Mahieux - @saruspete

Épisode enregistré le 25 septembre 2024

Chapitrage et Liens

00:00:16 : Introduction et présentation des participants

6.9
00:02:14 Les nouveautés de BPF
Arenas : yet another partage de mémoire entre le programme BPF et le userspace. Plus sympa à utiliser que les rings et les maps
Tokens : ça simplifie le fait de donner des accès à des fonctionnalités BPF à d’autres softs. On n’a pas très bien compris l’usage, faites-vous inviter au prochain épisode pour nous l’expliquer

00:09:06 Deprecation d’ext2
Sera cassé en 2038, vous savez pourquoi
Pour le UEFI, on utilise fat32 qui devrait tenir jusqu’à 2107
cf. https://cscie92.dce.harvard.edu/spring2024/slides/FAT32%20File%20Structure.pdf p37

00:16:23 Support AMD Secure Nested Paging
Chiffrement des “shadow page tables” directement dans le proc

00:22:14 Fuse bypass dans certains cas
FUSE (Filesystem in Userspace) permet de monter des FS non supportés par le kernel
Ça fonctionne en lançant un “serveur” fuse
La modif en question permet dans certains cas de bypass le serveur et d’écrire directement dans les fichiers visés en mmap

6.10
00:25:29 mseal
On peut définir des bouts de la ram comme étant readonly. En cas de stack overflow, l’attaquant ne pourra pas aller écrire dedans
Utilisé par chrome pour le sandboxing
Tant que le process tourne, la mémoire reste bloquée

00:30:46 integrity and security to tpm2 support
Trusted Platform Module : du hardware qui permet de faire du chiffrement / stockage de clé ou certifs
On ne peut plus trop écouter ce qui passe électroniquement sur le bus.

00:36:36 Faster io_uring zerocopy perf

00:41:15 numa
Migration des huge pages entre nœuds

00:50:11 : Musique de fin - Lipps Inc. - Funky town - https://www.youtube.com/watch?v=uhzy7JaU2Zc

Animé par Jean-Baptiste KAISER - @ArendSyl
avec la participation de :
- Guillaume ASSIER : @GuillaumeAssier
- Eloi DEMOLIS : @Wonshtrum
- Sylvain WALLEZ : @bluxte

Épisode enregistré le 7 novembre 2023

👋 Venez discuter avec nous sur @clever_cloudFR pour nous dire ce que vous avez pensé de ce nouvel épisode.

➡️ Pour découvrir ou réécouter d’anciens épisodes c’est par ici !

Chapitrage et liens

00:01:52 Google/YouTube et la pub
https://andadinosaur.com/youtube-s-anti-adblock-and-ublock-origin
et https://www.theverge.com/2023/10/27/23934961/google-antitrust-trial-defaults-search-deal-26-3-billion

00:10:43 Facebook et Instagram payants en Europe ?
https://about.fb.com/news/2023/10/facebook-and-instagram-to-offer-subscription-for-no-ads-in-europe/
https://www.linkedin.com/pulse/meta-et-rgpd-pourquoi-labonnement-payant-%C3%A0-facebook-pose-champeau-cp2le

00:14:26 Emulation Risc V sur Linux avec Scratch
https://www.hackster.io/news/linux-on-scratch-is-proven-possible-thanks-to-this-clever-risc-v-emulator-project-815bf0937ec7

00:17:30 Une machine de Turing sous PowerPoint
https://www.youtube.com/watch?v=deswvXZ0Sjc
On The Turing Completeness of PowerPoint (SIGBOVIK)

00:20:20 Brainfuck latex
https://www.youtube.com/watch?v=deswvXZ0Sjc
[DEVFEST Toulouse 2019] Applications de Brainfuck, langage minimaliste mais Turing-complet

00:22:28 Async traits merged in master
https://twitter.com/compiler_errors/status/1713338363460321763
https://releases.rs/docs/1.75.0/

00:25:30 Linux v6.6 avec du nouveau sur eBPF
https://twitter.com/pchaigno/status/1719024426774069701

00:29:17 WebAssembly pour passer du Rust en douce
https://twitter.com/bluxte/status/1717233980485914986

00:38:12 WebAssembly GC dans Chrome
https://developer.chrome.com/blog/wasmgc/

00:49:10 Rust certifié pour les systèmes critiques
https://ferrous-systems.com/blog/ferrocene-open-source/

00:58:10 Tailspin, un petit outil en Rust pour lire des logs colorisés
https://github.com/bensadeh/tailspin

01:03:23 : Musique de fin : Måneskin - HONEY (ARE U COMING?)
https://www.youtube.com/watch?v=ds18Ozzp8h0

Dans cet épisode de rentrée nous parlons de régulation de la concurrence au niveau européen, de Teraform dans Clever Cloud, d'un Smartphone Open Source à 30€, de perte de data suite à une attaque ransomware au Danemark, de l'arrivée de Linux 6.5, de virtualisation et de Java 21, avant de finir en finesse et en musique.

Avec la participation de :

• Julia March
• Julien Durillon
• Jean-Baptiste Kaiser

Épisode enregistré le 4 septembre 2023.

👋 Venez discuter avec nous sur @clever_cloudFR pour nous dire ce que vous avez pensé de ce nouvel épisode.

➡️ Pour découvrir ou réécouter d’anciens épisodes c’est par ici !

Timecode & Liens

00:00:16 - Présentation des participants

00:02:49 On a failli avoir une Américaine à la tête de la régulation/concurrence européenne 😱
https://www.telegraph.co.uk/business/2023/08/27/france-macron-fiona-scott-morton-eu-chief-economist/

retour sur l’affaire scott morton

• https://twitter.com/LiguePastis/status/1681973874093588482 

00:10:19 Hashicorp change de license pour ses produits (exemple: Terraform et Vault)

https://www.hashicorp.com/blog/hashicorp-updates-licensing-faq-based-on-community-questions

00:17:18 insights sur l’inté terraform de Clever Cloud, par JB

00:19:08 À 15 ans, il construit un smartphone libre pour 30€

Digressions sur le rust embedded

https://docs.rust-embedded.org/book/index.html

https://github.com/oxidecomputer/hubris

00:25:41 

https://techcrunch.com/2023/08/23/cloudnordic-azero-cloud-host-ransomware/

• Les backups aussi ont été chiffrés 😬
• Attention au trusted network !
• « on leur a envoyé un mail, mais il a bounce »

00:30:42

https://www.zdnet.com/article/linux-6-5-kernel-arrives-with-exciting-new-features/

• https://kernelnewbies.org/Linux_6.4 

00:34:54

Pourquoi enterprise Linux c’est pas une super bonne idée (Julien)

https://unix.foo/posts/enterprise-linux/

• Stabilité VS sécurité

00:41:25

https://tech.slashdot.org/story/23/08/30/1525238/freebsd-can-now-boot-in-25-milliseconds

• … en l’optimisant pour les micro-VM
• Ça mentionne pas mal les travaux sur les systèmes configurés pour la virtu: tous les drivers sont du VirtIO (en gros)

00:50:04

Une pub pour le boulo de Akanoa https://twitter.com/PrometheeOS 

https://lafor.ge/virtualization-1/

START HERE : https://twitter.com/PrometheeOS/status/1696474722014265355?t=v9_CKiTDMVBDmnJzTXvWcw&s=19

00:53:52

Java 21 arrive / 

• LTS
• String templates !! (en preview, et pas comme les autres)
• SequencedCollections (des méthodes en plus sur certaines collections)
• Unnamed Patterns and Variables
• Unnamed classes
• Pattern matching
• Loom !!!
• Globalement: moins de verbosité !

01:07:36 : Musique de fin - ANDREA LASZLO DE SIMONE — Immensità
https://www.youtube.com/watch?v=l0xh4qopQpk

Dans cet épisode à forte teneur en IA, il est question de la faillite de la SVB et ses conséquences, de Stablecoin, d'Amazon, de Google et Facebook auxiliaire de police, de Grindr qui vend ses data, de Microsoft, de l'intégration de ChatGPT à Bing, de Claude, une IA alternative et prometteuse, de puzzle, de KVM, de Rembobine et de quelques outils bien pratiques avant de finir en musique pour comprendre comment Suprême NTM a en fait tout pompé à Chopin (comme Gainsbourg).

Avec la participation de @waxzce @JuliaMarchh @sirchamallow @juuduu

Épisode enregistré le 16 mars 2023.

👋 Venez discuter avec nous sur @clever_cloudFR pour nous dire ce que vous avez pensé de ce nouvel épisode.

➡️ Pour découvrir ou réécouter d’anciens épisodes c’est par ici !

Timecode & Liens

00:00:16 - Présentation des participants

00:02:16 - Chute de la SVB et conséquences sur les cryptos
https://www.lemonde.fr/idees/article/2023/03/15/chute-de-silicon-valley-bank-les-lecons-d-une-faillite-bancaire_6165566_3232.html 

https://www.theverge.com/23635692/silicon-valley-bank-svb-collapse-explainer-startups-venture-capital 

Stablecoin (for the mentally unstable)
https://www.bloomberg.com/news/articles/2023-03-11/crypto-shaken-as-svb-exposure-depegs-37-billion-stablecoin

https://www.reuters.com/business/finance/us-regulator-taps-piper-sandler-new-bid-sell-silicon-valley-bank-sources-2023-03-15/

00:15:13 - Amazon ferme 8 magasins Go
https://www.cstoredive.com/news/amazon-go-closing-8-of-its-c-stores/644167/

00:17:23 -  Google et Facebook collaborent avec la police américaine dans la lutte contre l’avortement dans les états conservateurs
https://www.businessinsider.com/police-getting-help-social-media-to-prosecute-people-seeking-abortions-2023-2?r=US&IR=T

00:18:31 : un groupe catholique dépense 4 millions de $ pour identifier les prêtres homosexuels
https://www.tf1info.fr/amp/international/colorado-un-groupe-catholique-depense-quatre-millions-de-dollars-pour-identifier-les-pretres-homosexuels-presents-sur-des-applications-de-rencontre-entre-gay-comme-grindr-2250722.html

00:25:32 : Microsoft démantèle l’équipe en charge de l’éthique de l’IA
https://www.platformer.news/p/microsoft-just-laid-off-one-of-its

Ça rappelle le licenciement pour le moins cavalier de Timnit Gebru et Margaret Mitchell de chez Google fin 2020 pour leur participation à ce fameux papier :

https://dl.acm.org/doi/10.1145/3442188.3445922

https://www.wired.com/story/google-timnit-gebru-ai-what-really-happened/

00:34:07 La version de ChatGPT intégrée à Bing est un succès. 
Malgré un début compliqué, le chatbot attire maintenant plus de 100 millions d’utilisateurs actifs par jour sur Edge, le navigateur web de Microsoft 
https://tomsguide.fr/chatgpt-sur-bing-attire-plus-de-100-millions-dutilisateurs-actifs-par-jour

00:37:12 : CLAUDE, une alternative à ChatGPT 
https://www.anthropic.com/index/introducing-claude

A wild competitor appears

• Concurrent de ChatGPT par Anthropic
• L’article présente des retours d’expérience par différents clients (DuckduckGo, Quora, Notion, Robin AI (qui écrit des meilleurs contrats grâce à l’AI…)
• Ils mettent en avant le “harmlessness training”
• “In all the noise about Google's new generative AI features or the mighty GPT-4 launch, you may have missed the launch of Claude, a new chatbot by Anthropic that is meant to rival #ChatGPT
  • created by ex OpenAI researchers
  • backed with $300M by Google
  • Available to end users and developers via API
  • Less likely to produce harmful outputs, easier to converse with, and more steerable

00:41:43 : Linux Puzzle
https://linuxpuzzles.blinry.org/

00:43:24 : KVM prend en charge l'hébergement d'invités Xen
https://qemu-project.gitlab.io/qemu/system/i386/xen.html
https://wiki.qemu.org/ChangeLog/8.0

00:49:54  Rembobine, une newsletter qui lutte contre l’info jetable et prolonge l’impact des enquêtes journalistiques
https://mediarama.io/rembobine-lutte-contre-linfo-jetable-et-prolonge-limpact-des-enquetes-journalistiques/ 

00:51:37 : L’outil cellar migration par Clever Cloud 
https://github.com/CleverCloud/cellar-migration

00:56:32 : Aux États-Unis, le nombre de vols de voitures aurait doublé à cause des tutos TikTok et YouTube https://nextinpact.com/lebrief/71208/aux-etats-unis-nombre-vols-voitures-aurait-double-a-cause-tutos-tiktok-et-youtube (Next Inpact)

00:58:31 : Markdeep, un outil pour rédiger des docs en mark down qui sortent bien dans les navigateurs web
https://casual-effects.com/markdeep/

01:02:00 : Mycli et PGli des outils pour parler à la base
https://www.mycli.net
https://www.pgcli.com/

01:03:56 Le sample de « that’s my people » de NTM : c’est un morceau de Frédéric Chopin
https://twitter.com/yannsamples/status/1635220896070918144
https://www.samples.fr/la-fois-ou-ntm-samplait-le-piano-de-frederic-chopin/
https://www.youtube.com/watch?v=JDZ_DlNfsWk
Pour le réécouter dans le contexte avec les tauliers du 93 :
https://www.youtube.com/watch?v=zKFqbyDR6M4

Dans ce fabuleux épisode réalisé en famille avec Quentin Adam, Marc Antoine Perennou, Julien Durillon et Pierre Zemb, nous parlons de class action sur une entente Google / Apple sur les moteur de recherche, des processeurs Mobile eye by Intel et des annonces AMD et Intel pour de nouveaux procs, de GNUPG qui devient économiquement viable, du bug Exchange de l'an 2022. On vous présente les nouvelles recrues de Clever Cloud et enfin, on vous parle Kernel !

Timecodes & liens :

00:00:00 : Introduction

00:02:03
https://appleinsider.com/articles/22/01/04/class-action-lawsuit-alleges-google-pays-apple-to-stay-out-of-the-search-engine-market - https://twitter.com/techemails?lang=fr

00:07:48
https://www.intel.com/content/www/us/en/newsroom/resources/mobileye-ces-2022.html#gs.ksmzw1
https://fr.wikipedia.org/wiki/Mobileye

00:10:49 : Annonce proc au CES
https://www.theverge.com/2022/1/4/22866452/intel-amd-cpu-ces-2022-core-i9-12900ks-ryzen-processor that's 22 for PCs, eight for gaming laptops, six in a new P series, 10 U series for thin-and-lights and four for cheap laptops and Chromebooks. Intel tease 5.5 GHz

00:13:28 : GnuPG devient économiquement viable
https://linuxfr.org/users/gouttegd/journaux/gnupg-devient-economiquement-viable-et-n-a-plus-besoin-de-dons
Annulation de tous les dons récurrents sur Paypal.
Message disant que c’est plus la peine de donner : https://gnupg.org/donate/index.html
Notamment en se faisant certifier par le Bundesamt für Sicherheit in der Informationstechnik
En parallèle, il y a aussi une nouvelle implem en rust qui, elle, expose une vraie lib : https://sequoia-pgp.org/ (rien de ouf , juste une nouvelle lib/appli)

00:18:51 : Exchange s’est tapé le bug de l’an 2022.
Microsoft releases emergency fix for Exchange year 2022 bug discovered that their servers were no longer delivering email. store the date in a signed int32 variable. Can't convert "2201010001” However, this variable can store only a maximum value of 2,147,483,647, which is less than the new date value of 2,201,010,001 for January 1st, 2022, at midnight.
https://twitter.com/pbeyssac/status/1477370059664281606

00:22:13 Clever Cloud appoints Steven Le Roux as CTO and Cédric Biron as COO to continue its structuring

00:24:50
https://sysprog21.github.io/lkmpg/

00:28:00 : Kernel 5.13
https://kernelnewbies.org/Linux_5.13 landlock

• LSM for sandboxing. Instead of targetting syscalls, targets kernel resources and objects Clang Control Flow Integrity
• Crash on UB detection instead of letting potential attacks go on 00:39:30 Randomising stack address for each syscall - security ++ but perfs –

00:41:18 Apple M1 support

00:45:00 BPF programs can call kernel functions

00:47:30 misc cgroups: basic counter-based limits

00:50:00 KVM SGX support

00:51:25 = SMALL NEWS
A virtio sound driver for improved sound experience on virtualized guests https://www.qubes-os.org/

00:54:10 zstd compressed modules

00:57:55 WWAN subsystem io_uring support for multi shot mode

01:05:20 Musique par Jul(ien) : https://www.youtube.com/watch?v=yESgLltcd-k

Before starting to blog about more technical stuff, I'd like to remember a few basis about UNIX-like systems.

I use a GNU/Linux based distribution most of the time, so I'll speak about this kind of system, but most of it is true for any UNIX-like system such as the BSDs and Mac OS X.

What is GNU/Linux ?

First of all, let's make things clear: I'm talking about "GNU/Linux", not Linux. What is the difference? Linux is "only" a kernel, the heart of your system. Linux is the piece of your OS which will provide you several interfaces to interact with the hardware and to manage your processes. GNU is a set of libraries (a set of utilities for a developer) and tools such as the well known glibc, gcc, tar and sed. GNU is used most of the time on top of Linux, but can be used on top of other kernels, like Debian shown us with its GNU/kFreeBSD version.

GNU/Linux is not a full system, it's only the kernel with only a few set of core components on top of it. This set can be distributed in several different ways, with different team managing them: the GNU/Linux distributions. The most common desktop distributions are:

• Debian GNU/Linux
• Ubuntu GNU/Linux (Which is Debian-based)
• Fedora GNU/Linux

It's better with colors

These distribution provide the GNU/Linux set packaged with a bunch of other software, like a graphical environment (aka desktop/window manager). The most common desktop managers are:

• GNOME
• KDE
• XFCE

But there are also another kind of desktop managers which become more and more popular, like:

• xmonad
• i3
• awesome

They all run on top of a graphical server which aim is to display what we ask it to: X11. A new compositor (a part of a graphical server) is raising: wayland. Wayland will allow application to be a lot more flexible and will improve performances, but it will be lazier (applications will have to do more stuff by themselves).

The X.org server, wayland, and all related libraries and tools are part of the freedesktop project. Freedesktop aims to provide a free and opensource grapical user experience to everyone.

A GNU/Linux system structure.

On a UNIX-like system, everything is a file. A folder is just a specific kind of file, which can contain some other files. Each piece of harware stuff is seen as a file. You write and read this file to interact with the real hardware. All of these files are stored in a tree respecting the Filesystem Hierarchy Standard.

• / is the parent folder of everything, we call it "slash".
• /boot is the folder where everything needed by the bootloader (The menu where you select which OS to start) is stored.
• /dev contains all the files corresponding to hardware devices or core functionnalities.
• /etc contains all the system-wide configuration files.
• /home contains the personnal directories of the users.
• /media used to be the place where external storage devices used to be automounted (the place where we accessed their files).
• /mnt is the place where we explicitely mount external (or internal) storage devices.
• /opt is the place where we place software we install system-wide using automatic installers
• /proc contains data specific to currently running processes
• /root is the home directory of "root" (administrator)
• /tmp is the place where are stored temporary data
• /var is the place where will be stored variable content such as logs and databases content
• /run is the folder used by software to store runtime specific data
• /run/media is the replacement to the deprecated /media
• /lib is the place where are stored libraries (there also can be /lib32 and/or /lib64)
• /bin is the place where the executables are stored
• /sbin is the place where administrative executables are stored
• /usr (unix shared resources) is a legacy directory where we used to put all the binaries, libraries and data which

were not necessary to boot the system, when the main hard drive was too little to store everything. It's now becoming the standard place in which are moved /bin, /sbin and /lib.

There is now a standard filesystem hierarchy for data stored in each user home directory, guided by freedesktop: The XDG base directory specification.

The GNU/Linux boot process

When you start your computer, you (usually) get to a bootloader. This bootloader asks you to select which system you want to start. What you actually do when you select an entry is to select a couple of informations:

• A kernel (you can have several ones installed at the same time, but you only boot using one of them).
• The part of your hard drive where your system lays.
• Extra configuration for your kernel.

When your kernel has successfully initialized everything, it then gives the power to a root process, comonly called "init", which goal is to track all the other processes that you and your system will run. The init process will then reach a few breakpoints (which can be called runlevels, or targets). To each of these breakpoints correspond a list of process that must be started. This is how all the root components of your system are started in the right order. One of the last things to start is the graphical interface.