[gull] C'est énorme!

The End of the Privacy of Digital Correspondence: https://www.patrick-breyer.de/en/posts/messaging-and-chat-control/ Rien de moins qu'une tentative de l'U.E. d'utiliser l'email et le chat comme outil d'espionnage à large échelle à des fins de contrôle social (la Chine semblant faire rêver la

Re: [gull] C'est énorme!

insulté des hauts fonctionnaires du monde sécuritaire vaudois. Bon j'avoue le les ait bien allumés, il faut dire. On ven., 2022-02-11 at 14:38 +0100, Philippe Strauss via gull wrote: > The End of the Privacy of Digital Correspondence: > > https://www.patrick-breyer.de/en/posts/messaging

Re: [gull] Linphone - un conseil pour compiler

On mer., 2022-01-19 at 18:23 +0200, Frédéric Dumas via gull wrote: > Bonjour à tous ! > > Il est presque sûr que quelqu’un comprendra mieux que moi et pourra > me conseiller. > > Je cherche à compiler le client SIP open source Linphone [1] pour > Ubuntu 32bits. L’exécutable binaire mis à

[gull] cppfront/cpp2

Il y a un ponte "software architect" chez Microsoft qui a un projet super intéressant nommé cppfront, une refonte complète de la syntaxe de C++ incluant/enforçant les core guideline par défaut, C++ en a bien besoin, ceux qui s'intéressent à la progr. devrait suivre ces deux conférences, elles

Re: [gull] [SPAM] Re: Duckduckgo

On mer., 2022-05-25 at 19:30 +0200, Daniel Cordey via gull wrote: > > Le 25.05.22 à 17:48, Philippe Strauss via gull a écrit : > > fragment de "imagine" de john lennon, cela traduit, en français: > > "rien > > d'intéressant" > > zarb! > &g

[gull] twitter, vmware

on est pas à nouveau dans une bulle internet avec twitter valant 44 milliards et VMware 61 milliards?? me paraît de ces chiffres énnnoormes! (mais chuis pas économiste). la publicité me paraît tellement sur-évaluée!

Re: [gull] [SPAM] twitter, vmware

On jeu., 2022-05-26 at 20:41 +0200, Daniel Cordey via gull wrote: > > Si, si... cela fait un moment que l'on rejoue le boum des dot-com > (mars > 2000). Hé super ton explication Daniel, merci beacoup!! Donc je retiens: - injection de liquidités lors de la crise covid - gros épargnants

[gull] waouw, un gars qui a (enfin) tout compris en programmation!

ça sent super bon les idées de ce type: https://github.com/magmide/magmide à suivre absolument! ___ gull mailing list gull@forum.linux-gull.ch https://forum.linux-gull.ch/mailman/listinfo/gull

Re: [gull] Duckduckgo

On mer., 2022-05-25 at 13:45 +0200, Marc SCHAEFER via gull wrote: > On Wed, May 25, 2022 at 09:37:18AM +0200, Daniel Cordey via gull > wrote: > > niveau de recherche, mais ça utilise Bing qui n'est clairement pas > > comparable à Google et qui est bien plus biaisé que Google; entre > > autre :-( >

[gull] The End of the Privacy of Digital Correspondence

https://www.patrick-breyer.de/en/posts/messaging-and-chat-control/ En trois mots: une A.I. scannant _TOUS_ les messages de chat et messageries, ce afin de transmettre les contenus pédocriminels aux autorités. Dans un premier temps tout du moins. Technologiquement une sacrée cochonnerie qui peut

Re: [gull] The End of the Privacy of Digital Correspondence

On mar., 2022-07-05 at 17:56 +0200, PirBoazo via gull wrote: > hello, > > Même le conseil fédéral s'en emeut. > > > https://www.ictjournal.ch/news/2022-06-27/le-conseil-federal-dit-sa-perplexite-quant-au-projet-europeen-de-surveillance-des > > > A+ > > Pierre Hé dit-donc, bonne nouvelle,

Re: [gull] The End of the Privacy of Digital Correspondence

On lun., 2022-07-11 at 13:24 +0200, PirBoazo via gull wrote: > Bonjour, > > Philippe tu as dis > > > Bah ça a très peu de chance de passer, heureusement. > > Et bien détrompez-vous, les premiers votes montrent que le > parlementaires sont plutôt pour. > > Lire cet article de Patrick.Breyer sur

