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?
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?
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?
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
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
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.
"Holding on to anger is like grasping a hot coal with theintent of throwing it at someone else; you are the one
"Can you imagine that they used to have libraries wherethe books didn't even talk to each other?"
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.
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.
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?
Ha Ha, what an ignorant:
QED is a phrase which existed for thousands of years before computers.
This site is specifically about computer proofs, not proofs.
– Kevin Buzzard
Nope. QED is not that old. It became use after the dark ages. So its
only like 500 years old. The abrevation for the greek precursor would
be something like OEΔ. https://de.wikipedia.org/wiki/Quod_erat_demonstrandum#Herkunft
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?
A glimpse what might come in the future, even solely
in the client, no need for server roundtrips, and very
nice rendering of formulas:
Automated Propositional Sequent Proofs
in Your Browser with Tau Prolog
Feb 7, 2021 • Philip Zucker https://www.philipzucker.com/javascript-automated-proving/
If bitrot stackexchanges adopts something from MSE
it could reach such rendering. But SO can even not
render Prolog code correctly.
Works also inside SWISH, try this SWISH Prolog text:
https://swish.swi-prolog.org/p/phil_zucker.pl
Only SWISH shows the result with writeq/1 and not with write/1:
Proof = rimpl([]>[('A' & 'B' => 'A')], land([('A' & 'B')]>['A'],
ax(['A', 'B']>['A'], 'A')))
Now somebody add a MathJax SWISH renderer?
Mostowski Collapse schrieb am Dienstag, 30. November 2021 um 14:32:30 UTC+1:
A glimpse what might come in the future, even solely
in the client, no need for server roundtrips, and very
nice rendering of formulas:
Automated Propositional Sequent Proofs
in Your Browser with Tau Prolog
Feb 7, 2021 • Philip Zucker https://www.philipzucker.com/javascript-automated-proving/
If bitrot stackexchanges adopts something from MSE
it could reach such rendering. But SO can even not
render Prolog code correctly.
This was fun:
Dogelog and MathJax love at first sight https://medium.com/@janburse_2989/dogelog-and-mathjax-love-at-first-sight-56deb51d5cd
But on the down side:
We will update this article with links to the involved
artefacts as soon as we have found a new paste bin.
Since we have removed us from GitHub, we do not
have gist anymore. Please be patient.
Interestingly the Stack Overflow Admins are more criminal
than the Putin Poudle. They disown your content and you can
even not anymore delete your own stuff. Given the fact how
many people endure the tirrany of Stack Overflow Admins,
because they believe the narrative of the greater good of
Stack Overflow, whereas these criminal jerks(*) are just professional
content thiefs, you can extrapolate how much brainwash is
possible and what a country populace will endure when it is weak.
Most eastern people are weak, you can bribe them with Vodka.
(*)
The situation in Stack Overflow only went unnoticed since
this notorious thiefs had no competition. But the situation has
probably changed, there is Quora etc..(**) The same in Ukraine,
there is probably now not only the east, but also the west, who would
like to brainwash the country. But can the USA offer enough Vodka?
(**)
You also see the detrimental effect of the criminal behaviour,
the Stack Overflow sites are full with bitrot. These idiot criminals
are worse than Gollum, they think every posted piece is a jewel,
and they never let go, even if it is outdated nonsense.
I have the impression they are as weak as the indogenious
population of north and south america that got conquested,
with the difference that the historical footprint shows that
that they often cannibalize each other first. LoL
When did this stop in Europe? The 100 years war,
The 30 years war, french revolution, and many more
conflicts including WW-I and WW-II...
https://en.wikipedia.org/wiki/Hundred_Years'_War
https://en.wikipedia.org/wiki/Thirty_Years'_War
But maybe Russia and USA are not yet ready, USA
and Russia not having enough wars. The remaining
testosterone idiots of the 21-th century...
Why will security spending increase?
Government of the Sverdlovsk Region has been breached.
In real-time. Making use of a new vulnerability targeting Gitlab. https://twitter.com/AgainstTheWest_/status/1498275915985559564
LoL
MOSCOW, March 30. /TASS/. Russian President
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure
MOSCOW, March 30. /TASS/. Russian President
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure
There is also a first prototype of Vladimir Medinsky
"patriotic Internet", Welcome to WINDOWS SOVIET☭ https://www.youtube.com/watch?v=yZ6c17SLB7E
Mostowski Collapse schrieb am Montag, 28. Februar 2022 um 14:48:45 UTC+1:
Why will security spending increase?
Government of the Sverdlovsk Region has been breached.
In real-time. Making use of a new vulnerability targeting Gitlab. https://twitter.com/AgainstTheWest_/status/1498275915985559564
LoL
On Tuesday, 5 April 2022 at 15:55:34 UTC+2, auto-Burse wrote:systematically since just after WW2, to accompany the most atrocious real frauds and crimes against humanity: so they'd at least better use their own... Indeed, I for one am gonna escape from this insane and deadly, not to mention indecent and retarded,
MOSCOW, March 30. /TASS/. Russian PresidentAnd rightly so, and of hardware: it's all just full of backdoors, don't ya know? As it's also true that typical western content and "globalisation", from food to culture passing by literally everything, is plain poison and brainwashing and so it's been
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure
Fuck the UK, the US and the EU, from the act of fencing the land to the full scale global genocidal crimes, as if the crusades or the conquistadores hadn't done enough damage: concurrent to the systematic domestic cultivation of the shittiest, mostignorant and vilest people in the entire history of humanity: the true children of the Huns, where they pass not even grass grows anymore.
Enough said.
Julio
LoL,
no more bella italy for culio?
ju...@diegidio.name schrieb am Dienstag, 5. April 2022 um 17:50:50 UTC+2:been systematically since just after WW2, to accompany the most atrocious real frauds and crimes against humanity: so they'd at least better use their own... Indeed, I for one am gonna escape from this insane and deadly, not to mention indecent and
On Tuesday, 5 April 2022 at 15:55:34 UTC+2, auto-Burse wrote:
MOSCOW, March 30. /TASS/. Russian PresidentAnd rightly so, and of hardware: it's all just full of backdoors, don't ya know? As it's also true that typical western content and "globalisation", from food to culture passing by literally everything, is plain poison and brainwashing and so it's
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure
ignorant and vilest people in the entire history of humanity: the true children of the Huns, where they pass not even grass grows anymore.Fuck the UK, the US and the EU, from the act of fencing the land to the full scale global genocidal crimes, as if the crusades or the conquistadores hadn't done enough damage: concurrent to the systematic domestic cultivation of the shittiest, most
Enough said.
I have the medicin for you, just a take a big sip,mine is voluntary exile -fuck you-, which is all we non-violent sane people at this point can do: vouch for you fucking morons to manage to kill yourself sooner than later, the only care meanwhile being to prevent you from dragging everybody and
and everything looks beautiful again.
The Soviet „patriotic internet“ computer comes of
course with a vodka bottle holder.
How Vodka ruined Russia
https://m.youtube.com/watch?v=vK7l55ZOVIc
ju...@diegidio.name schrieb am Mittwoch, 6. April 2022 um 17:11:41 UTC+2:
On Tuesday, 5 April 2022 at 20:45:29 UTC+2, burs...@gmail.com wrote:
LoL,
Lough at your stupid ass.
no more bella italy for culio?Ruined already, just as everywhere else: half of it sold out (guess who's been cashing in and who's been buying), and the rest is by now pretty much a poisoned dump, from the environment to the culture to everything else in between. And of course
s been systematically since just after WW2, to accompany the most atrocious real frauds and crimes against humanity: so they'd at least better use their own... Indeed, I for one am gonna escape from this insane and deadly, not to mention indecent andSure, you keep going, this isn't about you...
(EOD.)
Julio
ju...@diegidio.name schrieb am Dienstag, 5. April 2022 um 17:50:50 UTC+2:
On Tuesday, 5 April 2022 at 15:55:34 UTC+2, auto-Burse wrote:
MOSCOW, March 30. /TASS/. Russian PresidentAnd rightly so, and of hardware: it's all just full of backdoors, don't ya know? As it's also true that typical western content and "globalisation", from food to culture passing by literally everything, is plain poison and brainwashing and so it'
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure
most ignorant and vilest people in the entire history of humanity: the true children of the Huns, where they pass not even grass grows anymore.Fuck the UK, the US and the EU, from the act of fencing the land to the full scale global genocidal crimes, as if the crusades or the conquistadores hadn't done enough damage: concurrent to the systematic domestic cultivation of the shittiest,
Enough said.
I have the medicin for you, just a take a big sip,
and everything looks beautiful again.
The Soviet „patriotic internet“ computer comes of
course with a vodka bottle holder.
How Vodka ruined Russia
On Tuesday, 5 April 2022 at 20:45:29 UTC+2, burs...@gmail.com wrote:is voluntary exile -fuck you-, which is all we non-violent sane people at this point can do: vouch for you fucking morons to manage to kill yourself sooner than later, the only care meanwhile being to prevent you from dragging everybody and everything
LoL,
Lough at your stupid ass.
no more bella italy for culio?Ruined already, just as everywhere else: half of it sold out (guess who's been cashing in and who's been buying), and the rest is by now pretty much a poisoned dump, from the environment to the culture to everything else in between. And of course mine
Sure, you keep going, this isn't about you...been systematically since just after WW2, to accompany the most atrocious real frauds and crimes against humanity: so they'd at least better use their own... Indeed, I for one am gonna escape from this insane and deadly, not to mention indecent and
(EOD.)
Julio
ju...@diegidio.name schrieb am Dienstag, 5. April 2022 um 17:50:50 UTC+2:
On Tuesday, 5 April 2022 at 15:55:34 UTC+2, auto-Burse wrote:
MOSCOW, March 30. /TASS/. Russian PresidentAnd rightly so, and of hardware: it's all just full of backdoors, don't ya know? As it's also true that typical western content and "globalisation", from food to culture passing by literally everything, is plain poison and brainwashing and so it's
Vladimir Putin banned the acquisition of foreign software
for critical information infrastructure
ignorant and vilest people in the entire history of humanity: the true children of the Huns, where they pass not even grass grows anymore.Fuck the UK, the US and the EU, from the act of fencing the land to the full scale global genocidal crimes, as if the crusades or the conquistadores hadn't done enough damage: concurrent to the systematic domestic cultivation of the shittiest, most
Enough said.
On Wednesday, 6 April 2022 at 17:20:56 UTC+2, burs...@gmail.com wrote:
I have the medicin for you, just a take a big sip,
and everything looks beautiful again.
The Soviet „patriotic internet“ computer comes of
course with a vodka bottle holder.
How Vodka ruined RussiaHow fucked up and full of shit you are you can't and won't guess...
*Plonk*
Julio
No wonder Logtalk is such a nonsense. This dickhead
from Porto has no clue about mathematics.
He even doesn't understand this fallacy:
/* Not Provable */
f e B^A => rng(f) = B
José Carlos de Sousa Oliveira Santos
https://www.fc.up.pt/mp/jcsantos/
Not the sharpest tool in the shed.
Shoenfield publish in 1960 bit I guess from 1950. So around
70 years. But I am waiting for the moment that a ruSSian Nazi
comes around the corner and declares set theory Nazi.
Altreay the stack exchange Nazis cannot digest that
the real valued function abs : R -> R nicely shows the
difference between declared codomain and computed
range. There are now comrades on the stack exchange,
that deny the status of a fallacy to this here, possibly
because they even don't know set exponentiation:
/* Not Provable, Fallacy */
f e B^A => rng(f) = B
I made screenshots of the stack exchange nonsense...
LoL
The cesspool stack exchange only gives proof again of
that this film is an exact prediction of our future. Stack
exchange is full of bit rot and inapt to anything usueful.
Idiocracy: Garbage Avalanche of 2505 https://www.youtube.com/watch?v=fANBbXBp_gM
Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:18:21 UTC+2:
Its amazing that 100 years set theory, this goblet
has surely passed this person, not only Dan Christensen.
Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:09:47 UTC+2:
No wonder Logtalk is such a nonsense. This dickhead
from Porto has no clue about mathematics.
He even doesn't understand this fallacy:
/* Not Provable */
f e B^A => rng(f) = B
José Carlos de Sousa Oliveira Santos
https://www.fc.up.pt/mp/jcsantos/
Not the sharpest tool in the shed.
Its amazing that 100 years set theory, this goblet
has surely passed this person, not only Dan Christensen.
Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:09:47 UTC+2:
No wonder Logtalk is such a nonsense. This dickhead
from Porto has no clue about mathematics.
He even doesn't understand this fallacy:
/* Not Provable */
f e B^A => rng(f) = B
José Carlos de Sousa Oliveira Santos
https://www.fc.up.pt/mp/jcsantos/
Not the sharpest tool in the shed.
But I guess that trolling me has to do, that
my answers was the only serious answers, and the
remaining answers, I deleted my two answers,
are troll answers, which will leave Dan Christensen
totally in the dark. One answer circumewents introducing
the function space concept of set theory,
and balantly denies any relationship to set theory,
the other answer jumps to Bourbaki, and then operates
with F[X] i.e. not the absolute notion img(F),
but some relative notion img(F|X). So here you have
it stack exchange rather builds walls, than answers
some questions, because they can do so.
The people who know the matter possibly enjoy trolling
stupid questions like those of Dan Christensen,
so it will take another 30 years until he leaves
his current local maximum of ignorance.
But well he could read a book. Why does he need
the cesspool of stack exchange? Thats of course his
fault that he is unable to read a book.
In as far well served stack exchange! Congratulations.
Mostowski Collapse schrieb am Freitag, 29. April 2022 um 14:12:49 UTC+2:
Shoenfield publish in 1960 bit I guess from 1950. So around
70 years. But I am waiting for the moment that a ruSSian Nazi
comes around the corner and declares set theory Nazi.
Altreay the stack exchange Nazis cannot digest that
the real valued function abs : R -> R nicely shows the
difference between declared codomain and computed
range. There are now comrades on the stack exchange,
that deny the status of a fallacy to this here, possibly
because they even don't know set exponentiation:
/* Not Provable, Fallacy */
f e B^A => rng(f) = B
I made screenshots of the stack exchange nonsense...
LoL
The cesspool stack exchange only gives proof again of
that this film is an exact prediction of our future. Stack
exchange is full of bit rot and inapt to anything usueful.
Idiocracy: Garbage Avalanche of 2505 https://www.youtube.com/watch?v=fANBbXBp_gM
Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:18:21 UTC+2:
Its amazing that 100 years set theory, this goblet
has surely passed this person, not only Dan Christensen.
Mostowski Collapse schrieb am Freitag, 29. April 2022 um 11:09:47 UTC+2:
No wonder Logtalk is such a nonsense. This dickhead
from Porto has no clue about mathematics.
He even doesn't understand this fallacy:
/* Not Provable */
f e B^A => rng(f) = B
José Carlos de Sousa Oliveira Santos https://www.fc.up.pt/mp/jcsantos/
Not the sharpest tool in the shed.
Social science researchers call this the SIQQ effect,
social IQ degradation effect. So when mathematics
act as a pack of wolf, they all eject their brains.
A little bit related to the Zollman Effect:
Our conjecture is that the cycle will prove most
reliable. A doctor who gets an unlucky string of
misleading results will do the least damage there. https://plato.stanford.edu/entries/formal-epistemology/#TheZolEff
So we had just proof of the Zollman Effect.
So José Carlos Santos had an unlucky string
of misleading results, but because he had a
plenum available, with loyal nutheads just like
Xander Henderson and Arturo Magidin everthing
went down the drain. LoL
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 296 |
Nodes: | 16 (2 / 14) |
Uptime: | 46:11:32 |
Calls: | 6,648 |
Files: | 12,198 |
Messages: | 5,329,853 |