Questions tagged [science]
The Science category includes proposals in subjects like the applied, natural, cognitive, formal, and social sciences.
334
questions
1
vote
0answers
176 views
Will Substrate enter Private Beta simultaneously with the Proofs site?
Proposal: Substrate
We've been told that the Proofs site will enter Private Beta in January 2022. I'm referring to it as "the proofs site" instead of "Proof Assistants" because the ...
10
votes
1answer
287 views
Are theorem proving challenges or code review questions on-topic?
Proposal: Proof Assistants
Again it's probably better to ask in the site's meta, but I'm curious about others' opinions and thoughts on this.
Theorem proving challenges
Informally speaking, I'm ...
24
votes
1answer
848 views
Proof Assistants private beta launch will take place in January 2022
Proposal: Proof Assistants
Since we want all proposals to have the best chances of thriving as possible, the Community Team has decided to postpone this proposal's launch into private beta to January ...
0
votes
0answers
58 views
Could we use a Stack Overflow Collective for Proof Assistants?
Proposal: Proof Assistants
Recently, Stack Overflow Collectives are introduced:
https://stackoverflow.com/collectives/
There's a Go Lang Collective, for example, already with 14k users:
https://...
7
votes
0answers
249 views
Chat room for ProofAssistants proposal
Proposal: Proof Assistants
A StackExchange chat room has been setup at https://chat.stackexchange.com/rooms/131732/proofassistants-temp
21
votes
5answers
527 views
Are automatic theorem provers on-topic?
Proposal: Proof Assistants
One of the suggested names for Proof Assistants SE is provers, which is currently getting a lot of popularity due to being simpler than proof-assistants (with or without ...
4
votes
0answers
114 views
For those new to a StackExchange site some info on what to expect
Proposal: Proof Assistants
Since about half of those who committed appear to be new to StackExchange in doing a quick search for a somewhat quick and general introduction on how such sites work I ...
11
votes
0answers
564 views
If you are showing a rep of 51 or 151 you may have committed incorrectly
Proposal: Proof Assistants
Basically there are thee kinds of users who will be reading this.
A user new to StackExchange; you do not have an account on any StackExchange site. If so then no need to ...
0
votes
2answers
171 views
What tags should the site Proof Assistants start with? [closed]
Proposal: Proof Assistants
EDIT
In the comments below from an SE staff member it is noted
anyone can create tags on a whim in the private beta
which was nice to learn.
AFAIK the Private Beta last ...
32
votes
9answers
1k views
Choosing a name for the Proof Assistants site
Proposal: Proof Assistants
According to this answer, we do not really get to choose the name of the new site. Instead, the StackExchange overlords will create one for us. (They have had some negative ...
3
votes
0answers
52 views
Why does Area 51 not recognize my Network Profile?
I am currently trying to "Commit" to a proposal in Area 51. However, when I do so, it only recognizes my account as a brand new account, rather than using my existing one.
I have around 30k ...
8
votes
2answers
326 views
Will ProofAssistants have the required traffic to keep the site going?
Proposal: Proof assistants
Looking at the requirements for proof assistants, I'm a skeptical that it would be considered a "healthy" site by StackExchange. Looking at the sites that are ...
14
votes
3answers
443 views
What questions on existing SE sites are on proof assistants?
Proposal: Proof assistants
I also wonder if these questions should be migrated to the new site if it's created successfully?
32
votes
4answers
871 views
Why have a Proof assistants SE site when there are already very active Zulip instances?
Note: I am not sure I am using the Area 51 discussions correctly in the sense that I am not asking a SE-style question. This is rather an opinion on why I am proposing a new site. Please feel free to ...
5
votes
1answer
205 views
Is it good for AI.SE to overlap significantly with other SE sites? Should the amount overlap be reduced?
Proposal: Artificial Intelligence
I have a few concerns about the AI proposal.
1. The site content doesn't match the description.
The AI.SE proposal has the description
Beta Q&A site for ...
3
votes
1answer
91 views
We are in Day 180 and two users have reached 10 posts on the beta, but they are not being marked as having "fulfilled commitment"
Proposal: Matter Modeling
We are currently in Day 180 of Beta:
These three users have reached the 10 post threshold recently:
https://area51.stackexchange.com/users/208048/
https://area51....
3
votes
1answer
60 views
A user who posted 11 times in the Beta is not being recognized as having "fulfilled commitment" but users with fewer than 10 posts are
Proposal: Matter Modeling
Meilani posted 11 times during Beta but is not being listed as having "Fulfilled Commitment". She was active during the commitment phase, having even answered a ...
-1
votes
1answer
79 views
Can we have a SE site for energy information system?
I'm working on a regional project that deals with energy data collecting and reporting.
There are lot of sources including the International Energy Agency (IEA) website, however for people who are new ...
-1
votes
1answer
37 views
Proposal for a Networking theory based Stack Exchange
I propose a Stack Exchange where only questions regarding theoretical aspects of Networking are covered. For instance, the theory behind a specific protocol, the idea/intention behind a certain ...
1
vote
0answers
86 views
What tags should 'Materials Modeling' use?
Proposal: Materials Modeling
A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question....
5
votes
9answers
252 views
Discussion about the name for Materials/Matter Modeling
Proposal: Materials Modeling
Our site is scheduled to live as "Materials Modeling" on Tuesday:
That comment also suggests a Meta discussion that is "more open" than this one "What should this site ...
-2
votes
1answer
85 views
Propose 'Building Architecture' for new Stack Exchange site
This is to propose a new group of stack exchange for building architecture, interior design, materials, and the like. I didn't find a listing.
For example, I've got questions about the attached image ...
3
votes
1answer
139 views
"Unregistered" Users: How does it happen, and will they be invited to Beta?
Proposal: Materials Modeling
Recently I advertised this proposal on a mailing list, which accounted for our big recent surge in committers. Since making any mistake during the commitment process (...
2
votes
0answers
95 views
Bug with verifying email addresses
Proposal: Materials Modeling
On one hand there is the bug which causes people's Area51 accounts not to link properly with their StackExchange Network profiles:
Persistent bugs hindering users from ...
2
votes
0answers
37 views
Places to meet other members and have discussions about our Stack Exchange
Proposal: Materials Modeling
As we are rapidly reaching the requirements to launch our Private Beta site, people may wish to know where they can have open discussions about this site with other ...
5
votes
1answer
74 views
Epidemiology is on-topic at Medical Sciences
Proposal: Epidemiology
Epidemiology is on-topic at Medical Sciences Stack Exchange. The epidemiology tag there currently has 64 questions.
5
votes
1answer
67 views
"enthusiasts of the covid-19 pandemic"?
Proposal: covid19
At least one other COVID-19 proposal has been closed, and I'm not sure how this one is different.
7
votes
5answers
531 views
What should this site be called?
Proposal: Materials Modeling
This is partly copied from when this same thing was asked for what is now the Operations Research Stack Exchange.
Within the pre-existing community (the one that existed ...
1
vote
1answer
86 views
Is experimental and strange drone designs also a topic that will be discussed in this sub?
Hi I am a researcher and currently I have some unusual ideas about drone designs that I wish to try and know more about.
Is this site also going to go towards more experimental/scientific ...
3
votes
2answers
305 views
Can a Stack Exchange employee please connect these accounts to their network profiles?
Proposal: Materials Modeling
Gergely Juhasz:
Area51: https://area51.stackexchange.com/users/208530/gergely-juhasz
Network: https://stackexchange.com/users/1177849/greg
Erick Daniel Cardenas-Mendes:
...
2
votes
0answers
28 views
Has anyone studied other potential Area51 criteria, that might be a better indication of a site's potential success?
I have looked at some of the most recent proposals that managed to survive the gruelling Area 51 processes. I will use the short form: q/d = questions/day (I'm trying to fit everythin on one line each)...
14
votes
3answers
516 views
Persistent bugs hindering users from participating: Failure of StackExchange to recognize when Area51 & SE accounts have the same email address
Proposal: Materials Modeling
During the last 24 hours, several people have complained to me that they were unable to participate due to bugs on the Area51 platform. They log in, confirm their email ...
-4
votes
1answer
61 views
A site to ask science questions (physics, chemistry, etc.)
I understand that it would be great to create a portal for the science area and ask questions that many of us ask ourselves and almost none of us have the answers.
10
votes
3answers
261 views
Ways to promote this site within the community
Proposal: Materials Modeling
Currently, for this proposal, even though the number of followers has almost reached the requirement, the numbers of questions with score 10+ is far from that needed to ...
21
votes
1answer
348 views
We have a sponsor willing to donate a lot of money, how does it work?
Proposal: Materials Modeling
There's actually two companies now (one much more serious, the other one less serious but still worth mentioning). There's still some things that are unclear though. I ...
11
votes
1answer
368 views
How can this proposal be clearly distinguished from Chemistry, Physics, Computational Science, ...?
Proposal: Materials Modeling
At the time of writing, most of the questions proposed so far fit very well within the scope of existing sites (not only one of them, but two or more). I wonder what ...
11
votes
2answers
771 views
When will we launch? UPDATE (launched date delayed)
Proposal: Operations Research
I know new betas usually launch on Tuesdays. Looks like we won’t launch today, so, will we need to wait until next week?
8
votes
0answers
133 views
Will OR.SE have MathJax? [closed]
Proposal: Operations Research
When OR.SE enters private beta, will MathJax be enabled from the start? I know that in 2014, there was some debate about whether this should happen from the start, or ...
6
votes
1answer
387 views
Our site name changed. Is it final?
Proposal: Operations Research
Last night Stack Exchange changed our site name and URL from "Operations Research and Analytics" to "Operations Research".
Should we assume that is the final name? If ...
13
votes
11answers
712 views
What should our site be called?
Proposal: Operations Research
UPDATE: Stack Exchange has made a final decision on the name of this site: It will be Operations Research. Further discussion below is welcome, but bear in mind that the ...
24
votes
6answers
674 views
OR: Strategies for getting 100+ committers with 200+ rep
Proposal: Operations Research
To progress to the next phase of the launch, we need at least 100 committers who have at least 200 reputation on other Stack Exchange sites. This is likely to be our ...
5
votes
1answer
156 views
Is this idea acceptable for helping to promote new site?
We are trying to launch a SE site on Operations Research (OR) and Analytics. We very quickly got the required number of followers and up-voted questions in the Definition phase, and very quickly got ...
16
votes
1answer
254 views
Audience for the proposed Operations Research and Analytics site
The subtitle for the site mentions "operations research and analytics educators, researchers, and professionals." I would like to open the doors a bit wider, to include students (and yes, I know some ...
-4
votes
6answers
517 views
Change proposed forum title "Operations Research and Analytics" to "Operations Research and Prescriptive Analytics"
Proposal: Operations Research and Analytics
If the forum title were "Operations Research and Proposed Analytics" rather than "Operations Research and Analytics", it would be clearer that the forum is ...
-1
votes
1answer
174 views
Bar and Restaurant Science
I am looking forward to opening my first restaurant soon and am quickly having to learn many aspects of it and have many questions. I typed in Business and nothing came up here. Is this to broad or ...
1
vote
0answers
31 views
What is the most relevant stack for GNSS (GPS, Glonass, Galileo...) questions?
Is there a stack that encompasses GNSS (e.g. GPS) technologies. I see:
GIS,
Electrical Engineering,
Space Exploration,
Ham Radio,
possibly other...
are related, but it's difficult to imagine ...
3
votes
2answers
79 views
Can I propose my proposal again if it gets deleted for unpopularity?
Proposal: Trains
If my proposal ended today, could I create it again the next day?
2
votes
0answers
28 views
What is the scope of solar energy science and economy?
Some of the students involved in either Solar Challenge U, Planet Stewardship Research, or TranSeed Labs indicated that they wanted to begin a Solar Energy Science and Economy Q&A site.
Being a ...
6
votes
1answer
276 views
When can "example questions" be answered?
My understanding is that there are a limited number of things a user can do for those to whom I send a link to my proposal.
Get an SE account (Yay!)
Follow It for our proposal (Yay!)
Ask new example ...
3
votes
1answer
80 views
"Formal Math" - Do you allow sites that don't follow the usual Stack Exchange protocols?
Following discussion with trusted colleagues I am thinking about setting up a site for working on formalized mathematics. To quote John Harrison:
It is generally accepted that in principle it’s ...
