This feature request is getting dusty:

https://meta.stackoverflow.com/q/326728/502187

But meanwhile highlight.js supports Prolog.

So what are they waiting for?

Even Qiita can do better, they have Prolog via Rouge.

https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb

Boycott stackoverflow. Remove Prolog posts.

Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 16:15:07 UTC+2:
> This feature request is getting dusty:
>
> https://meta.stackoverflow.com/q/326728/502187
>
> But meanwhile highlight.js supports Prolog.
>
> So what are they waiting for?

Its about time to support Prolog in SE.
highlight.js seems to be new for SE:

Goodbye, Prettify. Hello highlight.js!
Swapping out our Syntax Highlighter
Update 2020-09-24
This is now live network-wide.
https://meta.stackexchange.com/q/353983/165536

Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:24:20 UTC+2:
> Even Qiita can do better, they have Prolog via Rouge.
>
> https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb
>
> Boycott stackoverflow. Remove Prolog posts.
> Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 16:15:07 UTC+2:
> > This feature request is getting dusty:
> >
> > https://meta.stackoverflow.com/q/326728/502187
> >
> > But meanwhile highlight.js supports Prolog.
> >
> > So what are they waiting for?

I must definitively say Boycott Stackoverflow. Retract Prolog
questions and answers, they don't get their priorities straight.
Also people on meta are lemmings, if you request a highlighter
they have a lot of moot excuses and vote down your feature request.

As I said they don't get their priorities straight. The last argument
I heard was the full highlight.js is too much network payload.
This is more than silly. Its CDNed, and they don't get their
priorities straight. Currently they deliver:

- highlightjs-loader.en.js ca. 50 KBytes (laughable)
- pubads_impl_2021091501.js ca. 100KBytes

So their priority is to spam you with shitty ads, instead of
delivering proper syntax highlighting.

Boycott Stackoverflow

Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:39:53 UTC+2:
> Its about time to support Prolog in SE.
> highlight.js seems to be new for SE:
>
> Goodbye, Prettify. Hello highlight.js!
> Swapping out our Syntax Highlighter
> Update 2020-09-24
> This is now live network-wide.
> https://meta.stackexchange.com/q/353983/165536
> Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:24:20 UTC+2:
> > Even Qiita can do better, they have Prolog via Rouge.
> >
> > https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb
> >
> > Boycott stackoverflow. Remove Prolog posts.
> > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 16:15:07 UTC+2:
> > > This feature request is getting dusty:
> > >
> > > https://meta.stackoverflow.com/q/326728/502187
> > >
> > > But meanwhile highlight.js supports Prolog.
> > >
> > > So what are they waiting for?

The greatest joke about stackoverflow is its slogan.
The slogan is a pure lie:

Screenshot: We <3 people who code
https://gist.github.com/jburse/d39c5a835842ad83ec31266c46023e8f#gistcomment-3901869

Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 21:31:10 UTC+2:
> I must definitively say Boycott Stackoverflow. Retract Prolog
> questions and answers, they don't get their priorities straight.
> Also people on meta are lemmings, if you request a highlighter
> they have a lot of moot excuses and vote down your feature request.
>
> As I said they don't get their priorities straight. The last argument
> I heard was the full highlight.js is too much network payload.
> This is more than silly. Its CDNed, and they don't get their
> priorities straight. Currently they deliver:
>
> - highlightjs-loader.en.js ca. 50 KBytes (laughable)
> - pubads_impl_2021091501.js ca. 100KBytes
>
> So their priority is to spam you with shitty ads, instead of
> delivering proper syntax highlighting.
>
> Boycott Stackoverflow
> Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:39:53 UTC+2:
> > Its about time to support Prolog in SE.
> > highlight.js seems to be new for SE:
> >
> > Goodbye, Prettify. Hello highlight.js!
> > Swapping out our Syntax Highlighter
> > Update 2020-09-24
> > This is now live network-wide.
> > https://meta.stackexchange.com/q/353983/165536
> > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:24:20 UTC+2:
> > > Even Qiita can do better, they have Prolog via Rouge.
> > >
> > > https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb
> > >
> > > Boycott stackoverflow. Remove Prolog posts.
> > > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 16:15:07 UTC+2:
> > > > This feature request is getting dusty:
> > > >
> > > > https://meta.stackoverflow.com/q/326728/502187
> > > >
> > > > But meanwhile highlight.js supports Prolog.
> > > >
> > > > So what are they waiting for?

There is very simple solution to solve the highlighter.js problems
in Stackoverflow. And there seem to be plenty:

Stop guessing/auto-detecting a language when you KNOW it will be incorrect
https://meta.stackexchange.com/q/355852/165536

Just block all the staff admin/dev ops working for SE in
participating on meta. They waste there time there on writing