Re: [gull] kervices kekrets

> _en_ exagérant un petit peu, pas _un_ exagérant... > > second message offtopic sur le sujet des "sévices crétins", j'ai > jamais > eut de paroles ou d'écrit sur ce sujet, sauf en juin 2001 chez le RH > Lausannois: > > - suis-je seul sur la liste à endurer un concept qui voudrait se > faire >

Re: [gull] The End of the Privacy of Digital Correspondence

On mer., 2022-07-06 at 12:55 +0200, Marc SCHAEFER via gull wrote: > Hello, > > On Wed, Jul 06, 2022 at 12:25:05PM +0200, Philippe Strauss via gull > wrote: > > > du vrai end-to-end encryption -- plutôt positif, non? > > > > je ne comprends pas ton troisième

Re: [gull] The End of the Privacy of Digital Correspondence

Savez-vous que je ne vis plus dans un appartement protégé, mais dans un EMS pour malades mentaux? Génial, ce pays, la suisse, j'ai l'impression d'être "entrepris" par la réincarnation d'adolphe hitler, un exagérant un petit peu. https://www.strauss-engineering.ch/ un lavage de cerveau, une

[gull] kervices kekrets

On mer., 2022-07-06 at 13:53 +0200, Philippe Strauss via gull wrote: > Savez-vous que je ne vis plus dans un appartement protégé, mais dans > un > EMS pour malades mentaux? > > Génial, ce pays, la suisse, j'ai l'impression d'être "entrepris" par > la > réincarnation

Re: [gull] The End of the Privacy of Digital Correspondence

On mer., 2022-07-06 at 12:07 +0200, Marc SCHAEFER via gull wrote: > Hello, > > On Tue, Jul 05, 2022 at 05:08:18PM +0200, Philippe Strauss via gull > wrote: > > En trois mots: une A.I. scannant _TOUS_ les messages de chat et > > messageries, ce afin de transmettre les co

[gull] choix professionnels

c'est devenu la mode des nouvelles angoissantes quant au devenir, ma contribution (in english): https://www.theregister.com/2022/07/18/electrical_engineers_extinction/ ___ gull mailing list gull@forum.linux-gull.ch

Re: [gull] Laptop Linux hidpi

ng.ch/ >> >> Quand vous acheter dans ce commerce, vous pouvez réparer et ouvrir vos >> ordinateurs sans perdre la garantie. Je ne sais pas si vous trouverez >> l’ordinateur portable que vous cherchez dans le catalogue >> >> Meilleur salutations >> >> mparche

[gull] Laptop Linux hidpi

Hello les linuxiens, Je cherche un bon laptop Linux compatible avec un écran hidpi, pkoi pas un arm mais ça limite drastiquement le choix j imagine, disons plutôt avec un cpu amd, que avez vous à me recommander? Le moins cher possible, suis un non working poor, Remember... Merci,

Re: [gull] Laptop Linux hidpi

ous acheter dans ce commerce, vous pouvez réparer et ouvrir vos >ordinateurs sans perdre la garantie. Je ne sais pas si vous trouverez >l’ordinateur portable que vous cherchez dans le catalogue > >Meilleur salutations > >mparchet > >> Le 23 août 2022 à 11:25, Philipp

[gull] Rust et tuto. d'un nouveau langage de programmation en général

Hello les pingouins (the penguins…), Trôôôp bien ce tutoriel de Rust, _LE_ nouveau truc bien en terme de langage de programmation: https://fasterthanli.me/articles/a-half-hour-to-learn-rust Surtout tutoriel destiné à des personnes

Re: [gull] Commentaires avisés au sujet de Rust

J'ai pas le temps de répondre ce soir, juste ceci, la suite durant le W.E.: - les goûts, les couleurs, les opinions sur les langages de programmation, c'est pas x-files, c'est pas inexplicable, c'est comme tellement de chose une histoire de mémoire, d'expériences, dans tous les sens de ces

Re: [gull] Commentaires avisés

Une petite quote de Donald Knuth qui m'avais fait penser que j'avais raison à pas trop approfondir C++, de tête: "whenever the designers of C++ had many ways of implement a feature, they choose all, so the language is too baroque at my taste". Le bouquin "a tour of c++" jette les bases du

Re: [gull] Commentaires avisés au sujet de Rust

