Questions tagged [science]

The Science category includes proposals in subjects like the applied, natural, cognitive, formal, and social sciences.

Filter by
Sorted by
Tagged with
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 ...

1
2 3 4 5
7