large excuses. And force the staff admin/dev ops to get
their hands dirty, and fix stuff that they have broken.

Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 21:45:40 UTC+2:
> The greatest joke about stackoverflow is its slogan.
> The slogan is a pure lie:
>
> Screenshot: We <3 people who code
> https://gist.github.com/jburse/d39c5a835842ad83ec31266c46023e8f#gistcomment-3901869
> Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 21:31:10 UTC+2:
> > I must definitively say Boycott Stackoverflow. Retract Prolog
> > questions and answers, they don't get their priorities straight.
> > Also people on meta are lemmings, if you request a highlighter
> > they have a lot of moot excuses and vote down your feature request.
> >
> > As I said they don't get their priorities straight. The last argument
> > I heard was the full highlight.js is too much network payload.
> > This is more than silly. Its CDNed, and they don't get their
> > priorities straight. Currently they deliver:
> >
> > - highlightjs-loader.en.js ca. 50 KBytes (laughable)
> > - pubads_impl_2021091501.js ca. 100KBytes
> >
> > So their priority is to spam you with shitty ads, instead of
> > delivering proper syntax highlighting.
> >
> > Boycott Stackoverflow
> > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:39:53 UTC+2:
> > > Its about time to support Prolog in SE.
> > > highlight.js seems to be new for SE:
> > >
> > > Goodbye, Prettify. Hello highlight.js!
> > > Swapping out our Syntax Highlighter
> > > Update 2020-09-24
> > > This is now live network-wide.
> > > https://meta.stackexchange.com/q/353983/165536
> > > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:24:20 UTC+2:
> > > > Even Qiita can do better, they have Prolog via Rouge.
> > > >
> > > > https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb
> > > >
> > > > Boycott stackoverflow. Remove Prolog posts.
> > > > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 16:15:07 UTC+2:
> > > > > This feature request is getting dusty:
> > > > >
> > > > > https://meta.stackoverflow.com/q/326728/502187
> > > > >
> > > > > But meanwhile highlight.js supports Prolog.
> > > > >
> > > > > So what are they waiting for?

Or vet out the dumb nuts in staff admin/dev ops and
replace them by competent people.

Mostowski Collapse schrieb am Donnerstag, 23. September 2021 um 14:55:44 UTC+2:
> There is very simple solution to solve the highlighter.js problems
> in Stackoverflow. And there seem to be plenty:
>
> Stop guessing/auto-detecting a language when you KNOW it will be incorrect
> https://meta.stackexchange.com/q/355852/165536
>
> Just block all the staff admin/dev ops working for SE in
> participating on meta. They waste there time there on writing
>
> large excuses. And force the staff admin/dev ops to get
> their hands dirty, and fix stuff that they have broken.
> Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 21:45:40 UTC+2:
> > The greatest joke about stackoverflow is its slogan.
> > The slogan is a pure lie:
> >
> > Screenshot: We <3 people who code
> > https://gist.github.com/jburse/d39c5a835842ad83ec31266c46023e8f#gistcomment-3901869
> > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 21:31:10 UTC+2:
> > > I must definitively say Boycott Stackoverflow. Retract Prolog
> > > questions and answers, they don't get their priorities straight.
> > > Also people on meta are lemmings, if you request a highlighter
> > > they have a lot of moot excuses and vote down your feature request.
> > >
> > > As I said they don't get their priorities straight. The last argument
> > > I heard was the full highlight.js is too much network payload.
> > > This is more than silly. Its CDNed, and they don't get their
> > > priorities straight. Currently they deliver:
> > >
> > > - highlightjs-loader.en.js ca. 50 KBytes (laughable)
> > > - pubads_impl_2021091501.js ca. 100KBytes
> > >
> > > So their priority is to spam you with shitty ads, instead of
> > > delivering proper syntax highlighting.
> > >
> > > Boycott Stackoverflow
> > > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:39:53 UTC+2:
> > > > Its about time to support Prolog in SE.
> > > > highlight.js seems to be new for SE:
> > > >
> > > > Goodbye, Prettify. Hello highlight.js!
> > > > Swapping out our Syntax Highlighter
> > > > Update 2020-09-24
> > > > This is now live network-wide.
> > > > https://meta.stackexchange.com/q/353983/165536
> > > > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 20:24:20 UTC+2:
> > > > > Even Qiita can do better, they have Prolog via Rouge.
> > > > >
> > > > > https://github.com/rouge-ruby/rouge/blob/master/lib/rouge/lexers/prolog.rb
> > > > >
> > > > > Boycott stackoverflow. Remove Prolog posts.
> > > > > Mostowski Collapse schrieb am Mittwoch, 22. September 2021 um 16:15:07 UTC+2:
> > > > > > This feature request is getting dusty:
> > > > > >
> > > > > > https://meta.stackoverflow.com/q/326728/502187
> > > > > >
> > > > > > But meanwhile highlight.js supports Prolog.
> > > > > >
> > > > > > So what are they waiting for?

Ha Ha! Very good for intervals of procrastination:

Earth is struck by a giant comet but is saved by ExtraGalactic scientists.
The scientists discover tiny blobs who look upon us as a source of
nourishment a priest talks to them of God, and they leave.

http://cse.csusb.edu/dick/cs320/prolog/story.plg
http://cse.csusb.edu/dick/cs320/lab/fantasy.plg

By way of sci.logic:

Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.

http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/

https://area51.stackexchange.com/proposals/126242/proof-assistants

1 von 38252
Proposal for a proof assistants StackExchange site
9 Aufrufe
Abonnieren
Profilbild von FredJeffries
FredJeffries
02:44 (vor 1 Stunde)
Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site. http://
Profilbild von Mostowski Collapse
Mostowski Collapse
03:36 (vor 26 Minuten)
an
Never ever put your soul on stack exchange. They will not only
disown you quickly, you will also not be able to deleted it. The have
implemented technical means to block you from deleting your own content.