Ah encore une chose, après tant d'année à pester contre C++, je suis enfin tomber sur LE bouquin qu'il me fallait afin de m'y mettre un jour: "a tout of C++" de Strousup. Pour rust, on m'a recommandé "Rust for rustaceans", comme livre pour personne sachant programmer, ayant quelque base en

Re: [gull] Commentaires avisés au sujet de Rust

"A Tour of C++" de Bjarne Stroustrup, désolé pour les deux typos: https://stroustrup.com/tour3.html on trouve l'édition précédente en pdf, qualité vectorielle sortant de chez l'éditeur librement sur le net. bon livre. elle est morte cette liste... Le 03.12.22 à 14:33, Philip

Re: [gull] Commentaires avisés au sujet de Rust

Ce blogueur semble expérimenté, beaucoup plus que moi, en progr., je vais pas le contrer, surtout pas à l'aveugle surtout que j'ai fais mes premières 100 lignes de rust récemment, et c'est tout, j'ai beaucoup de temps libre mais des prises de choux chronophages dans ma vie... Ses arguments

Re: [gull] SBC

Le 15.12.22 à 08:56, Will van Gulik via gull a écrit : Interessant, j'ai aussi fait une upgrade / downgrade / swap ces jours : Je tournais mon routeur / serveur de VM chez moi sur un Ryzen 5 5600x mid-tower et je suis passé à un (SOC) Epyc 3251, dans un Supermicro E301-9D-8CN4. C'est

Re: [gull] SBC

https://en.wikipedia.org/wiki/List_of_CPU_power_dissipation_figures Ce sont des CPU d'ordis portables en fait à 10-15W au repos. Bon à savoir, mon prochain serveur perso ce sera ce genre de dissipation, pas plus. Le 15.12.22 à 08:56, Will van Gulik via gull a écrit : Interessant, j'ai aussi

Re: [gull] [SPAM] Re: SBC

Le 18.12.22 à 00:25, Daniel Cordey via gull a écrit : Le 17.12.22 à 17:40, Philippe Strauss via gull a écrit : https://en.wikipedia.org/wiki/List_of_CPU_power_dissipation_figures Ce sont des CPU d'ordis portables en fait à 10-15W au repos. Bon à savoir, mon prochain serveur perso ce sera ce

Re: [gull] small & embedable is beatifull

ARM NXP imx8 : https://www.phytec.fr/produits/soms-system-on-modules/imx-8 https://www.variscite.com/product/system-on-module-som/cortex-a53-krait/dart-mx8m-plus-nxp-i-mx-8m-plus/ https://www.variscite.com/product/system-on-module-som/cortex-a53-krait/var-som-mx8m-mini-nxp-i-mx8m-mini/

[gull] small & embedable is beatifull

AMD : https://www.alibaba.com/product-detail/Topton-S500-NUC-Gaming-Mini-PC_1600201621329.html?spm=a2700.shop_plser.41413.6.2eaf7559tbNVpV

[gull] startup

(enfin plutôt bootstrap...) J'ai un exemple de code OpenGL ressemblant à cela: https://plplot.sourceforge.net/examples.php?demo=11 2ème image Et j'aimerai arriver à ceci: https://plplot.sourceforge.net/examples.php?demo=08 1ère image En ajoutant ces deux types d'éclairage:

Re: [gull] startup

carte son. License libre évidemment. Le 19.12.22 à 09:21, Philippe Strauss via gull a écrit : (enfin plutôt bootstrap...) J'ai un exemple de code OpenGL ressemblant à cela: https://plplot.sourceforge.net/examples.php?demo=11 2ème image Et j'aimerai arriver à ceci: https://plplot.sourceforge.net

Re: [gull] small & embedable is beatifull

at 04:56:12PM +0100, Philippe Strauss via gull wrote: [ ... ] J'ai pas mis l'ENORME Epyc à Will car les bytes supplémentaires dans ce message auraient consommés trops de joules. Tu nous raconte, Will, ce que tu connectes à 25Gigabit/Second pour ton informatique personnelle? Ou pour le boulot

Re: [gull] SBC

regardez le petit bijou que j'ai trouvé cet aprèm.:

[gull] SBC

Qu'avez-vous dans vos bookmarks comme single-board computer plus puissant qu'une raspberry pi 4B, genre AMD Ryzen? Avec un boitier dissipant prévu pour la carte? J'ai ceci: https://www.hardkernel.com/shop/odroid-h3-plus/

