Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Chris Marusich
Hi Pjotr,

Pjotr Prins  writes:

> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter?  That would be very helpful.

I have one VGA -> HDMI converter, which I'll bring.  It requires one
Type-A USB port for power.

So, you plug it in to a VGA port and a USB port on your computer, and
then you connect an HDMI cable to its HDMI end.  Works like a charm!

-- 
Chris


signature.asc
Description: PGP signature


Re: Call for talks: Minimalistic Languages Devroom at FOSDEM 2019

2019-01-22 Thread Chris Marusich
Hi Pjotr,

I can donate some time on Saturday to help if you still need it.  Please
let me know.

-- 
Chris

Pjotr Prins  writes:

> Dear all, 
>
> On Saturday we have a minimalistic devroom with an interesting agenda:
>
>   https://fosdem.org/2019/schedule/track/minimalistic_languages/
>
> we need one or two volunteers to operate/monitor the video/audio
> recording and two volunteers to help me with the room itself (get
> speakers started, keep people out of the room when full). 
>
> You can E-mail me here or privately.
>
> Pj.
>
> On Wed, Nov 21, 2018 at 07:36:23PM +0100, Pjotr Prins wrote:
>> Hello Guilers & Guix!
>> 
>> Another heads up. Deadline for submitting talks is 25th - i.e., this
>> weekend. We invite talks on your work in Mes, Guix or Guile and
>> related. FOSDEM is a great place to advertise Guix and the more 
>> talks we have the better! Don't be shy, we all started once giving a
>> first talk.
>> 
>> So far, we have 8 talks. If you have an idea for a talk you can post
>> it to us and we enter it into the system.
>> 
>> Pjotr & Manolis
>> 
>> 
>> Guile, Guix, and Lua fellows are organizing the “Minimalistic Languages”
>> track at this year’s FOSDEM:
>> 
>>   https://fosdem.org/2019
>> 
>> Consider submitting a talk about what you’ve been hacking on!
>> 
>> * Minimalistic Languages Devroom call for talks @ FOSDEM 2019
>> 
>> (posted at https://libreplanet.org/wiki/FOSDEM2019-devroom-minimalism)
>> 
>> We are excited to announce a devroom on minimalistic languages (with
>> big ideas) at FOSDEM on Saturday February 2nd 2019!
>> 
>> FOSDEM is one of the most important free software conferences and is
>> hosted annually at Université libre de Bruxelles in Brussels,
>> Belgium. FOSDEM is fantastic, check last year's schedule for Saturday
>> (https://archive.fosdem.org/2018/schedule/day/saturday/)
>> 
>> Minimalism matters. Minimalism allows for smaller systems that take
>> less resources and consume less energy. More importantly, free and
>> open source minimalism allows for secure systems that are easy to
>> understand. Finally, we believe that minimalism is educational and
>> brings back the fun of the early days of computing where people learn
>> to understand systems from the ground up. Speakers will be asked to
>> accentuate the educational side of their projects.
>> 
>> We have a room Saturday 2 February 2019. We want to invite you to
>> submit a talk on the use of minimalistic languages that fits that
>> description. We are especially happy to receive talk submissions from
>> members of any underrepresented groups.
>> 
>> If you have something you’d like to share with your fellow developers,
>> please head to pentabarf at
>> 
>>   - https://penta.fosdem.org/submission/FOSDEM19
>> 
>> The deadline for submission is November 25th. If you have a FOSDEM
>> pentabarf account from a previous year, please use that
>> account. Otherwise add one on
>> https://penta.fosdem.org/user/new_account. Reach out to
>> pjotr.public...@thebird.nl if you run into any trouble.
>> 
>> When submitting your talk make doubly sure to select "Minimalistic
>> Languages devroom" as track (if you don't we won't find it), and
>> include the following information:
>> 
>>   * The title and subtitle of your talk
>>   * A short abstract of one paragraph
>>   * A longer description if you wish to do so
>>   * Links to related websites/blogs etc
>> 
>> Let's make this a fun day!
>> 
>> ** Organisers
>> 
>> Pjotr Prins, Manolis Ragkousis, Hisham Muhammad, Ricardo Wurmus,
>> Ludovic Courtès, Jan Nieuwenhuizen, Alex Sassmannshausen, and Amirouche 
>> Boubekki
>> 
>> ** Code of conduct
>> 
>>   - https://fosdem.org/2019/practical/conduct/
>> 
>> ** Original proposal
>> 
>>   - https://libreplanet.org/wiki/FOSDEM2019-devroom-proposal
>> 
>> ** Important dates:
>> 
>>   - Nov 25th 2018:  submission deadline for talk proposals
>>   - Dec 17th 2018:  announcement of the final schedule
>>   - Feb  2nd 2019:  FOSDEM!
>> 
>> 
>> > 
>> 


signature.asc
Description: PGP signature


Re: Now changing ci.guix.info to CloudFront

2019-01-22 Thread Chris Marusich
Hi Guix,

This change is complete and verified.  Substitutes are now being
successfully served via ci.guix.info, over both HTTP and HTTPS like
before.  You can also continue to access Cuirass via the same website.

Note that due to DNS propagation delay, it may take a few hours before
you start seeing ci.guix.info resolve to the new CloudFront name (which
is d3j65v8i7zliij.cloudfront.net).

If you are curious to see how this has all been set up, please feel free
to peruse the contents of the "cdn" directory in the maintenance.git Git
repository here:

https://savannah.gnu.org/git/?group=guix

Happy hacking!

-- 
Chris


signature.asc
Description: PGP signature


Re: Article: Playing with Guix REPL from scratch

2019-01-22 Thread Chris Marusich
Ludovic Courtès  writes:

> Currently one has to ask on this mailing list and Ricardo, myself, or
> really anyone with access to fencepost.gnu.org can adjust accordingly.

Please add me!  Thank you in advance.

-- 
Chris


signature.asc
Description: PGP signature


Now changing ci.guix.info to CloudFront

2019-01-22 Thread Chris Marusich
Hi Guix,

As previously announced [1], I am now changing ci.guix.info to serve
requests via CloudFront.  I will send a follow up email once the change
is complete and verified.  There should be no downtime during the
change.

Footnotes: 
[1]  https://lists.gnu.org/archive/html/guix-devel/2019-01/msg00291.html

-- 
Chris


signature.asc
Description: PGP signature


Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Laura Lazzati
On Sun, Jan 20, 2019 at 10:26 AM Pjotr Prins  wrote:
>
> FOSDEM from this year only supports HDMI.
>
> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter?  That would be very helpful.
I don 't have an adapter, but I have a cable. You plug it to your VGA
computer and in the other end you have HDMI. Does it work for you?
>
> Also it may be an idea to stream some of the GNU Guix days. These days
> that can be done with phones. Anyone interested in helping out?
>
> Pj.
>



Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Gábor Boskovits
Hello,

Pjotr Prins  ezt írta (időpont: 2019. jan.
22., K, 19:50):
>
> On Tue, Jan 22, 2019 at 01:16:33PM +0200, Efraim Flashner wrote:
> > On Tue, Jan 22, 2019 at 10:53:43AM +0100, Pjotr Prins wrote:
> > > No one can help out here?
> > >
> > > On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > > > FOSDEM from this year only supports HDMI.
> > > >
> > > > For those of us on older laptops, can anyone bring a VGA -> HDMI
> > > > converter?  That would be very helpful.
> > > >
> > > > Also it may be an idea to stream some of the GNU Guix days. These days
> > > > that can be done with phones. Anyone interested in helping out?
> > > >
> > > > Pj.
> > > >
> >
> > I have my phone which I can bring. I'm not really sure how the streaming
> > part works but it would be nice to record it in any case.
>
> I saw people doing it in Kenya. I can ask. I feel like a noob
> sometimes ;)
>

I looked a bit around, istm the android youtube and twitter app does
have an option to do so.
I will experiment a bit with this tomorrow. I also had a look around
if we could use some
matrix.org things to get a big video conference call, but maybe we
should not do that.
I would like to have a look at that option too. Does anyone have a
more free-ish idea?

> > I have a mini-displayport to hdmi adapter that I'm bringing if anyone
> > needs. I also have a DVI->VGA adapter which I don't expect to be useful.
> > I'm not sure if VGA->HDMI exists so much, searching online they're
> > always listed as hdmi->vga or as an "active converter". I might have one
> > somewhere, but I don't remember it ever working.
>
> They exist, but it is complicated hardware ~$15.  No matter, if no one
> has one we'll have to share a laptop for presentations.
>
> Pj.
>

Best regards,
g_bor



Migrating to Guile-JSON 3.x

2019-01-22 Thread Ludovic Courtès
Hello Guix!

As you may know, Guile-JSON 3.x, released a couple of weeks ago, makes
significant incompatible API changes, the most important of which is
this:

--8<---cut here---start->8---
$ guix environment --ad-hoc guile guile-json@1 -- guile -c '(use-modules 
(json)) (pk (json-string->scm "{ \"a\": 1, \"b\": 2 }"))'