From their terms and conditions:
https://stackoverflow.com/legal/terms-of-service#licensing

"Subscriber Content

You agree that any and all content, including without limitation
any and all text, graphics, logos, tools, photographs, images,
illustrations, software or source code, audio and video, animations,
and product feedback (collectively, “Content”) that you provide to
the public Network (collectively, “Subscriber Content”), is perpetually
and irrevocably licensed to Stack Overflow on a worldwide, royalty-free,
non-exclusive basis pursuant to Creative Commons licensing terms
(CC BY-SA 4.0), and you grant Stack Overflow the perpetual and
irrevocable right and license to access, use, process, copy, distribute,
export, display and to commercially exploit such Subscriber Content,
even if such Subscriber Content has been contributed and subsequently
removed by you as reasonably necessary to, for example (without limitation):

Provide, maintain, and update the public Network
Process lawful requests from law enforcement agencies and government agencies
Prevent and address security incidents and data security features,
support features, and to provide technical assistance as it may be required
Aggregate data to provide product optimization

This means that you cannot revoke permission for Stack Overflow
to publish, distribute, store and use such content and to allow others
to have derivative rights to publish, distribute, store and use such
content. The CC BY-SA 4.0 license terms are explained in further
detail by Creative Commons, and the license terms applicable to
content are explained in further detail here. You should be aware
that all Public Content you contribute is available for public copy
and redistribution, and all such Public Content must have
appropriate attribution."

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:02:39 UTC+1:
> By way of sci.logic:
>
> Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.
>
> http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/
>
> https://area51.stackexchange.com/proposals/126242/proof-assistants

The most annoying thing is that the administrators use
a ticket system, and in principle they make legally binding
promisses, only they don't care what kind of promisses they

write as answers into their own ticket system, the next
day they change their mind, and do something else. So
you cannot trust their word, because the rights you give

them, in principle they need not be executed. But like
the birtish museum has more mummies than Egypt itself,
the stackexchange have more irrelevant information

about your long retracted project than you would ever
dream of. The way back machine has even not that much
outdated nonsense in store. Even the house of a messie

looks clean compared to stack exchange sites.

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:03:22 UTC+1:
> Never ever put your soul on stack exchange. They will not only
> disown you quickly, you will also not be able to deleted it. The have
> implemented technical means to block you from deleting your own content.
>
> From their terms and conditions:
> https://stackoverflow.com/legal/terms-of-service#licensing
>
> "Subscriber Content
>
> You agree that any and all content, including without limitation
> any and all text, graphics, logos, tools, photographs, images,
> illustrations, software or source code, audio and video, animations,
> and product feedback (collectively, “Content”) that you provide to
> the public Network (collectively, “Subscriber Content”), is perpetually
> and irrevocably licensed to Stack Overflow on a worldwide, royalty-free,
> non-exclusive basis pursuant to Creative Commons licensing terms
> (CC BY-SA 4.0), and you grant Stack Overflow the perpetual and
> irrevocable right and license to access, use, process, copy, distribute,
> export, display and to commercially exploit such Subscriber Content,
> even if such Subscriber Content has been contributed and subsequently
> removed by you as reasonably necessary to, for example (without limitation):
>
> Provide, maintain, and update the public Network
> Process lawful requests from law enforcement agencies and government agencies
> Prevent and address security incidents and data security features,
> support features, and to provide technical assistance as it may be required
> Aggregate data to provide product optimization
>
> This means that you cannot revoke permission for Stack Overflow
> to publish, distribute, store and use such content and to allow others
> to have derivative rights to publish, distribute, store and use such
> content. The CC BY-SA 4.0 license terms are explained in further
> detail by Creative Commons, and the license terms applicable to
> content are explained in further detail here. You should be aware
> that all Public Content you contribute is available for public copy
> and redistribution, and all such Public Content must have
> appropriate attribution."
> Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:02:39 UTC+1:
> > By way of sci.logic:
> >
> > Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.
> >
> > http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/
> >
> > https://area51.stackexchange.com/proposals/126242/proof-assistants

Also they swim in money:

https://arstechnica.com/gadgets/2021/06/stack-overflow-sold-to-tech-investor-prosus-for-1-8-billion/

But they can even not make a syntax highlighter
that works correctly for the Prolog programming
language, and laugh at you when you request that.

You also wont see a bit of this money in your own
poket. The only incentive they offer is their gamefication
of Q & A, and astonishingly for many that seems to

be motivation. They only use you to earn more money
with their job fair spin off etc.. etc.. and the content has
become click bait for job offers. Because of this degradation

of their content, for many problems you now find much
better sites and much better courated information.
Typically problems are now also addressed by YouTubers