Re: [gull] Commentaires avisés au sujet de Rust

Personnellement j'ai fait Pascal -> C -> Python -> OCaml -> Rust, toujours pour faire des petites choses en audionumérique. Je parle de numcomp, mais c'est le domaine encore plus restraint de l'audionumérique qui a toujours été le seul vrai truc m'attirant vers la progr. Borland pascal était

Re: [gull] conso de chatGPT

er que les consommations de puissance de calcul des modèles de traitement du langage dépendent de plusieurs facteurs, tels que la taille du modèle, les paramètres utilisés pour effectuer la requête, et la complexité de la demande. On 20 Jan 2023, at 11:14, Philippe Strauss via gull wrote: requê

Re: [gull] conso de chatGPT

y en a qui parlent de lier wolfram alpha (que je connais que de très loin, jamais utilisé) à chatGPT. Bonne piste, mais bonjour "l'adaptation d'impédance" entre les deux systèmes. Le ven., janv. 20 2023 at 11:58:45 +01:00:00, Philippe Strauss via gull a écrit : mouai lorsque il

Re: [gull] [SPAM] naaan c'est pas de la pub pour *ntel outside!

Ah pas évident la progr. parallèle. Je voulais parallélisé le "differential evolution", un algo. d'optimisation, un solver, jamais trouvé comment saucissoné le truc pour faire les choses bien sauf sur un point évident. Sur mon destop, j'ai ces trois patterns: 1. utilisation bureautique. max

Re: [gull] [SPAM] Re: [SPAM] naaan c'est pas de la pub pour *ntel outside!

ah mais attends qu'on se comprenne bien, la parallélisation par processus fonctionne bien, et même pas besoin réélement de ParallelGcc concernant la compilation, make -j suffit amplement. Les serveurs idem, avec un peu de multithreading ici et là. regarde, même en surface, intel ISPC pour le

Re: [gull] [SPAM] Re: [SPAM] naaan c'est pas de la pub pour *ntel outside!

1. utilisation bureautique. max 5 coeurs sont utilisés en simultané, CPU idle la plupart du temps. Oui, en effet. Mais c'est sans doute l'une des situation où l'on arrive à tirer le mieux parti des CPUs multi-coeurs. 2. utilisation multimedia Oui, mais là je ne vois pas un vrai

Re: [gull] [SPAM] Re: [SPAM] naaan c'est pas de la pub pour *ntel outside!

Au contraire il me semble que c'est bien la bureautique qui bénéficie le moins des multicore, pour preuve intel et ses performance core contre efficiency core. mais sous linux il n'y en a pas réélement besoin, libreoffice est pas bien gourmand. je connais pas le domaine de la base de donnée

Re: [gull] [SPAM] Re: [SPAM] Re: [SPAM] naaan c'est pas de la pub pour *ntel outside!

Ah les I/O avec la RAM, c'est claire qu'il y a un bail que c'est le goulot d'étranglement, sans quoi il n'y aurait pas besoin de cache. J'y connais pas grande chose en DB, mais ce projet sent bon de loin point de vue perf et mise à l'échelle (scalability):

[gull] progr. multicore

raaa j'ai un petit augusto pinochet qui coupe mon internet, pas compris si ce message est passé ou pas. - Ah pas évident la progr. parallèle. Je voulais paralléliser le "differential evolution", un algo. d'optimisation, un solver, jamais trouvé comment saucissoner le truc pour faire les

[gull] conso de chatGPT

on dit qu'une requête google consomme l'électricité équivalente à se faire chuaffer une tasse de thé, qqun à vu qqchose pour une requête chatgpt moyenne, disont retournant deux paragraphe ou trois de texte? bien évidemment en comptat le jus pour l'apprentissage. merci, aplus.

Re: [gull] Ken Thomson

retour à la maison, une maison rénovée par torvalds, stallman, et une cralée d'ouvriers du bâtiement :) Le jeu., mars 16 2023 at 10:41:35 +01:00:00, Daniel Cordey via gull a écrit : Ken Thomson abandonne Apple et choisit Debian...

Re: [gull] [SPAM] Re: [SPAM] Re: Truc et astuces: nice et ionice (rappel)]