;;; (#)
$ guix environment --ad-hoc guile guile-json@3 -- guile -c '(use-modules 
(json)) (pk (json-string->scm "{ \"a\": 1, \"b\": 2 }"))'

;;; ((("b" . 2) ("a" . 1)))
--8<---cut here---end--->8---

In addition, JSON lists are now vectors in Scheme:

--8<---cut here---start->8---
$ guix environment --ad-hoc guile guile-json@1 -- guile -c '(use-modules 
(json)) (pk (json-string->scm "[ 1 2 3 ]"))'

;;; ((1 2 3))
$ guix environment --ad-hoc guile guile-json@3 -- guile -c '(use-modules 
(json)) (pk (json-string->scm "[ 1 2 3 ]"))'

;;; (#(1 2 3))
--8<---cut here---end--->8---

Conclusions:

  • Migration will be tricky since we’ll have to audit all our uses.
Most of our code that uses JSON has unit tests but some of it
doesn’t, in particular the web interface bindings in (guix ci) and
(guix swh).

  • We won’t be able to support both 1.x and 3.x, so it’ll be a change
with no return.

  • Things that depend on Guix (Cuirass, GWL, hpcguix-web, etc.) will
have to switch at the same time.

Thoughts?  Volunteers?  :-)

Thanks,
Ludo’.



Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Ricardo Wurmus