etc.., because others want also profit from this Q & A
traffic magnet. It is quite likely that stack exchanges will
disappear if their bit rot continues as it does now.

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:04:03 UTC+1:
> The most annoying thing is that the administrators use
> a ticket system, and in principle they make legally binding
> promisses, only they don't care what kind of promisses they
>
> write as answers into their own ticket system, the next
> day they change their mind, and do something else. So
> you cannot trust their word, because the rights you give
>
> them, in principle they need not be executed. But like
> the birtish museum has more mummies than Egypt itself,
> the stackexchange have more irrelevant information
>
> about your long retracted project than you would ever
> dream of. The way back machine has even not that much
> outdated nonsense in store. Even the house of a messie
>
> looks clean compared to stack exchange sites.
> Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:03:22 UTC+1:
> > Never ever put your soul on stack exchange. They will not only
> > disown you quickly, you will also not be able to deleted it. The have
> > implemented technical means to block you from deleting your own content..
> >
> > From their terms and conditions:
> > https://stackoverflow.com/legal/terms-of-service#licensing
> >
> > "Subscriber Content
> >
> > You agree that any and all content, including without limitation
> > any and all text, graphics, logos, tools, photographs, images,
> > illustrations, software or source code, audio and video, animations,
> > and product feedback (collectively, “Content”) that you provide to
> > the public Network (collectively, “Subscriber Content”), is perpetually
> > and irrevocably licensed to Stack Overflow on a worldwide, royalty-free,
> > non-exclusive basis pursuant to Creative Commons licensing terms
> > (CC BY-SA 4.0), and you grant Stack Overflow the perpetual and
> > irrevocable right and license to access, use, process, copy, distribute,
> > export, display and to commercially exploit such Subscriber Content,
> > even if such Subscriber Content has been contributed and subsequently
> > removed by you as reasonably necessary to, for example (without limitation):
> >
> > Provide, maintain, and update the public Network
> > Process lawful requests from law enforcement agencies and government agencies
> > Prevent and address security incidents and data security features,
> > support features, and to provide technical assistance as it may be required
> > Aggregate data to provide product optimization
> >
> > This means that you cannot revoke permission for Stack Overflow
> > to publish, distribute, store and use such content and to allow others
> > to have derivative rights to publish, distribute, store and use such
> > content. The CC BY-SA 4.0 license terms are explained in further
> > detail by Creative Commons, and the license terms applicable to
> > content are explained in further detail here. You should be aware
> > that all Public Content you contribute is available for public copy
> > and redistribution, and all such Public Content must have
> > appropriate attribution."
> > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:02:39 UTC+1:
> > > By way of sci.logic:
> > >
> > > Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.
> > >
> > > http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/
> > >
> > > https://area51.stackexchange.com/proposals/126242/proof-assistants

About Zulip I don't know. Somehow the gameification stack
exchange rule system does not guarantee high quality,
because it is more based on hunters and collectors mentality,
where everything is taken and infinitely kept. On a first

sight the rational makes sense, especially for example for
computer related stuff. I might quite well have an Amiga
at home, and ask a question about it. But is this true? There
is rather a trend now to quickly move one, and eradicate

old releases, move them out of circulation. Outdated stuff
that gets stuck in wild only generates cost. It might be full
of security holes, or shows long dismissed behaviour, because
some specs have evolved. Stack exchange was designed

without the concept of end of lifetime in mind. This shines.
If you try to pull the plug of something, and by accident you
hit some alarm threshold, its impossible to explain an admistrator
that you need an exception. The admistrators have become

robots, that are not able to question the rules of their system.
If you would employ them in Auschwitz, they would efficiently
gas people after people. They have become brainless bricks.

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:05:42 UTC+1:
> Also they swim in money:
>
> https://arstechnica.com/gadgets/2021/06/stack-overflow-sold-to-tech-investor-prosus-for-1-8-billion/
>
> But they can even not make a syntax highlighter
> that works correctly for the Prolog programming
> language, and laugh at you when you request that.
>
> You also wont see a bit of this money in your own
> poket. The only incentive they offer is their gamefication
> of Q & A, and astonishingly for many that seems to
>
> be motivation. They only use you to earn more money
> with their job fair spin off etc.. etc.. and the content has
> become click bait for job offers. Because of this degradation
>
> of their content, for many problems you now find much
> better sites and much better courated information.
> Typically problems are now also addressed by YouTubers
>
> etc.., because others want also profit from this Q & A
> traffic magnet. It is quite likely that stack exchanges will
> disappear if their bit rot continues as it does now.
> Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:04:03 UTC+1:
> > The most annoying thing is that the administrators use
> > a ticket system, and in principle they make legally binding
> > promisses, only they don't care what kind of promisses they
> >
> > write as answers into their own ticket system, the next
> > day they change their mind, and do something else. So
> > you cannot trust their word, because the rights you give
> >
> > them, in principle they need not be executed. But like
> > the birtish museum has more mummies than Egypt itself,
> > the stackexchange have more irrelevant information
> >
> > about your long retracted project than you would ever
> > dream of. The way back machine has even not that much
> > outdated nonsense in store. Even the house of a messie
> >
> > looks clean compared to stack exchange sites.
> > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:03:22 UTC+1:
> > > Never ever put your soul on stack exchange. They will not only
> > > disown you quickly, you will also not be able to deleted it. The have
> > > implemented technical means to block you from deleting your own content.
> > >
> > > From their terms and conditions:
> > > https://stackoverflow.com/legal/terms-of-service#licensing
> > >
> > > "Subscriber Content
> > >
> > > You agree that any and all content, including without limitation
> > > any and all text, graphics, logos, tools, photographs, images,
> > > illustrations, software or source code, audio and video, animations,
> > > and product feedback (collectively, “Content”) that you provide to
> > > the public Network (collectively, “Subscriber Content”), is perpetually
> > > and irrevocably licensed to Stack Overflow on a worldwide, royalty-free,
> > > non-exclusive basis pursuant to Creative Commons licensing terms
> > > (CC BY-SA 4.0), and you grant Stack Overflow the perpetual and
> > > irrevocable right and license to access, use, process, copy, distribute,
> > > export, display and to commercially exploit such Subscriber Content,
> > > even if such Subscriber Content has been contributed and subsequently
> > > removed by you as reasonably necessary to, for example (without limitation):
> > >
> > > Provide, maintain, and update the public Network
> > > Process lawful requests from law enforcement agencies and government agencies
> > > Prevent and address security incidents and data security features,
> > > support features, and to provide technical assistance as it may be required
> > > Aggregate data to provide product optimization
> > >
> > > This means that you cannot revoke permission for Stack Overflow
> > > to publish, distribute, store and use such content and to allow others
> > > to have derivative rights to publish, distribute, store and use such
> > > content. The CC BY-SA 4.0 license terms are explained in further
> > > detail by Creative Commons, and the license terms applicable to
> > > content are explained in further detail here. You should be aware
> > > that all Public Content you contribute is available for public copy
> > > and redistribution, and all such Public Content must have
> > > appropriate attribution."
> > > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:02:39 UTC+1:
> > > > By way of sci.logic:
> > > >
> > > > Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.
> > > >
> > > > http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/
> > > >
> > > > https://area51.stackexchange.com/proposals/126242/proof-assistants

