Le but de cet article est de vulgariser et d’expliquer pourquoi le modèle historique « un thread par connexion » s’effondre à grande échelle, pourquoi ses premiers remplaçants select et poll ne suffisaient pas, et surtout comment epoll fonctionne réellement, jusque dans les structures de données du kernel.

Un deep dive sur les solveurs CP-SAT (hybride SAT + programmation par contraintes + branch-and-bound), illustré par un scheduler réel développé pour LATEB (le planning des staffs bénévoles de ses soirées).

Les systèmes embarqués sont au cœur de l’aéronautique moderne.

Introduction simplifiée au design d’un VCO