J'imagine, mais ne suis pas 100% sûr que le patch utilisé par ubuntu est celui-ci: mais je ne trouve pas de confirmation chez ubuntu. à ma connaissance cela a été "mainliné" dans 6.1. salutations. Le mar., mars 7 2023 at

[gull] des ptits djeuns qui n'en veulent...

de la surveillance d'internet de l'UE: ___ gull mailing list gull@forum.linux-gull.ch

Re: [gull] calibration de couleurs

je me réponds à moi même, tant pis. les package principaux à investiguer pour la calibration de couleurs sont: - displaycal - gnome-color-manager - argyll a+ Le sam., mars 4 2023 at 10:15:38 +00:00:00, catseyechandra via gull a écrit : Qqun connaissant l'état de l'art en terme de

[gull] bon cours et tutos

30 days of Python programming : Python and PyQt: Building a GUI Desktop Calculator : 30 days of JavaScript programming : Beej's Guide to C

Re: [gull] gap: journalctl vs ps

un deux deux corrige ses timestamps d'après NTP non? l'autre reste du le temps de ta RTC avant le démarrage de NTP. à mon avis. Le lun., févr. 20 2023 at 08:34:38 +01:00:00, felix via gull a écrit : Bonjour, Question aux experts à propos de journalctl: Si je fait: $ sudo journalctl -k -b

[gull] debian: ...setting package to manally installed.

Sous debian, quelle commande me permet d'obtenir la liste des paquets "manually installed", les têtes de dépendances sans les dépendances, sous macports ce sont les paquets "requested", soit ceux (sous debian ou ubuntu) pour lesquels ont fait apt install nom_du_paquet.

Re: [gull] Truc et astuces: nice et ionice (rappel)

y a ce truc là qui a l'air pas mal pour les mecs (ou filles) comme moi qui n'aime pas le langage bash ou shell en général: pas encore essayé mais l'idée me plait bien. PLEUR PAS FELIX Y A ENCORE 20 ANS DE JOB A ECRIRE DU BASH POUR DES CLIENTS. Le ven., mars 3 2023 at

[gull] antivirus toutes plateformes

c'est quoi vos recommendations d'anti-virus ciblant surtout windows, avast et avg m'on l'air d'être passé du côté obscure de la force, je viens de donner un coup de main à une voisine, cela faisait un bail que j'avais pas touché ni à windows, ni aux antivirus, cela ne donne pas envie mais

[gull] pour petit serveur économe

toujours sur la veine des petits PC économes avec de la "réserve de gaz sous le pied" tout de même: - AMD Ryzen 5800U : 6,7W au repos la gamme des NUCs asrock est bien, avec des Intel tout récents:

Re: [gull] [SPAM] pour petit serveur économe

LOPS/W des apple M1 et M2 à vrai dire même si je ne vas pas acheter apple désormais après mes expériences avec le chip T2. Le sam., févr. 4 2023 at 14:12:31 +01:00:00, Daniel Cordey via gull a écrit : Le 03.02.23 à 10:13, Philippe Strauss via gull a écrit : toujours sur la veine des pet

[gull] la loi européenne sur le chat et le mail

cela s'annonce mal, p*tain ça pue à l'horizon... ___ gull mailing list gull@forum.linux-gull.ch https://forum.linux-gull.ch/mailman/listinfo/gull

Re: [gull] Best-of de mon surf de ces derniers jours

: <https://tails.net/> C'est intéressant, à garder de coté! Pour ce qui est de nix, je dois dire que cela m'a l'air très orienté developpeurs... Je ne suis pas sûr que cela me soit très utile à mon stade... Le Sat, Mar 16, 2024 at 08:29:09PM +0100, Philippe Strauss via gull a

[gull] Best-of de mon surf de ces derniers jours

Open source is not insecure Over 100,000 Infected Repos Found on GitHub Nvidia + Wayland is still an absolute dumpster fire!

Re: [gull] Imprimante samsung sous debian

oui c'est bien le driver universel samsung. il fonctionne pour une cp-380 ou 480 (laser couleur) mais pas avec la scx-3205. cette scx-3205 a eut fonctionner avec stock ubuntu 23.04 sauf erreur. On Tue, Mar 12 2024 at 07:39:50 PM +01:00:00, felix via gull wrote: Bonjour, Je confirme: En bas

[gull] GoFetch: attaque "side channel" sur les processeurs apple