The "end of lifetime" concept is very common now
in computers, but it is for example alien to mathematics.
Pythagoras theorem is an ethernal thruth, it doesnt have

an "end of lifetime". But if you do proof assistants, you
will again deal with computers. So a Q & A site that
cannot handle "end of lifetime" would be a pain in

the ass. Some computer projects keep long records
of everything, for example python, has quite a big collection
of PEPs. But then their might be revolutions, like going

from python2 to python3, and things become versioned.
Stack exchange is too stupid to offer something that
would have a similar effect. They have "tags". I tried

marking the outdated stuff by a "tag", but there were
the following limitations:
- Question can only have maximally 5 tags
- Answers do not have tags at all!

So I gave up and deleted my account. Now my account
is dissassociated from all questions and answers,
and the question and answers are a big mess, and talk
about a Prolog system that doesn't exist anymore.

LoL

Stack exchange is just a joke!

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:24:52 UTC+1:
> About Zulip I don't know. Somehow the gameification stack
> exchange rule system does not guarantee high quality,
> because it is more based on hunters and collectors mentality,
> where everything is taken and infinitely kept. On a first
>
> sight the rational makes sense, especially for example for
> computer related stuff. I might quite well have an Amiga
> at home, and ask a question about it. But is this true? There
> is rather a trend now to quickly move one, and eradicate
>
> old releases, move them out of circulation. Outdated stuff
> that gets stuck in wild only generates cost. It might be full
> of security holes, or shows long dismissed behaviour, because
> some specs have evolved. Stack exchange was designed
>
> without the concept of end of lifetime in mind. This shines.
> If you try to pull the plug of something, and by accident you
> hit some alarm threshold, its impossible to explain an admistrator
> that you need an exception. The admistrators have become
>
> robots, that are not able to question the rules of their system.
> If you would employ them in Auschwitz, they would efficiently
> gas people after people. They have become brainless bricks.
> Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:05:42 UTC+1:
> > Also they swim in money:
> >
> > https://arstechnica.com/gadgets/2021/06/stack-overflow-sold-to-tech-investor-prosus-for-1-8-billion/
> >
> > But they can even not make a syntax highlighter
> > that works correctly for the Prolog programming
> > language, and laugh at you when you request that.
> >
> > You also wont see a bit of this money in your own
> > poket. The only incentive they offer is their gamefication
> > of Q & A, and astonishingly for many that seems to
> >
> > be motivation. They only use you to earn more money
> > with their job fair spin off etc.. etc.. and the content has
> > become click bait for job offers. Because of this degradation
> >
> > of their content, for many problems you now find much
> > better sites and much better courated information.
> > Typically problems are now also addressed by YouTubers
> >
> > etc.., because others want also profit from this Q & A
> > traffic magnet. It is quite likely that stack exchanges will
> > disappear if their bit rot continues as it does now.
> > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:04:03 UTC+1:
> > > The most annoying thing is that the administrators use
> > > a ticket system, and in principle they make legally binding
> > > promisses, only they don't care what kind of promisses they
> > >
> > > write as answers into their own ticket system, the next
> > > day they change their mind, and do something else. So
> > > you cannot trust their word, because the rights you give
> > >
> > > them, in principle they need not be executed. But like
> > > the birtish museum has more mummies than Egypt itself,
> > > the stackexchange have more irrelevant information
> > >
> > > about your long retracted project than you would ever
> > > dream of. The way back machine has even not that much
> > > outdated nonsense in store. Even the house of a messie
> > >
> > > looks clean compared to stack exchange sites.
> > > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:03:22 UTC+1:
> > > > Never ever put your soul on stack exchange. They will not only
> > > > disown you quickly, you will also not be able to deleted it. The have
> > > > implemented technical means to block you from deleting your own content.
> > > >
> > > > From their terms and conditions:
> > > > https://stackoverflow.com/legal/terms-of-service#licensing
> > > >
> > > > "Subscriber Content
> > > >
> > > > You agree that any and all content, including without limitation
> > > > any and all text, graphics, logos, tools, photographs, images,
> > > > illustrations, software or source code, audio and video, animations,
> > > > and product feedback (collectively, “Content”) that you provide to
> > > > the public Network (collectively, “Subscriber Content”), is perpetually
> > > > and irrevocably licensed to Stack Overflow on a worldwide, royalty-free,
> > > > non-exclusive basis pursuant to Creative Commons licensing terms
> > > > (CC BY-SA 4.0), and you grant Stack Overflow the perpetual and
> > > > irrevocable right and license to access, use, process, copy, distribute,
> > > > export, display and to commercially exploit such Subscriber Content,
> > > > even if such Subscriber Content has been contributed and subsequently
> > > > removed by you as reasonably necessary to, for example (without limitation):
> > > >
> > > > Provide, maintain, and update the public Network
> > > > Process lawful requests from law enforcement agencies and government agencies
> > > > Prevent and address security incidents and data security features,
> > > > support features, and to provide technical assistance as it may be required
> > > > Aggregate data to provide product optimization
> > > >
> > > > This means that you cannot revoke permission for Stack Overflow
> > > > to publish, distribute, store and use such content and to allow others
> > > > to have derivative rights to publish, distribute, store and use such
> > > > content. The CC BY-SA 4.0 license terms are explained in further
> > > > detail by Creative Commons, and the license terms applicable to
> > > > content are explained in further detail here. You should be aware
> > > > that all Public Content you contribute is available for public copy
> > > > and redistribution, and all such Public Content must have
> > > > appropriate attribution."
> > > > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 04:02:39 UTC+1:
> > > > > By way of sci.logic:
> > > > >
> > > > > Andrej Bauer has created a proposal for a new 'Proof assistants' StackExchange site.
> > > > >
> > > > > http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/
> > > > >
> > > > > https://area51.stackexchange.com/proposals/126242/proof-assistants

