From: Anton Khirnov <anton@khirnov.net>
To: FFmpeg development discussions and patches <ffmpeg-devel@ffmpeg.org>
Subject: Re: [FFmpeg-devel] [PATCH 1/2] tools/general_assembly: implement extra GA members
Date: Tue, 28 Nov 2023 09:06:34 +0100
Message-ID: <170115879446.8914.8427496201494197738@lain.khirnov.net> (raw)
In-Reply-To: <ZWNfelvlAyvHRURT@metallschleimette>
Quoting Alexander Strasser (2023-11-26 16:08:42)
> On 2023-11-26 10:18 +0100, Anton Khirnov wrote:
> > Set pushed.
> >
> > The general_assembly.pl script should now be usable as the authoritative
> > source for GA members.
>
> The patches mostly LGTM.
>
> My Perl knowledge in general is really mostly from 20 years ago.
> So if there is any Perl-ish devil in the details I surely have
> overlooked it.
>
> Please pardon me if I missed any details on how the program works.
> The edge cases are always the tricky stuff...
>
> One thing about this patch and that program in general is a bit
> unfortunate: The use of PerlDate is_between.
>
> Here is the doc I found for it:
>
> $dt->is_between( $lower, $upper )
> Checks whether $dt is strictly between two other DateTime objects.
>
> "Strictly" means that $dt must be greater than $lower and less than $upper. If it is equal to either object then this method returns false.
>
>
> AFAIU it affects the script in 2 places:
>
> 1. In subroutine get_date_range:
> Here the exact day matching date_ga_rule is treated like
> anything >= date_first_regular
>
> 2. In the loop adding the extra member. The member would not be added
> on both, the day they were elected nor the day 2 years after.
>
> Case 1 should be "strictly academical" and thus not really important
> because to my knowledge no vote was started on that day.
>
> For case 2 it will be not important on most days, but it would seem
> more common and intuitive to use either the closed interval or a
> half open interval. Where including the first and the last day or
> including the first and excluding the day seem most natural to me.
These objects are not days, they are specific times with nanosecond
resolution. Since I'm not specifying time in the constructor, it
defaults to the first nanosecond-long instant of the day, so none of
these problems really apply.
--
Anton Khirnov
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
ffmpeg-devel-request@ffmpeg.org with subject "unsubscribe".
next prev parent reply other threads:[~2023-11-28 8:06 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-11-23 9:14 Anton Khirnov
2023-11-23 9:14 ` [FFmpeg-devel] [PATCH 2/2] tools/general_assembly: restore printing HEAD Anton Khirnov
2023-11-26 9:18 ` [FFmpeg-devel] [PATCH 1/2] tools/general_assembly: implement extra GA members Anton Khirnov
2023-11-26 15:08 ` Alexander Strasser
2023-11-27 2:37 ` Zhao Zhili
2023-11-28 8:06 ` Anton Khirnov [this message]
2023-12-06 19:45 ` Michael Niedermayer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=170115879446.8914.8427496201494197738@lain.khirnov.net \
--to=anton@khirnov.net \
--cc=ffmpeg-devel@ffmpeg.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Git Inbox Mirror of the ffmpeg-devel mailing list - see https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
This inbox may be cloned and mirrored by anyone:
git clone --mirror https://master.gitmailbox.com/ffmpegdev/0 ffmpegdev/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 ffmpegdev ffmpegdev/ https://master.gitmailbox.com/ffmpegdev \
ffmpegdev@gitmailbox.com
public-inbox-index ffmpegdev
Example config snippet for mirrors.
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git