Re: very specific project proposal Re: What does Elon Musk say about free software?

[Paul Sutton]

Hi

The course mentioned below looks really good, thanks,  never heard of 
COQ though,  so the issue we may face is this isn't a mainstream 
language such as Python,  so why teach / promote it.  The point that 
misses is that the course is designed to teach functional programming as 
a skill, that can be transferred.

What we need are people who we can teach,  or at least help to learn, 
there are people out there,  but really difficult to reach out to.

Peer learning is a really good thing,  and it may be the way we need to 
go, as I can't see local providers changing from teaching windows, 
msoffice, and mainstream social media.

Different courses also suit different people, so it is easy to be put 
off when struggling, but moving to a different course provider can make 
a difference,  much easier if you follow a free route via coursera and 
decide that udemy can teach the same material in a way that better fits 
your style of learning.

Not everyone wants formal education, but learning informally can lead to 
a very high level of understanding.

Paul

On 03/05/2022 11:15, Yasuaki Kudo wrote:
> Yes,  and I think it is way bigger than just privacy.   My mother told I 
> must feel much freer when I learned driving.  The same thing goes to the 
> computers and the Internet - while the computers can be programmed by 
> anyone and people can upload anything to their heart's content on the 
> Internet, the prevailing direction is so much the opposite.
>
> The reversing of this trend will be thrilling, educational and world 
> changing!   Yes, education will be the key - and it's not that I am 
> suggesting people go back to university or anything formal (although 
> nothing wrong with that)- we can educate each other!
>
> Combining free software development and mutual education is something 
> that we should do.
>
> To give a specific example, I follow this interactive tutorial with my 
> friend's daughter https://jscoq.github.io/ext/sf/lf/full/Basics.html 
> <https://jscoq.github.io/ext/sf/lf/full/Basics.html>  and this has been 
> mutually beneficial.  Courses like these lend themselves very well to 
> studying in pairs or groups.
>
> If free software development can take advantage of something like this - 
> implementing well specified software (even better if accompanied by 
> proofs?) - maybe we can have a model of development that scales to 
> thousands of programmers😄
>
> -Yasu
>
> > On May 3, 2022, at 17:02, Paul Sutton via libreplanet-discuss 
> > <libreplanet-discuss@libreplanet.org> wrote:
> >
> > 
> >
> > On 02/05/2022 22:42, Yasuaki Kudo wrote:
> > >    Just like the 'Occupy Wall St.', can we have continuous digital
> > >    assemblies where ideas can be discussed all the time (people have
> > >    different schedules and live in various timezones anyway) for the
> > >    digital transformation we are seeking?
> > >    We can use something like:
> > >    [1]https://communitybridge.com/bbb-room/coffee/
> > >    Hot Topics that come to my mind 😄
> >
> > Isn't the idea of Occupy wall street to be visible to the general 
> > population?  We can use bbb to plan things and discuss but the more we 
> > do this as public facing the more effect it may have and also 
> > encourage others to get involved.
> >
> > People join a conversation if it is emotive,  so we can strike a chord 
> > with people on privacy or what the software is doing in the background 
> > and hopefully make people stop, think and start to make developers 
> > accountable.
> >
> > But also change our education system so that it is normal to put 
> > privacy before profits when developing apps / software.
> >
> >
> > Paul
> > _______________________________________________
> > libreplanet-discuss mailing list
> > libreplanet-discuss@libreplanet.org
> > https://lists.libreplanet.org/mailman/listinfo/libreplanet-discuss

--
--
Paul Sutton, Cert Cont Sci (Open)
https://personaljournal.ca/paulsutton/
OpenPGP : 4350 91C4 C8FB 681B 23A6 7944 8EA9 1B51 E27E 3D99

OpenPGP_signature
Description: OpenPGP digital signature