Also I wouldn't trust Andrej Bauer when he sets up such
a group. He can be quite "posh", for example he cancels
people on cs.stackexchange.com, because he claims

the question is not a research question. And then
he finds support for this cancel culture by the charter
of cs.stackexchange.com. So stack exchange sites

are known to implement a form of class racism. There
is a danger that this proof assistant stack exchange site
not only becomes a bitrot exchange, but also

those pieces that are not bitrot do not become accessible
to all, and not everybody can contribute. So it might become
an elite thing like mathoverflow, cs.stackexchange.com, etc..

but logic and set theory for example, should be available
to everyone. Especially via tools they should provide end-user
empowerment for everybody. Just like an excel or word.

The best would be anyway a new type of Q & A, that supports
a form of literate programming. Literature programming can
be also used in proof assistants. Actually Isabelle/HOL makes

good use of literate programming, their proof archive is just
PDF generated from computer proofs that have also comments
in it, and can be read like a book. But since bitrot exchange

is so lame, they can even not make a syntax highlighter for
the Prolog programming language, proof assistants literature
programming style is definitely not the right place for bitrot

exchange. They are simply way too stupid.

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 15:36:02 UTC+1:
> Also I wouldn't trust Andrej Bauer when he sets up such
> a group. He can be quite "posh", for example he cancels
> people on cs.stackexchange.com, because he claims
>
> the question is not a research question. And then
> he finds support for this cancel culture by the charter
> of cs.stackexchange.com. So stack exchange sites
>
> are known to implement a form of class racism. There
> is a danger that this proof assistant stack exchange site
> not only becomes a bitrot exchange, but also
>
> those pieces that are not bitrot do not become accessible
> to all, and not everybody can contribute. So it might become
> an elite thing like mathoverflow, cs.stackexchange.com, etc..
>
> but logic and set theory for example, should be available
> to everyone. Especially via tools they should provide end-user
> empowerment for everybody. Just like an excel or word.

A cute new Q & A system would be a system that also provides
compute servers. These servers would do the proofs in the proof
documents. Maybe this can be also done client side, not yet sure.

Usually a theory imports other theories and you got a usual
module network, a client can load all these modules and perform
compute locally. But maybe a hybrid could with some batch

processing could bring some bang. So that the end-user experience
is not interrupted by some heavy processing, instead compute
servers help you invisibly in the background. A new version of

SWISH could maybe do that. The recent discussion about legal
documents and s(CASP) on SWI-Prolog discourse was also interesting.
The scope of the new proof assistant is also quite narrow, and

thinks proof assistants are only used for math and cs, but they
have also uses in philsophical logic, in legal reasoning, etc.. You
find already proof of such use cases in the wild. Just look around.

I already though that bitrot exchange implements a form of
pseudo scientism. The spaw site after site. If there is a site about
camping, a few months later there will be two sites, on for

