Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcement: New Isabelle IRC channel on Free...

Email Gateway (Aug 18 2022 at 16:40):

From: Jason Dagit <dagitj@gmail.com>
Hello,

I'm new to Isabelle and I noticed a lack of IRC channel for getting help
with Isabelle questions.

I created a channel named #isabelle on irc.freenode.net, so stop by and idle
for a while :)

Why IRC?
IRC can be an effective way to communicate in the open source world. For
example, the #haskell IRC channel is very helpful for answering questions
and getting quick turnaround or interactive help. It's nice for things that
are urgent or easy to fix. Especially for beginners who seem to run into
every conceivable obstacle (like me!). It's especially nice for doing
"question exchanges". You come by, ask a question, and then stick around
long enough to answer someone else's question thereby paying your karma
forward.

My name on freenode is lispy.

See you on freenode!
Jason

Email Gateway (Aug 18 2022 at 16:42):

From: Jason Dagit <dagitj@gmail.com>
As a follow up to this, I took the liberty of creating an Isabelle
subreddit:
http://www.reddit.com/r/isabelle/

It's a great place to post announcements, updates, conference papers, and
other news items relevant to Isabelle.

Would it be possible to get links to the Isabelle reddit and IRC channel on
community page?
http://www.cl.cam.ac.uk/research/hvg/Isabelle/community.html

We now have a dedicated log for the IRC channel too in case you want to see
what is going on:
http://irclog.perlgeek.de/isabelle/

Thanks,
Jason

Email Gateway (Aug 18 2022 at 16:43):

From: Walther Neuper <wneuper@ist.tugraz.at>
Hi Jason,

I have experience with both, IRC and the Isabelle mailing list(s). So I
feel free to frankly say my personal opinion:

I appreciate the Isabelle lists, because

the answers are trustable, and I need no research on who is who

the high quality conversations are worth to be searched in the archive.

So, I prefer these advantages to IRC chatting such that I do _not_
intend to use your friendly offer.

With kind regards,
Walther

Email Gateway (Aug 18 2022 at 16:45):

From: Alexander Krauss <krauss@in.tum.de>
Hi Jason,

Jason Dagit wrote:
Actually, the right place to post such things is this mailing list.

There is of course nothing wrong in posting elsewhere, too, but at least
I am not very keen on having to follow yet another medium regularly.

I can see some use for the IRC channel for getting quick help for
newbies (provided there is someone lurking there who can help you), but
this isn't established, so I don't know if it will actually work for us.

Note that the Isabelle community is fairly small, compared to e.g.
Haskell (my personal estimate: factor of 10-15). Having "too much
infrastructure" isn't necessarily beneficial, since it can lead to
fragmentation.

Alex

Last updated: Apr 26 2024 at 20:16 UTC