Pjotr Prins  writes:

> For those of us on older laptops, can anyone bring a VGA -> HDMI
> converter?  That would be very helpful.
>
> Also it may be an idea to stream some of the GNU Guix days. These days
> that can be done with phones. Anyone interested in helping out?
…
> No one can help out here?

I can’t, sorry.

I don’t have an adapter, nor do I have a phone to do streaming.  (I’d
also prefer to delegate jobs a little more.)

Considering that the program during the Guix days will be very much
hands-on with very few talks, I think we can do without streaming.

--
Ricardo




‘nss-certs’ missing in the installation image

2019-01-22 Thread Ludovic Courtès
Hi,

Pierre Neidhardt  skribis:

> Wait, what about this:
>
>> - I was surprised to see that from the install image, curl, git, etc. would 
>> fail
>>   with an SSL error.  It's annoying because I really needed to get my 
>> config.scm
>>   from an online source.
>> 
>>   I only briefly investigated: the environment has
>> 
>> --8<---cut here---start->8---
>> SSL_CERT_DIR=/etc/ssl/certs
>> SSL_CERT_FILE=/etc/ssl/certs/ca-certificates.crt
>> --8<---cut here---end--->8---
>> 
>>   but the install image only has a /etc/ssl file.
>
> Is this broken or intentional?  Can you point me at where this is defined?

‘nss-certs’ is intentionally not in %base-packages nor in the
installation image.  The rationale is that the package contains X.509
certificates bundled together by Mozilla and when we discussed it there
was a rough consensus that it should be the user’s decision to trust
these.  One could object that IceCat comes with its own copy of these
certificates anyway…

Someone following the normal installation procedure shouldn’t need those
certificates though.  WDYT?

Ludo’.



Re: Auto-install EFI / BIOS bootloader

2019-01-22 Thread Danny Milosavljevic
Hi Pierre,

> From there, why wouldn't Guix do that automatically for use?

In practise UEFI likes to fake a lot of stuff.  It can happen that
/sys/firmware/efi exists but the system cannot *boot* via EFI.

Likewise, /sys/firmware/efi can vanish just because you booted
from CD using UEFI's BIOS fallback.