camping with blue tents and one for camping with red tents.

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 15:40:11 UTC+1:
> The best would be anyway a new type of Q & A, that supports
> a form of literate programming. Literature programming can
> be also used in proof assistants. Actually Isabelle/HOL makes
>
> good use of literate programming, their proof archive is just
> PDF generated from computer proofs that have also comments
> in it, and can be read like a book. But since bitrot exchange
>
> is so lame, they can even not make a syntax highlighter for
> the Prolog programming language, proof assistants literature
> programming style is definitely not the right place for bitrot
>
> exchange. They are simply way too stupid.
> Mostowski Collapse schrieb am Samstag, 20. November 2021 um 15:36:02 UTC+1:
> > Also I wouldn't trust Andrej Bauer when he sets up such
> > a group. He can be quite "posh", for example he cancels
> > people on cs.stackexchange.com, because he claims
> >
> > the question is not a research question. And then
> > he finds support for this cancel culture by the charter
> > of cs.stackexchange.com. So stack exchange sites
> >
> > are known to implement a form of class racism. There
> > is a danger that this proof assistant stack exchange site
> > not only becomes a bitrot exchange, but also
> >
> > those pieces that are not bitrot do not become accessible
> > to all, and not everybody can contribute. So it might become
> > an elite thing like mathoverflow, cs.stackexchange.com, etc..
> >
> > but logic and set theory for example, should be available
> > to everyone. Especially via tools they should provide end-user
> > empowerment for everybody. Just like an excel or word.

Don't worry guys, I am not really angry,
I am just doing some brain writing.

> "Holding on to anger is like grasping a hot coal with the
intent of throwing it at someone else; you are the one
who gets burned."
- Buddha

But I guess we can consider bitrot exchange as a scratchpad
that will not last for ethernity. After all singularity will only
happen when we reach this point:

> "Can you imagine that they used to have libraries where
the books didn't even talk to each other?"
- Marvin Minsky, MIT

LoL

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 16:05:10 UTC+1:
> A cute new Q & A system would be a system that also provides
> compute servers. These servers would do the proofs in the proof
> documents. Maybe this can be also done client side, not yet sure.
>
> Usually a theory imports other theories and you got a usual
> module network, a client can load all these modules and perform
> compute locally. But maybe a hybrid could with some batch
>
> processing could bring some bang. So that the end-user experience
> is not interrupted by some heavy processing, instead compute
> servers help you invisibly in the background. A new version of
>
> SWISH could maybe do that. The recent discussion about legal
> documents and s(CASP) on SWI-Prolog discourse was also interesting.
> The scope of the new proof assistant is also quite narrow, and
>
> thinks proof assistants are only used for math and cs, but they
> have also uses in philsophical logic, in legal reasoning, etc.. You
> find already proof of such use cases in the wild. Just look around.
>
> I already though that bitrot exchange implements a form of
> pseudo scientism. The spaw site after site. If there is a site about
> camping, a few months later there will be two sites, on for
>
> camping with blue tents and one for camping with red tents.
> Mostowski Collapse schrieb am Samstag, 20. November 2021 um 15:40:11 UTC+1:
> > The best would be anyway a new type of Q & A, that supports
> > a form of literate programming. Literature programming can
> > be also used in proof assistants. Actually Isabelle/HOL makes
> >
> > good use of literate programming, their proof archive is just
> > PDF generated from computer proofs that have also comments
> > in it, and can be read like a book. But since bitrot exchange
> >
> > is so lame, they can even not make a syntax highlighter for
> > the Prolog programming language, proof assistants literature
> > programming style is definitely not the right place for bitrot
> >
> > exchange. They are simply way too stupid.
> > Mostowski Collapse schrieb am Samstag, 20. November 2021 um 15:36:02 UTC+1:
> > > Also I wouldn't trust Andrej Bauer when he sets up such
> > > a group. He can be quite "posh", for example he cancels
> > > people on cs.stackexchange.com, because he claims
> > >
> > > the question is not a research question. And then
> > > he finds support for this cancel culture by the charter
> > > of cs.stackexchange.com. So stack exchange sites
> > >
> > > are known to implement a form of class racism. There
> > > is a danger that this proof assistant stack exchange site
> > > not only becomes a bitrot exchange, but also
> > >
> > > those pieces that are not bitrot do not become accessible
> > > to all, and not everybody can contribute. So it might become
> > > an elite thing like mathoverflow, cs.stackexchange.com, etc..
> > >
> > > but logic and set theory for example, should be available
> > > to everyone. Especially via tools they should provide end-user
> > > empowerment for everybody. Just like an excel or word.

This fits somehow the bitrot exchange topic.
SWI-Prolog wants to measure work in hard money.
Here is my penny (pun) of thought:

Highly qualified work, like contributing to a programming
language implementation without breaking things and writing
documentation, is at least worth 1000 EUR per Day. Which

makes around 100 EUR per Hour. No joke.

Problem is anybody touching a programming language has
to be fit in software architecture. Like juggling with APIs. So
I took a software architect salary from the upper spectrum,

which is around 200’000.- EUR per Year, to account for the
exotic Prolog requirement, and divided it by 200 working
days per Year, which gives me 1000.- per Day.

Microsoft would possibly pay at least the double, if they could
get hold of Jan W. himself and if they would mistake Prolog
for Python. Now the position is occupied by Guido R.