Unpatchable vulnerability in Apple chip leaks secret encryption keys https://arstechnica.com/security/2024/03/hackers-can-extract-secret-encryption-keys-from-apples-mac-chips/ New chip flaw hits Apple Silicon and steals cryptographic keys from system cache — 'GoFetch' vulnerability attacks

[gull] Grosse tentative de backdoorer les ssh de debian et redhat

https://www.openwall.com/lists/oss-security/2024/03/29/4 pô mal dans le genre. ___ gull mailing list gull@forum.linux-gull.ch https://forum.linux-gull.ch/mailman/listinfo/gull

Re: [gull] Grosse tentative de backdoorer les ssh de debian et redhat

12:24 PM, Marc SCHAEFER via gull wrote: Hello, On Fri, Mar 29, 2024 at 07:01:49PM +0100, Philippe Strauss via gull wrote: https://www.openwall.com/lists/oss-security/2024/03/29/4 Et quelqu'un a analysé temporellement ce qui s'est passé. Y compris des faux comptes qui poussent pour qu'une personne

Re: [gull] Grosse tentative de backdoorer les ssh de debian et redhat

On 3/31/24 4:26 PM, Marc SCHAEFER via gull wrote: On Sun, Mar 31, 2024 at 04:03:53PM +0200, Marc SCHAEFER via gull wrote: https://www.nongnu.org/lzip/xz_inadequate.html Cette URL est considérée comme "FUD" (Fear, Uncertainty, Doubt) par des contributeurs de l'URL précédente. Et surtout, ce

Re: [gull] alert! /dev/sd.. does not exist

Bonjour Frédéric, Peux-tu poster le contenu de /boot/grub/grub.cfg? Salutations. On 27.03.2024 19:01, Frederic Dumas via gull wrote: Bonjour messieurs les experts, Après un changement de carte mère, je parviens à booter une machine Linux Mint depuis son OS sur SSD interne, **à condition**

[gull] Liens sécurité

Attack Using Fake Python Infrastructure https://www.theregister.com/2024/03/25/python_package_malware/ https://checkmarx.com/blog/over-170k-users-affected-by-attack-using-fake-python-infrastructure/ Millions of Americans caught up in Chinese hacking plot - US

[gull] Je surf pour vous - La newsletter IT de rififi-la-praline/le-praliné - 2024-04-10

Software vendors dump open source, go for the cash grab | Computerworld https://www.computerworld.com/article/3714821/software-vendors-dump-open-source-go-for-the-cash-grab.html Open Source pioneer Perens says it's time to contemplate a Post-Open world

[gull] Je surf pour vous - La newsletter IT de rififi-la-praline - 2024-04-17

Oh My Git! - Apprendre à utiliser Git https://ohmygit.org/ Desktop Environment – Deepin Technology Community https://www.deepin.org/en/dde/ unPhone: An Educational Platform Featuring LoRa, WiFi, BT, Touchscreen, and LiPo Battery

Re: [gull] Requêtes SQL en LIKE ...% avec psycopg3

ppe Strauss via gull wrote: Je suis en train d'écrire en python une toute petite API JSON pour une appli. web d'archive de photos mycologique. En support à l'API principale, j'ai deux petites partie qui permettent un autocomplete d'une formulaire de recherche par genre et espèce. Le code (pour

[gull] Requêtes SQL en LIKE ...% avec psycopg3

Je suis en train d'écrire en python une toute petite API JSON pour une appli. web d'archive de photos mycologique. En support à l'API principale, j'ai deux petites partie qui permettent un autocomplete d'une formulaire de recherche par genre et espèce. Le code (pour le framework Flask) d'un de

Re: [gull] [SPAM] Re: Requêtes SQL en LIKE ...% avec psycopg3

Merci à Marc et Daniel pour leur éclairages, hier soir j'ai posté la même question sur la mailing-list de psycopg, le binding intelligent de postgresql pour python, une réponse était très bonne: -- Your code seems safe to me. Because the `%` is in the value, not in the query, I don't think

[gull] Je surf pour vous - La newsletter IT de rififi-la-praline - 2024-04-25

Linus Torvalds on Security, AI, Open Source and Trust - The New Stack https://thenewstack.io/linus-torvalds-on-security-ai-open-source-and-trust/ TS | Lions OS: secure – fast – adaptable https://trustworthy.systems/publications/papers/Heiser_24:eo.abstract seL4: The proof of functional