There are lots of other "fun" situations--and also lots of bugs in EFI
implementations.

grub-hybrid is better:  It supports booting both via EFI and via BIOS.

In order to support it we would have to partition somewhat like this:

http://www.slivermetal.org/2016/09/18/how-to-create-an-hybrid-uefi-gpt-bios-gptmbr-boot-usb-disk/

In short:

* Have both GPT and MBR partition tables, with the same entries.
* Invoke grub-install twice:
** Once with --target=x86_64-efi and the vfat ESP partition as argument,
** Once with --target=i386-pc and the drive (or a partition, I guess) as 
argument

Now it always boots.

(Hybrid MBR/GPT are "dangerous" because they have to be updated in lock-step)

Also, if we want to convert people from Windows or similar other operating 
systems,
the user should have to explicitly confirm overwriting the bootloader.

> Side question: I just tried installing GuixSD on a brandnew workstation
> and the motherboard (Asus PRIME B450M-K) displays "UEFI" when I press F2
> on start.  Now when I boot the Guix image, /sys/firmware/efi does not
> exist, and indeed the Grub EFI installation fails (the BIOS one works).
> I tried with another distribution, same thing.

See?


pgpLo69Es4j6K.pgp
Description: OpenPGP digital signature


Re: Auto-install EFI / BIOS bootloader

2019-01-22 Thread Danny Milosavljevic
> (Hybrid MBR/GPT are "dangerous" because they have to be updated in lock-step)

Oops, correction:

GPT always has a dummy MBR partition table which marks everything as "used".
So the MBR will not be updated further.

Grub2 will use GPT (if available) both in the EFI and in the non-EFI case.


pgp4RjDy89Rtm.pgp
Description: OpenPGP digital signature


Re: Should openssh be an input of Git?

2019-01-22 Thread Leo Famulari
On Tue, Jan 22, 2019 at 11:36:40AM +0100, Pierre Neidhardt wrote:
> I've noticed that `git clone ` fails if openssh is
> not in the user profile.
> Should we add openssh as an input to Git?

I guess that programs like Git and rsync (another SSH user that doesn't
depend on it explicitly) can use several different SSH implementations,
right? Like Dropbear, lsh, and others.

If so, I think it makes sense to let the user install an SSH themselves,
especially since these programs are useful without SSH.

The bonus is that it reduces the number of packages that depend on
OpenSSH, ensuring that we can change that package cheaply and quickly.
Git is a farily expensive build.


signature.asc
Description: PGP signature


Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Leo Famulari
On Tue, Jan 22, 2019 at 12:36:06PM +0100, Pjotr Prins wrote:
> > I have a mini-displayport to hdmi adapter that I'm bringing if anyone
> > needs. I also have a DVI->VGA adapter which I don't expect to be useful.
> > I'm not sure if VGA->HDMI exists so much, searching online they're
> > always listed as hdmi->vga or as an "active converter". I might have one
> > somewhere, but I don't remember it ever working.
> 
> They exist, but it is complicated hardware ~$15.  No matter, if no one
> has one we'll have to share a laptop for presentations.

Yes, it is complicated hardware that basically requires a small computer
handling the analog -> digital conversion. Some of them do work but you
have to pay for it.



Re: Should openssh be an input of Git?

2019-01-22 Thread Ludovic Courtès
Hello!

Pierre Neidhardt  skribis:

> I've noticed that `git clone ` fails if openssh is
> not in the user profile.
> Should we add openssh as an input to Git?

I’d say no:

--8<---cut here---start->8---
$ guix size git | tail -1
total: 375.1 MiB
$ guix size git openssh | tail -1
total: 408.9 MiB
--8<---cut here---end--->8---

The rationale is that SSH support is optional and can be dynamically
added, so it’s a case where dynamic lookups in $PATH are a good idea
IMO.

Ludo’.



Re: 03/04: gnu: Replace all cons* with beginner-friendly (append (list ...)).

2019-01-22 Thread Ludovic Courtès
Hello!

guix-comm...@gnu.org skribis:

> +  (packages (append (list ratpoison i3-wm i3status dmenu ;window managers
> +  nss-certs  ;for HTTPS access
> +  )

[...]

> +  (packages (append (list nvi fdisk
> +  grub  ; mostly so xrefs to its manual work
> +  parted; partprobe
> +  )

Please don’t leave hanging parens—we want to teach people the Right Way
to format code.  ;-)

Also, you may be able to remove (srfi srfi-1) imports from these
examples.

Last, make sure the text in guix.texi that explains these examples does
not mention ‘cons*’.

Thanks!

Ludo’.



Re: [PATCH] gnu: Add glibc-locales variants for older versions of glibc.

2019-01-22 Thread Ludovic Courtès
Hello,

Ricardo Wurmus  skribis:

>>> * gnu/packages/base.scm (make-glibc-locales, make-glibc-utf8-locales): New
>>> procedures.
>>> (glibc-locales): Express in terms of make-glibc-locales.
>>> (glibc-utf8-locales): Express in terms of make-glibc-utf8-locales.
>>> (glibc-locales-2.27, glibc-utf8-locales-2.27): New variables.
>
> […]
>
>> I don’t like the package name trick, but I don’t have a better solution.
>> Perhaps we could have a special property to explicitly allow for several
>> versions of this package in the same profile (say
>> ‘allow-multiple-versions?’), but that’s a bit more work.
>
> I also don’t like to work around this by changing the package names.  I
> thought of allowing multiple versions via property, but it’s not clear
> how it should behave.  I’d want to have only major versions appear as
> non-conflicting and still prevent the installation of variants of the
> same version.
>
> The next question then is if the property should be a procedure that
> takes the current and the potentially conflicting package as arguments
> and decides whether they are conflicting, or if this should be handled
> centrally when the property is present.

Would there be other use cases?  If not, I would not worry too much
about the major vs. non-major conflicts.

I have a slight preference for a property that we can ‘write’, which
would simplify for instance interaction with inferior packages, hence
something like a Boolean ‘allow-multiple-versions?’ property.

As a first approach, when this flag is true, the version check in
‘check-for-collisions’ could be bypassed.  The property would have to be
added to the  though, so that the flag is honored even
after several “guix package” invocations.

How does that sound?

Thanks,
Ludo’.



Re: ‘nss-certs’ missing in the installation image

2019-01-22 Thread Pierre Neidhardt
What's the procedure to install nss-certs then?
Will a simple `guix package -i nss-certs` do?

I think we should document this in the installation manual.

> Someone following the normal installation procedure shouldn’t need those
> certificates though.  WDYT?

HTTPS access is a fairly common requirement for a lot of people I think.

-- 
Pierre Neidhardt
https://ambrevar.xyz/


signature.asc
Description: PGP signature


Re: Unofficial Neovim channel

2019-01-22 Thread HiPhish
> I wonder why you felt the need to have that channel?
Two points: the package in Guix is lagging behind in release, and I don't know 
enough yet about Guix to submit patches on a whim. So I made a channel to first 
try thing out for myself before submitting them to Guix. If I mess something 
up in my channel that's my problem, but if I mess up something in Guix then it 
reflects badly on all of Guix. I could have just left the channel local to my 
hard drive (as I had in the past), but making it public allows more people to 
have a look at it.

I guess most (all?) Guix package maintainers use Emacs instead of Vim or 
Neovim, but I use Neovim as my daily driver, so I'm more likely to catch if 
something is wrong. For example, I noticed that the Guix Neovim package is 
using Lua 5.2 libraries has its inputs, whereas you need Lua 5.1 libraries 
(Lua is not backwards-compatible). I had also submitted Lua 5.1 packages of 
lua-lpeg and lua-libmpack to Guix in the past.

> What's the difference between your definition and guix' definition?
Currently not much, only being three releases ahead and having the correct 
dependencies. (Lua 5.2 generally works as well, but you never know when an 
obscure edge-case might bite you in the rear)





Re: Auto-install EFI / BIOS bootloader

2019-01-22 Thread Pierre Neidhardt

> Is it possible that Linux fails to detect the UEFI?

Wait... Could that be because of the SecureBoot thing? :/

-- 
Pierre Neidhardt
https://ambrevar.xyz/


signature.asc
Description: PGP signature


Re: Unofficial Neovim channel

2019-01-22 Thread Pjotr Prins
On Tue, Jan 22, 2019 at 12:14:53PM +0100, Julien Lepiller wrote:
> I wonder why you felt the need to have that channel? We already have
> a neovim package in guix. I'm very curious because I use that
> package and didn't feel that anything was missing, apart maybe from
> the possibility to install plugins from guix, which would be great.
> What's the difference between your definition and guix' definition?

Channels are a good way to experiment. I guess experimentation is the
purpose :). 

Pj.



Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Pjotr Prins
On Tue, Jan 22, 2019 at 01:16:33PM +0200, Efraim Flashner wrote:
> On Tue, Jan 22, 2019 at 10:53:43AM +0100, Pjotr Prins wrote:
> > No one can help out here?
> > 
> > On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > > FOSDEM from this year only supports HDMI.
> > > 
> > > For those of us on older laptops, can anyone bring a VGA -> HDMI
> > > converter?  That would be very helpful.
> > > 
> > > Also it may be an idea to stream some of the GNU Guix days. These days
> > > that can be done with phones. Anyone interested in helping out?
> > > 
> > > Pj.
> > > 
> 
> I have my phone which I can bring. I'm not really sure how the streaming
> part works but it would be nice to record it in any case.

I saw people doing it in Kenya. I can ask. I feel like a noob
sometimes ;)

> I have a mini-displayport to hdmi adapter that I'm bringing if anyone
> needs. I also have a DVI->VGA adapter which I don't expect to be useful.
> I'm not sure if VGA->HDMI exists so much, searching online they're
> always listed as hdmi->vga or as an "active converter". I might have one
> somewhere, but I don't remember it ever working.

They exist, but it is complicated hardware ~$15.  No matter, if no one
has one we'll have to share a laptop for presentations.

Pj.



Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Efraim Flashner
On Tue, Jan 22, 2019 at 10:53:43AM +0100, Pjotr Prins wrote:
> No one can help out here?
> 
> On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > FOSDEM from this year only supports HDMI.
> > 
> > For those of us on older laptops, can anyone bring a VGA -> HDMI
> > converter?  That would be very helpful.
> > 
> > Also it may be an idea to stream some of the GNU Guix days. These days
> > that can be done with phones. Anyone interested in helping out?
> > 
> > Pj.
> > 

I have my phone which I can bring. I'm not really sure how the streaming
part works but it would be nice to record it in any case.

I have a mini-displayport to hdmi adapter that I'm bringing if anyone
needs. I also have a DVI->VGA adapter which I don't expect to be useful.
I'm not sure if VGA->HDMI exists so much, searching online they're
always listed as hdmi->vga or as an "active converter". I might have one
somewhere, but I don't remember it ever working.

-- 
Efraim Flashner  אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted


signature.asc
Description: PGP signature


Re: Unofficial Neovim channel

2019-01-22 Thread Julien Lepiller

Le 2019-01-21 12:22, HiPhish a écrit :

Hello Guix developers,

I have set up an unofficial Guix channel for Neovim (and possibly for 
related

projects in the future):

https://gitlab.com/HiPhish/neovim-guix-channel/

The plan is to use this channel first, and then submit patches to Guix 
when
everything is deemed correct and reliable. I also wrote a blog post[1] 
on the
topic, although it's primarily addressed at people familiar with Neovim 
and
unfamiliar with Guix. I would very much appreciate if someone could go 
over

the code in my channel and see if everything is in order.

HiPhish


Hi,

I wonder why you felt the need to have that channel? We already have a 
neovim
package in guix. I'm very curious because I use that package and didn't 
feel
that anything was missing, apart maybe from the possibility to install 
plugins
from guix, which would be great. What's the difference between your 
definition

and guix' definition?



-
[1] http://hiphish.github.io/blog/2019/01/21/neovim-guix-channel/




Re: FOSDEM 2019 - we need a VGA to HDMI converter! And live streaming

2019-01-22 Thread Gábor Boskovits
Hello,

Pjotr Prins  ezt írta (időpont: 2019. jan.
22., K, 11:26):
>
> No one can help out here?
>
> On Sun, Jan 20, 2019 at 02:17:39PM +0100, Pjotr Prins wrote:
> > FOSDEM from this year only supports HDMI.
> >
> > For those of us on older laptops, can anyone bring a VGA -> HDMI
> > converter?  That would be very helpful.
> >

I can't help with that.

> > Also it may be an idea to stream some of the GNU Guix days. These days
> > that can be done with phones. Anyone interested in helping out?
> >

I guess I could help with that. What does the phone need?

> > Pj.
> >
>

Best regards,
g_bor



Re: Call for talks: Minimalistic Languages Devroom at FOSDEM 2019

2019-01-22 Thread Pjotr Prins
Dear all, 

On Saturday we have a minimalistic devroom with an interesting agenda:

  https://fosdem.org/2019/schedule/track/minimalistic_languages/

we need one or two volunteers to operate/monitor the video/audio
recording and two volunteers to help me with the room itself (get
speakers started, keep people out of the room when full). 

You can E-mail me here or privately.

Pj.

On Wed, Nov 21, 2018 at 07:36:23PM +0100, Pjotr Prins wrote:
> Hello Guilers & Guix!
> 
> Another heads up. Deadline for submitting talks is 25th - i.e., this
> weekend. We invite talks on your work in Mes, Guix or Guile and
> related. FOSDEM is a great place to advertise Guix and the more 
> talks we have the better! Don't be shy, we all started once giving a
> first talk.
> 
> So far, we have 8 talks. If you have an idea for a talk you can post
> it to us and we enter it into the system.
> 
> Pjotr & Manolis
> 
> 
> Guile, Guix, and Lua fellows are organizing the “Minimalistic Languages”
> track at this year’s FOSDEM:
> 
>   https://fosdem.org/2019
> 
> Consider submitting a talk about what you’ve been hacking on!
> 
> * Minimalistic Languages Devroom call for talks @ FOSDEM 2019
> 
> (posted at https://libreplanet.org/wiki/FOSDEM2019-devroom-minimalism)
> 
> We are excited to announce a devroom on minimalistic languages (with
> big ideas) at FOSDEM on Saturday February 2nd 2019!
> 
> FOSDEM is one of the most important free software conferences and is
> hosted annually at Université libre de Bruxelles in Brussels,
> Belgium. FOSDEM is fantastic, check last year's schedule for Saturday
> (https://archive.fosdem.org/2018/schedule/day/saturday/)
> 
> Minimalism matters. Minimalism allows for smaller systems that take
> less resources and consume less energy. More importantly, free and
> open source minimalism allows for secure systems that are easy to
> understand. Finally, we believe that minimalism is educational and
> brings back the fun of the early days of computing where people learn
> to understand systems from the ground up. Speakers will be asked to
> accentuate the educational side of their projects.
> 
> We have a room Saturday 2 February 2019. We want to invite you to
> submit a talk on the use of minimalistic languages that fits that
> description. We are especially happy to receive talk submissions from
> members of any underrepresented groups.
> 
> If you have something you’d like to share with your fellow developers,
> please head to pentabarf at
> 
>   - https://penta.fosdem.org/submission/FOSDEM19
> 
> The deadline for submission is November 25th. If you have a FOSDEM
> pentabarf account from a previous year, please use that
> account. Otherwise add one on
> https://penta.fosdem.org/user/new_account. Reach out to
> pjotr.public...@thebird.nl if you run into any trouble.
> 
> When submitting your talk make doubly sure to select "Minimalistic
> Languages devroom" as track (if you don't we won't find it), and
> include the following information:
> 
>   * The title and subtitle of your talk
>   * A short abstract of one paragraph
>   * A longer description if you wish to do so
>   * Links to related websites/blogs etc
> 
> Let's make this a fun day!
> 
> ** Organisers
> 
> Pjotr Prins, Manolis Ragkousis, Hisham Muhammad, Ricardo Wurmus,
> Ludovic Courtès, Jan Nieuwenhuizen, Alex Sassmannshausen, and Amirouche 
> Boubekki
> 
> ** Code of conduct
> 
>   - https://fosdem.org/2019/practical/conduct/
> 
> ** Original proposal
> 
>   - https://libreplanet.org/wiki/FOSDEM2019-devroom-proposal
> 
> ** Important dates:
> 
>   - Nov 25th 2018:  submission deadline for talk proposals
>   - Dec 17th 2018:  announcement of the final schedule
>   - Feb  2nd 2019:  FOSDEM!
> 
> 
> > 
>