Mostowski Collapse schrieb am Samstag, 20. November 2021 um 19:29:40 UTC+1:
> This fits somehow the bitrot exchange topic.
> SWI-Prolog wants to measure work in hard money.
> Here is my penny (pun) of thought:
>
> Highly qualified work, like contributing to a programming
> language implementation without breaking things and writing
> documentation, is at least worth 1000 EUR per Day. Which
>
> makes around 100 EUR per Hour. No joke.
>
> Problem is anybody touching a programming language has
> to be fit in software architecture. Like juggling with APIs. So
> I took a software architect salary from the upper spectrum,
>
> which is around 200’000.- EUR per Year, to account for the
> exotic Prolog requirement, and divided it by 200 working
> days per Year, which gives me 1000.- per Day.

I hope they name it:

qed.stackexchange.com
https://area51.meta.stackexchange.com/a/32603/100686

Although I am not in favor of bitrot exchange in general.

Anyway you might need multiple run-ups. For example
an artificial intelligence stackexchange site had a lot
of opposition in the past, and there were multiple

failed run-ups. But today there is:

https://ai.stackexchange.com/

One old argument against it was:

According to the post No Artificial Intelligence in Area 51
the main reason for the failure of the last proposal was
the lack of expert-level questions:

It wasn’t so much the lack of questions that was of concern — 
a site can stay in beta as long as it takes — but the conspicuous
lack of expert-level questions. This was also the emerging opinion
amongst the users:
[...]
70-80% of the questions didn’t run much deeper than “When will
we have intelligent computers?” and “What is your favorite AI blog?”

https://area51.meta.stackexchange.com/a/12367/100686

Now everybody is expert in artificial intelligence. You
find even 15 year old youngsters from Kerala, India posting
videos on youtube about Google tensor flow.

LoL

Mostowski Collapse schrieb am Sonntag, 21. November 2021 um 19:01:30 UTC+1:
> I hope they name it:
>
> qed.stackexchange.com
> https://area51.meta.stackexchange.com/a/32603/100686
>
> Although I am not in favor of bitrot exchange in general.

BTW: I can assure you "qed" is the best name. Since its
very catchy and the man on the street doesn't know what
it means, similar to "stackoverflow". In the past (2013) there

was also a thinking for the other stackexchange site:

"Don't give it a 'Hollywood' title like 'artificial intelligence'.
Call it "Machine Learning and Intelligent Computation"".
https://area51.meta.stackexchange.com/a/13109/100686

Guess what it is called now?

LoL

Mostowski Collapse schrieb am Sonntag, 21. November 2021 um 19:26:28 UTC+1:
> Anyway you might need multiple run-ups. For example
> an artificial intelligence stackexchange site had a lot
> of opposition in the past, and there were multiple
>
> failed run-ups. But today there is:
>
> https://ai.stackexchange.com/
>
> One old argument against it was:
>
> According to the post No Artificial Intelligence in Area 51
> the main reason for the failure of the last proposal was
> the lack of expert-level questions:
>
> It wasn’t so much the lack of questions that was of concern — 
> a site can stay in beta as long as it takes — but the conspicuous
> lack of expert-level questions. This was also the emerging opinion
> amongst the users:
> [...]
> 70-80% of the questions didn’t run much deeper than “When will
> we have intelligent computers?” and “What is your favorite AI blog?”
>
> https://area51.meta.stackexchange.com/a/12367/100686
>
> Now everybody is expert in artificial intelligence. You
> find even 15 year old youngsters from Kerala, India posting
> videos on youtube about Google tensor flow.
>
> LoL
> Mostowski Collapse schrieb am Sonntag, 21. November 2021 um 19:01:30 UTC+1:
> > I hope they name it:
> >
> > qed.stackexchange.com
> > https://area51.meta.stackexchange.com/a/32603/100686
> >
> > Although I am not in favor of bitrot exchange in general.

What could be interesting, to combine a stackexchange with
blockchain. For example make a proof a Non-Fungible Token,
and then let the author decided where the proof is

displayed. So a stackexchange would be like a museum,
and the proofs would be unique. But the owner of the proof,
not necessarely the original author, since there can be a

market and trade, can decide whether something is on display?

The author of a proof would be free in the choice of his
tools. He could also choose tools that even would assist
him in generating the theorem itself that he would prove.

Whereby the mathematical profession is seen as
hard work and a lot of sweat to found a field and
explore a field, the new profession would be pushing

a button, and new fields would sprout like flowers.

Immortalise Your Valentine in Mathematics - Cavallo, 2011
https://www.prweb.com/releases/theorymine/valentinesdaygeekgifts/prweb5054614.htm

The Theory behind TheoryMine
https://www.researchgate.net/publication/228428155

Mostowski Collapse schrieb am Montag, 22. November 2021 um 03:11:44 UTC+1:
> What could be interesting, to combine a stackexchange with
> blockchain. For example make a proof a Non-Fungible Token,
> and then let the author decided where the proof is
>
> displayed. So a stackexchange would be like a museum,
> and the proofs would be unique. But the owner of the proof,
> not necessarely the original author, since there can be a
>
> market and trade, can decide whether something is on display?